0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/278263-1169284257/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.42	       =>  wckTime=0.114  cpuTime=0.07  mem=6M887
0.42	   
0.42	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.67	     nbConstraints=2125  nbRelationTypes=46  nbExtensionStructures=46  nbSharedExtensionStructures=2079
0.67	     nbConflictsStructures=46  nbSharedConflictsStructures=2079  nbSharedBinaryRepresentations=0  maxDegree=182
0.67	     maxArity=3
0.67	       =>  wckTime=0.371  cpuTime=0.22  mem=12M754
0.73	   
0.73	   solver LocalSearchSolver being built... 
0.76	       =>  wckTime=0.462  cpuTime=0.26  mem=6M488
0.77	
0.77	s SATISFIABLE
0.77	o 1839
0.77	c 286
0.77	o 1843
0.77	c 282
0.78	o 1845
0.78	c 280
0.78	o 1853
0.78	c 272
0.78	o 1858
0.78	c 267
0.78	o 1863
0.78	c 262
0.78	o 1871
0.78	c 254
0.78	o 1881
0.78	c 244
0.78	o 1887
0.78	c 238
0.78	o 1888
0.78	c 237
0.78	o 1892
0.78	c 233
0.78	o 1896
0.79	c 229
0.79	o 1898
0.79	c 227
0.79	o 1904
0.79	c 221
0.79	o 1911
0.79	c 214
0.90	o 1915
0.90	c 210
1.27	o 1916
1.27	c 209
1.48	o 1917
1.48	c 208
2.20	o 1918
2.20	c 207
2.21	o 1919
2.21	c 206
3.01	o 1922
3.01	c 203
3.01	o 1925
3.01	c 200
3.01	o 1926
3.01	c 199
7.15	o 1928
7.15	c 197
8.97	   
8.97	   search
8.97	     run=0  nbConstraintChecks=46439326  nbAssignments=10000
8.97	       =>  wckTime=8.21  cpuTime=8.09  mem=6M488
17.03	   
17.03	   search
17.03	     run=1  nbConstraintChecks=94209990  nbAssignments=20000
17.03	       =>  wckTime=16.268  cpuTime=16.07  mem=6M488
24.96	   
24.96	   search
24.96	     run=2  nbConstraintChecks=140664588  nbAssignments=30000
24.96	       =>  wckTime=24.198  cpuTime=23.92  mem=6M488
33.05	   
33.05	   search
33.05	     run=3  nbConstraintChecks=188401772  nbAssignments=40000
33.05	       =>  wckTime=32.284  cpuTime=31.93  mem=6M488
37.46	   
37.46	   search
37.46	     run=4  nbConstraintChecks=214490632  nbAssignments=45720
37.46	       =>  wckTime=36.702  cpuTime=36.31  mem=6M488
37.47	   
37.47	   global
37.47	     nbConstraintChecks=214490632  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.47	     solvingWckTime=36.7  solvingCpuTime=36.31  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.47	     globalCpuTime=36.62
37.47	       =>  wckTime=37.163  cpuTime=36.57  mem=6M488
37.47	   
37.47	   solver IterativeSystematicSolver being built... 
37.66	       =>  wckTime=37.357  cpuTime=36.71  mem=28M147
37.81	   
37.81	   preprocessing
37.81	     nbConstraintChecks=21300  nbValidityChecks=51583  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.81	     nbRemovedValues=0  detectedInconsistency=no
37.81	       =>  wckTime=0.147  cpuTime=0.12  mem=29M122
37.94	   
37.94	   search
37.94	     run=0  nbConstraintChecks=42186  nbValidityChecks=112211  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.94	     nbAssignments=42  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=62  nbRestartNogoods=0
37.94	       =>  wckTime=0.278  cpuTime=0.25  mem=29M122
38.10	   
38.10	   search
38.10	     run=1  nbConstraintChecks=94551  nbValidityChecks=255794  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.10	     nbAssignments=90  nbFailedAssignments=20  nbBacktracks=25  nbVisitedNodes=136  nbRestartNogoods=2
38.10	       =>  wckTime=0.44  cpuTime=0.4  mem=29M122
38.30	   
38.30	   search
38.30	     run=2  nbConstraintChecks=171372  nbValidityChecks=464705  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.30	     nbAssignments=150  nbFailedAssignments=36  nbBacktracks=47  nbVisitedNodes=234  nbRestartNogoods=3
38.30	       =>  wckTime=0.636  cpuTime=0.6  mem=29M122
38.58	   
38.58	   search
38.58	     run=3  nbConstraintChecks=286053  nbValidityChecks=793039  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.58	     nbAssignments=237  nbFailedAssignments=65  nbBacktracks=80  nbVisitedNodes=382  nbRestartNogoods=4
38.58	       =>  wckTime=0.923  cpuTime=0.88  mem=29M122
38.96	   
38.96	   search
38.96	     run=4  nbConstraintChecks=446241  nbValidityChecks=1214968  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.96	     nbAssignments=344  nbFailedAssignments=97  nbBacktracks=130  nbVisitedNodes=569  nbRestartNogoods=6
38.96	       =>  wckTime=1.299  cpuTime=1.24  mem=29M122
39.52	   
39.52	   search
39.52	     run=5  nbConstraintChecks=663855  nbValidityChecks=1867024  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.52	     nbAssignments=494  nbFailedAssignments=150  nbBacktracks=205  nbVisitedNodes=844  nbRestartNogoods=10
39.52	       =>  wckTime=1.857  cpuTime=1.8  mem=29M122
40.34	   
40.34	   search
40.34	     run=6  nbConstraintChecks=1007206  nbValidityChecks=2854330  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.34	     nbAssignments=714  nbFailedAssignments=234  nbBacktracks=318  nbVisitedNodes=1254  nbRestartNogoods=13
40.34	       =>  wckTime=2.674  cpuTime=2.61  mem=29M122
41.66	   
41.66	   search
41.66	     run=7  nbConstraintChecks=1514067  nbValidityChecks=4398320  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
41.66	     nbAssignments=1036  nbFailedAssignments=366  nbBacktracks=488  nbVisitedNodes=1875  nbRestartNogoods=17
41.66	       =>  wckTime=3.998  cpuTime=3.92  mem=29M122
43.72	   
43.72	   search
43.72	     run=8  nbConstraintChecks=2252104  nbValidityChecks=6788685  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.72	     nbAssignments=1520  nbFailedAssignments=573  nbBacktracks=744  nbVisitedNodes=2811  nbRestartNogoods=23
43.72	       =>  wckTime=6.061  cpuTime=5.94  mem=29M122
46.70	   
46.70	   search
46.70	     run=9  nbConstraintChecks=3294381  nbValidityChecks=10319612  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.70	     nbAssignments=2220  nbFailedAssignments=870  nbBacktracks=1128  nbVisitedNodes=4176  nbRestartNogoods=27
46.70	       =>  wckTime=9.034  cpuTime=8.87  mem=29M122
50.80	   
50.80	   search
50.80	     run=10  nbConstraintChecks=4911124  nbValidityChecks=15384531  nbPropagations=0  nbRevisions=0
50.80	     nbUselessRevisions=0  nbAssignments=3238  nbFailedAssignments=1289  nbBacktracks=1704  nbVisitedNodes=6170
50.80	     nbRestartNogoods=32
50.80	       =>  wckTime=13.141  cpuTime=12.94  mem=29M122
57.34	   
57.34	   search
57.34	     run=11  nbConstraintChecks=7346536  nbValidityChecks=23381987  nbPropagations=0  nbRevisions=0
57.34	     nbUselessRevisions=0  nbAssignments=4807  nbFailedAssignments=1976  nbBacktracks=2568  nbVisitedNodes=9259
57.34	     nbRestartNogoods=37
57.34	       =>  wckTime=19.681  cpuTime=19.39  mem=29M122
67.15	   
67.15	   search
67.15	     run=12  nbConstraintChecks=11012437  nbValidityChecks=35186356  nbPropagations=0  nbRevisions=0
67.15	     nbUselessRevisions=0  nbAssignments=7111  nbFailedAssignments=2966  nbBacktracks=3865  nbVisitedNodes=13818
67.15	     nbRestartNogoods=45
67.15	       =>  wckTime=29.486  cpuTime=29.11  mem=29M122
81.25	   
81.25	   search
81.25	     run=13  nbConstraintChecks=16168689  nbValidityChecks=52953077  nbPropagations=0  nbRevisions=0
81.25	     nbUselessRevisions=0  nbAssignments=10487  nbFailedAssignments=4378  nbBacktracks=5811  nbVisitedNodes=20483
81.25	     nbRestartNogoods=48
81.25	       =>  wckTime=43.587  cpuTime=43.07  mem=29M122
103.29	   
103.29	   search
103.29	     run=14  nbConstraintChecks=24275738  nbValidityChecks=80695726  nbPropagations=0  nbRevisions=0
103.29	     nbUselessRevisions=0  nbAssignments=15733  nbFailedAssignments=6683  nbBacktracks=8731  nbVisitedNodes=30841
103.29	     nbRestartNogoods=52
103.29	       =>  wckTime=65.627  cpuTime=64.88  mem=29M122
136.06	   
136.06	   search
136.06	     run=15  nbConstraintChecks=35817245  nbValidityChecks=121344473  nbPropagations=0  nbRevisions=0
136.06	     nbUselessRevisions=0  nbAssignments=23332  nbFailedAssignments=9886  nbBacktracks=13109  nbVisitedNodes=45825
136.06	     nbRestartNogoods=58
136.06	       =>  wckTime=98.402  cpuTime=97.34  mem=29M122
187.82	   
187.82	   search
187.82	     run=16  nbConstraintChecks=52493984  nbValidityChecks=183232036  nbPropagations=0  nbRevisions=0
187.82	     nbUselessRevisions=0  nbAssignments=34990  nbFailedAssignments=14954  nbBacktracks=19677  nbVisitedNodes=68923
187.82	     nbRestartNogoods=64
187.82	       =>  wckTime=150.163  cpuTime=148.57  mem=29M122
267.11	   
267.11	   search
267.11	     run=17  nbConstraintChecks=77590575  nbValidityChecks=277400185  nbPropagations=0  nbRevisions=0
267.11	     nbUselessRevisions=0  nbAssignments=52578  nbFailedAssignments=22671  nbBacktracks=29529  nbVisitedNodes=103718
267.11	     nbRestartNogoods=68
267.11	       =>  wckTime=229.442  cpuTime=227.09  mem=29M122
385.91	   
385.91	   search
385.91	     run=18  nbConstraintChecks=114273468  nbValidityChecks=418627111  nbPropagations=0  nbRevisions=0
385.91	     nbUselessRevisions=0  nbAssignments=78691  nbFailedAssignments=33987  nbBacktracks=44308  nbVisitedNodes=155349
385.91	     nbRestartNogoods=74
385.91	       =>  wckTime=348.245  cpuTime=344.71  mem=29M122
570.57	   
570.57	   search
570.57	     run=19  nbConstraintChecks=167978684  nbValidityChecks=634486797  nbPropagations=0  nbRevisions=0
570.57	     nbUselessRevisions=0  nbAssignments=118499  nbFailedAssignments=51611  nbBacktracks=66476  nbVisitedNodes=234057
570.57	     nbRestartNogoods=81
570.57	       =>  wckTime=532.911  cpuTime=527.55  mem=29M122
838.51	   
838.51	   search
838.51	     run=20  nbConstraintChecks=249961304  nbValidityChecks=949421137  nbPropagations=0  nbRevisions=0
838.51	     nbUselessRevisions=0  nbAssignments=177475  nbFailedAssignments=77318  nbBacktracks=99728  nbVisitedNodes=350588
838.51	     nbRestartNogoods=87
838.51	       =>  wckTime=800.851  cpuTime=792.84  mem=29M122
1252.09	   
1252.09	   search
1252.09	     run=21  nbConstraintChecks=373106858  nbValidityChecks=1431223203  nbPropagations=0  nbRevisions=0
1252.09	     nbUselessRevisions=0  nbAssignments=267455  nbFailedAssignments=117403  nbBacktracks=149607  nbVisitedNodes=528327
1252.09	     nbRestartNogoods=93
1252.09	       =>  wckTime=1214.428  cpuTime=1202.31  mem=29M122
1841.73	   
1841.73	   search
1841.73	     run=22  nbConstraintChecks=560660937  nbValidityChecks=2127463875  nbPropagations=0  nbRevisions=0
1841.73	     nbUselessRevisions=0  nbAssignments=398604  nbFailedAssignments=173713  nbBacktracks=224425  nbVisitedNodes=787043
1841.73	     nbRestartNogoods=101
1841.73	       =>  wckTime=1804.069  cpuTime=1786.13  mem=29M122
2424.01	v 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-278263-1169284257 -o ROOT/results/node6/solver-278263-1169284257 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278263-1169284257/unknown.xml 
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.95 2.00 1.91 5/94 24787
/proc/meminfo: memFree=1259624/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=18540 CPUtime=0
/proc/24786/stat : 24786 (runsolver) R 24784 24786 24111 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 276821143 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24786/statm: 4635 279 244 17 0 2626 0
[startup+0.103945 s]
/proc/loadavg: 1.95 2.00 1.91 5/94 24787
/proc/meminfo: memFree=1259624/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=914988 CPUtime=0.08
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 3024 0 1 0 7 1 0 0 24 0 8 0 276821143 936947712 2770 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228747 2770 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511992 s]
/proc/loadavg: 1.95 2.00 1.91 5/94 24787
/proc/meminfo: memFree=1259624/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915332 CPUtime=0.46
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 6262 0 1 0 42 4 0 0 23 0 8 0 276821143 937299968 6001 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228833 6001 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915332
[startup+1.33308 s]
/proc/loadavg: 1.95 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1236272/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=1.26
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 8479 0 1 0 118 8 0 0 25 0 8 0 276821143 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820855 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 8217 2477 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.17
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 276821150 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 8217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915444
[startup+2.97427 s]
/proc/loadavg: 1.95 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1236208/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2.89
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 8486 0 1 0 272 17 0 0 25 0 8 0 276821143 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 8223 2479 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.17
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 373 0 0 0 17 0 0 0 15 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915444
[startup+6.17865 s]
/proc/loadavg: 1.95 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1236016/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=6.06
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 8486 0 1 0 573 33 0 0 25 0 8 0 276821143 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 8223 2479 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.17
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 373 0 0 0 17 0 0 0 15 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 8223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915444
[startup+12.6474 s]
/proc/loadavg: 1.96 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1236024/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=12.45
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 8489 0 1 0 1180 65 0 0 25 0 8 0 276821143 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 8226 2479 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.18
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 915444
[startup+25.4989 s]
/proc/loadavg: 1.97 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1236152/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=25.19
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 8489 0 1 0 2388 131 0 0 25 0 8 0 276821143 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 8226 2479 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.18
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 8226 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915444
[startup+51.1089 s]
/proc/loadavg: 1.98 2.00 1.91 3/101 24794
/proc/meminfo: memFree=1221752/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=50.55
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12187 0 1 0 4865 190 0 0 25 0 8 0 276821143 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11915 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 445 0 0 0 30 1 0 0 17 0 8 0 276821150 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 915444
[startup+102.356 s]
/proc/loadavg: 1.99 2.00 1.91 4/101 24794
/proc/meminfo: memFree=1221624/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=101.26
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12197 0 1 0 9936 190 0 0 25 0 8 0 276821143 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11925 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 447 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11925 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 915444
[startup+162.381 s]
/proc/loadavg: 2.05 2.01 1.92 3/101 24794
/proc/meminfo: memFree=1221624/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=160.7
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12203 0 1 0 15880 190 0 0 25 0 8 0 276821143 937414656 11931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2004.06
Current children cumulated vsize (KiB) 915444
[startup+2084.26 s]
/proc/loadavg: 2.12 2.04 1.99 3/101 24796
/proc/meminfo: memFree=1221240/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2063.55
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 206159 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074023264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2063.55
Current children cumulated vsize (KiB) 915444
[startup+2144.34 s]
/proc/loadavg: 2.04 2.03 1.99 3/101 24796
/proc/meminfo: memFree=1221240/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2123.05
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 212109 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2123.05
Current children cumulated vsize (KiB) 915444
[startup+2204.43 s]
/proc/loadavg: 2.01 2.02 1.99 3/101 24796
/proc/meminfo: memFree=1221240/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2182.54
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 218058 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) R 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2182.54
Current children cumulated vsize (KiB) 915444
[startup+2264.52 s]
/proc/loadavg: 2.00 2.02 1.99 3/101 24796
/proc/meminfo: memFree=1221176/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2242.02
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 224006 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073992560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2242.02
Current children cumulated vsize (KiB) 915444
[startup+2324.6 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 24796
/proc/meminfo: memFree=1221240/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2301.51
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 229955 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2301.51
Current children cumulated vsize (KiB) 915444
[startup+2384.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 24796
/proc/meminfo: memFree=1221176/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2360.92
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 235896 196 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074022625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2360.92
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2424 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 24870
/proc/meminfo: memFree=1220408/2055924 swapFree=4165736/4192956
[pid=24786] ppid=24784 vsize=915444 CPUtime=2400.03
/proc/24786/stat : 24786 (java) R 24784 24786 24111 0 -1 0 12221 0 1 0 239805 198 0 0 25 0 8 0 276821143 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24786/statm: 228861 11949 2535 14 0 215331 0
[pid=24786/tid=24788] ppid=24784 vsize=915444 CPUtime=0.03
/proc/24786/task/24788/stat : 24788 (java) S 24784 24786 24111 0 -1 64 396 0 0 0 3 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24789] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24789/stat : 24789 (java) S 24784 24786 24111 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24790] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24790/stat : 24790 (java) S 24784 24786 24111 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276821147 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24791] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24791/stat : 24791 (java) S 24784 24786 24111 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24792] ppid=24784 vsize=915444 CPUtime=0.31
/proc/24786/task/24792/stat : 24792 (java) S 24784 24786 24111 0 -1 64 448 0 0 0 30 1 0 0 16 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24793] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24793/stat : 24793 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24786/tid=24794] ppid=24784 vsize=915444 CPUtime=0
/proc/24786/task/24794/stat : 24794 (java) S 24784 24786 24111 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276821150 937414656 11949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2424.04
CPU time (s): 2400.07
CPU user time (s): 2398.07
CPU system time (s): 1.9917
CPU usage (%): 99.0111
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.07
system time used= 1.9917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12242
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50398
involuntary context switches= 110478
runsolver used 2.73858 s user time and 8.00478 s system time
The end
 
Begin job on node6 on Sat Jan 20 09:10:57 UTC 2007
IDJOB= 278263
IDBENCH= 8185
IDSOLVER= 68
FILE ID= node6/278263-1169284257
PBS_JOBID= 3609492
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2400-421721_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278263-1169284257/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-278263-1169284257 -o ROOT/results/node6/solver-278263-1169284257 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278263-1169284257/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2ca86061780cf99023cba95368888b8c
RANDOM SEED= 793725531
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1260104 kB
Buffers:         62592 kB
Cached:         602496 kB
SwapCached:       2944 kB
Active:         311784 kB
Inactive:       400816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1260104 kB
SwapTotal:     4192956 kB
SwapFree:      4165736 kB
Dirty:            2268 kB
Writeback:           0 kB
Mapped:          64496 kB
Slab:            67800 kB
Committed_AS:  8630140 kB
PageTables:       2468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB
Free space on /tmp at the end= 66563 MiB
End job on node6 on Sat Jan 20 09:51:21 UTC 2007