0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/280423-1169305703/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.41	       =>  wckTime=0.097  cpuTime=0.09  mem=6M887
0.41	   
0.41	   relations being loaded...
0.63	   
0.63	   constraints being loaded...
0.73	     nbConstraints=5  nbRelationTypes=5  nbExtensionStructures=5  nbSharedExtensionStructures=0
0.73	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  maxDegree=4  maxArity=10
0.73	       =>  wckTime=0.423  cpuTime=0.37  mem=38M338
0.80	   
0.80	   solver LocalSearchSolver being built... 
0.84	       =>  wckTime=0.53  cpuTime=0.42  mem=10M983
0.85	
0.85	s SATISFIABLE
0.85	o 0
0.85	c 5
2.18	o 1
2.18	c 4
6.18	   
6.18	   search
6.18	     run=0  nbConstraintChecks=4193033  nbAssignments=10000
6.18	       =>  wckTime=5.344  cpuTime=5.27  mem=10M983
11.34	   
11.34	   search
11.34	     run=1  nbConstraintChecks=8351337  nbAssignments=20000
11.34	       =>  wckTime=10.505  cpuTime=10.38  mem=10M983
12.01	o 2
12.01	c 3
16.29	   
16.29	   search
16.29	     run=2  nbConstraintChecks=12474033  nbAssignments=30000
16.29	       =>  wckTime=15.452  cpuTime=15.29  mem=10M983
21.17	   
21.17	   search
21.17	     run=3  nbConstraintChecks=16568155  nbAssignments=40000
21.17	       =>  wckTime=20.332  cpuTime=20.13  mem=10M983
26.09	   
26.09	   search
26.09	     run=4  nbConstraintChecks=20663491  nbAssignments=50000
26.09	       =>  wckTime=25.254  cpuTime=25.0  mem=10M983
30.99	   
30.99	   search
30.99	     run=5  nbConstraintChecks=24758325  nbAssignments=60000
30.99	       =>  wckTime=30.152  cpuTime=29.88  mem=10M983
35.88	   
35.88	   search
35.88	     run=6  nbConstraintChecks=28853832  nbAssignments=70000
35.88	       =>  wckTime=35.036  cpuTime=34.74  mem=10M983
40.73	   
40.73	   search
40.73	     run=7  nbConstraintChecks=32947657  nbAssignments=80000
40.73	       =>  wckTime=39.892  cpuTime=39.57  mem=10M983
42.21	   
42.21	   search
42.21	     run=8  nbConstraintChecks=34193689  nbAssignments=83041
42.21	       =>  wckTime=41.371  cpuTime=41.05  mem=10M983
42.21	   
42.21	   global
42.21	     nbConstraintChecks=34193689  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.21	     solvingWckTime=41.37  solvingCpuTime=41.05  expiredTime=no  totalExploration=no  nbFoundSolutions=0
42.21	     globalCpuTime=41.52
42.21	       =>  wckTime=41.902  cpuTime=41.47  mem=10M983
42.21	   
42.21	   solver IterativeSystematicSolver being built... 
42.36	       =>  wckTime=42.046  cpuTime=41.57  mem=21M787
42.79	   
42.79	   preprocessing
42.79	     nbConstraintChecks=367836  nbValidityChecks=377739  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.79	     nbRemovedValues=0  detectedInconsistency=no
42.79	       =>  wckTime=0.428  cpuTime=0.41  mem=21M787
43.01	   
43.01	   search
43.01	     run=0  nbConstraintChecks=192451  nbValidityChecks=204919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.01	     nbAssignments=28  nbFailedAssignments=13  nbBacktracks=10  nbVisitedNodes=44  nbRestartNogoods=0
43.01	       =>  wckTime=0.652  cpuTime=0.63  mem=22M750
43.24	   
43.24	   search
43.24	     run=1  nbConstraintChecks=371027  nbValidityChecks=410385  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.24	     nbAssignments=81  nbFailedAssignments=43  nbBacktracks=25  nbVisitedNodes=136  nbRestartNogoods=10
43.24	       =>  wckTime=0.877  cpuTime=0.85  mem=22M750
43.37	   
43.37	   search
43.37	     run=2  nbConstraintChecks=474955  nbValidityChecks=535993  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.37	     nbAssignments=129  nbFailedAssignments=63  nbBacktracks=47  nbVisitedNodes=211  nbRestartNogoods=15
43.37	       =>  wckTime=1.014  cpuTime=0.99  mem=22M750
43.61	   
43.61	   search
43.61	     run=3  nbConstraintChecks=665115  nbValidityChecks=772122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
43.61	     nbAssignments=216  nbFailedAssignments=108  nbBacktracks=81  nbVisitedNodes=369  nbRestartNogoods=20
43.61	       =>  wckTime=1.254  cpuTime=1.22  mem=22M750
44.24	   
44.24	   search
44.24	     run=4  nbConstraintChecks=1161178  nbValidityChecks=1348656  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
44.24	     nbAssignments=374  nbFailedAssignments=209  nbBacktracks=132  nbVisitedNodes=666  nbRestartNogoods=28
44.24	       =>  wckTime=1.882  cpuTime=1.84  mem=22M750
44.53	   
44.53	   search
44.53	     run=5  nbConstraintChecks=1369176  nbValidityChecks=1673728  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
44.53	     nbAssignments=596  nbFailedAssignments=349  nbBacktracks=208  nbVisitedNodes=1077  nbRestartNogoods=45
44.53	       =>  wckTime=2.174  cpuTime=2.13  mem=22M750
45.19	   
45.19	   search
45.19	     run=6  nbConstraintChecks=1868752  nbValidityChecks=2342838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
45.19	     nbAssignments=936  nbFailedAssignments=569  nbBacktracks=321  nbVisitedNodes=1709  nbRestartNogoods=57
45.19	       =>  wckTime=2.835  cpuTime=2.77  mem=22M750
46.95	   
46.95	   search
46.95	     run=7  nbConstraintChecks=3303891  nbValidityChecks=4046645  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
46.95	     nbAssignments=1464  nbFailedAssignments=921  nbBacktracks=491  nbVisitedNodes=2691  nbRestartNogoods=66
46.95	       =>  wckTime=4.595  cpuTime=4.52  mem=22M750
48.33	   
48.33	   search
48.33	     run=8  nbConstraintChecks=4367494  nbValidityChecks=5497538  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.33	     nbAssignments=2213  nbFailedAssignments=1408  nbBacktracks=747  nbVisitedNodes=4104  nbRestartNogoods=84
48.33	       =>  wckTime=5.975  cpuTime=5.88  mem=22M750
51.48	   
51.48	   search
51.48	     run=9  nbConstraintChecks=7007008  nbValidityChecks=8677948  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
51.48	     nbAssignments=3296  nbFailedAssignments=2100  nbBacktracks=1132  nbVisitedNodes=6107  nbRestartNogoods=92
51.48	       =>  wckTime=9.123  cpuTime=9.0  mem=22M750
55.76	   
55.76	   search
55.76	     run=10  nbConstraintChecks=10582231  nbValidityChecks=13045611  nbPropagations=0  nbRevisions=0
55.76	     nbUselessRevisions=0  nbAssignments=4851  nbFailedAssignments=3071  nbBacktracks=1708  nbVisitedNodes=9006
55.76	     nbRestartNogoods=113
55.76	       =>  wckTime=13.405  cpuTime=13.27  mem=22M750
61.59	   
61.59	   search
61.59	     run=11  nbConstraintChecks=15420701  nbValidityChecks=19206098  nbPropagations=0  nbRevisions=0
61.59	     nbUselessRevisions=0  nbAssignments=7394  nbFailedAssignments=4743  nbBacktracks=2572  nbVisitedNodes=13881
61.59	     nbRestartNogoods=118
61.59	       =>  wckTime=19.231  cpuTime=19.06  mem=22M750
71.65	   
71.65	   search
71.65	     run=12  nbConstraintChecks=23793512  nbValidityChecks=29526594  nbPropagations=0  nbRevisions=0
71.65	     nbUselessRevisions=0  nbAssignments=11344  nbFailedAssignments=7392  nbBacktracks=3869  nbVisitedNodes=21281
71.65	     nbRestartNogoods=130
71.65	       =>  wckTime=29.292  cpuTime=29.08  mem=22M750
83.05	   
83.05	   search
83.05	     run=13  nbConstraintChecks=32998514  nbValidityChecks=41621700  nbPropagations=0  nbRevisions=0
83.05	     nbUselessRevisions=0  nbAssignments=17027  nbFailedAssignments=11123  nbBacktracks=5815  nbVisitedNodes=32174
83.05	     nbRestartNogoods=141
83.05	       =>  wckTime=40.689  cpuTime=40.42  mem=22M750
102.56	   
102.56	   search
102.56	     run=14  nbConstraintChecks=49037772  nbValidityChecks=61797180  nbPropagations=0  nbRevisions=0
102.56	     nbUselessRevisions=0  nbAssignments=25116  nbFailedAssignments=16287  nbBacktracks=8734  nbVisitedNodes=47527
102.56	     nbRestartNogoods=166
102.56	       =>  wckTime=60.204  cpuTime=59.84  mem=22M750
139.00	   
139.00	   search
139.00	     run=15  nbConstraintChecks=79763559  nbValidityChecks=99287307  nbPropagations=0  nbRevisions=0
139.00	     nbUselessRevisions=0  nbAssignments=38425  nbFailedAssignments=25211  nbBacktracks=13112  nbVisitedNodes=73000
139.00	     nbRestartNogoods=171
139.00	       =>  wckTime=96.643  cpuTime=96.11  mem=22M750
177.47	   
177.47	   search
177.47	     run=16  nbConstraintChecks=110891947  nbValidityChecks=139690510  nbPropagations=0  nbRevisions=0
177.47	     nbUselessRevisions=0  nbAssignments=56308  nbFailedAssignments=36519  nbBacktracks=19680  nbVisitedNodes=106954
177.47	     nbRestartNogoods=178
177.47	       =>  wckTime=135.11  cpuTime=134.39  mem=22M750
257.78	   
257.78	   search
257.78	     run=17  nbConstraintChecks=178347052  nbValidityChecks=221903650  nbPropagations=0  nbRevisions=0
257.78	     nbUselessRevisions=0  nbAssignments=85501  nbFailedAssignments=55852  nbBacktracks=29532  nbVisitedNodes=162866
257.78	     nbRestartNogoods=190
257.78	       =>  wckTime=215.42  cpuTime=214.33  mem=22M750
398.09	   
398.10	   search
398.10	     run=18  nbConstraintChecks=297784671  nbValidityChecks=363129218  nbPropagations=0  nbRevisions=0
398.10	     nbUselessRevisions=0  nbAssignments=127994  nbFailedAssignments=83559  nbBacktracks=44310  nbVisitedNodes=243660
398.10	     nbRestartNogoods=224
398.10	       =>  wckTime=355.738  cpuTime=353.98  mem=22M750
618.77	   
618.77	   search
618.77	     run=19  nbConstraintChecks=488910749  nbValidityChecks=584582536  nbPropagations=0  nbRevisions=0
618.77	     nbUselessRevisions=0  nbAssignments=187578  nbFailedAssignments=120969  nbBacktracks=66478  nbVisitedNodes=354991
618.77	     nbRestartNogoods=261
618.77	       =>  wckTime=576.411  cpuTime=573.62  mem=22M750
778.07	   
778.07	   search
778.07	     run=20  nbConstraintChecks=612630646  nbValidityChecks=755312673  nbPropagations=0  nbRevisions=0
778.07	     nbUselessRevisions=0  nbAssignments=280106  nbFailedAssignments=180241  nbBacktracks=99730  nbVisitedNodes=530819
778.07	     nbRestartNogoods=285
778.07	       =>  wckTime=735.711  cpuTime=732.17  mem=22M750
1137.79	   
1137.79	   search
1137.79	     run=21  nbConstraintChecks=915927765  nbValidityChecks=1131930627  nbPropagations=0  nbRevisions=0
1137.79	     nbUselessRevisions=0  nbAssignments=424726  nbFailedAssignments=274977  nbBacktracks=149609  nbVisitedNodes=806772
1137.79	     nbRestartNogoods=307
1137.79	       =>  wckTime=1095.435  cpuTime=1091.7  mem=22M750
1641.22	   
1641.22	   search
1641.22	     run=22  nbConstraintChecks=1331854736  nbValidityChecks=1661475036  nbPropagations=0  nbRevisions=0
1641.22	     nbUselessRevisions=0  nbAssignments=646009  nbFailedAssignments=421435  nbBacktracks=224427  nbVisitedNodes=1232211
1641.22	     nbRestartNogoods=339
1641.22	       =>  wckTime=1598.86  cpuTime=1594.75  mem=22M750
2265.42	   
2265.42	   search
2265.42	     run=23  nbConstraintChecks=1847957284  nbValidityChecks=2341436967  nbPropagations=0  nbRevisions=0
2265.42	     nbUselessRevisions=0  nbAssignments=968910  nbFailedAssignments=632103  nbBacktracks=336655  nbVisitedNodes=1848618
2265.42	     nbRestartNogoods=349
2265.42	       =>  wckTime=2223.062  cpuTime=2216.95  mem=22M750
2406.46	v 6 8 3 9 6 8 0 5 4 0 1 4 7 6 8 6 0 7 8 9 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-280423-1169305703 -o ROOT/results/node66/solver-280423-1169305703 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/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: 2.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=1784 CPUtime=0
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 78067578 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/10520/statm: 446 140 106 14 0 91 0
[startup+0.108835 s]
/proc/loadavg: 2.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=914988 CPUtime=0.09
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 3054 0 1 0 7 2 0 0 20 0 8 0 78067578 936947712 2800 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155590154 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228747 2800 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520884 s]
/proc/loadavg: 2.00 2.00 1.96 5/80 10521
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915332 CPUtime=0.49
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 8189 0 1 0 45 4 0 0 22 0 8 0 78067578 937299968 7928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228833 7928 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34398 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274768/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=1.31
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15681 0 1 0 120 11 0 0 25 0 8 0 78067578 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15419 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.1
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.98118 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274704/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2.93
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15685 0 1 0 273 20 0 0 25 0 8 0 78067578 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15422 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15422 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915436
[startup+6.26358 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274640/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=6.18
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 572 46 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915436
[startup+12.7464 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274768/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=12.61
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 1164 97 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073635738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915436
[startup+25.6069 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 10528
/proc/meminfo: memFree=1274896/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=25.35
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15689 0 1 0 2333 202 0 0 25 0 8 0 78067578 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15426 2480 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1535 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.11
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 325 0 0 0 11 0 0 0 16 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915436
[startup+51.3089 s]
/proc/loadavg: 2.19 2.05 1.97 3/87 10528
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=50.93
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15857 0 1 0 4757 336 0 0 25 0 8 0 78067578 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15587 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915436
[startup+102.587 s]
/proc/loadavg: 2.08 2.04 1.97 3/87 10528
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=101.97
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15861 0 1 0 9860 337 0 0 25 0 8 0 78067578 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15589 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915436
[startup+162.6 s]
/proc/loadavg: 2.03 2.03 1.97 3/87 10528
/proc/meminfo: memFree=1274576/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=161.69
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15861 0 1 0 15832 337 0 0 25 0 8 0 78067578 937406464 15589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2016.94
Current children cumulated vsize (KiB) 915436
[startup+2083.32 s]
/proc/loadavg: 1.02 1.48 1.78 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2077.01
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 207355 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.01
Current children cumulated vsize (KiB) 915436
[startup+2143.41 s]
/proc/loadavg: 1.01 1.39 1.73 2/72 10637
/proc/meminfo: memFree=1306712/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2137.08
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 213362 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073595952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.08
Current children cumulated vsize (KiB) 915436
[startup+2203.49 s]
/proc/loadavg: 1.00 1.31 1.68 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2197.15
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 219369 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.15
Current children cumulated vsize (KiB) 915436
[startup+2263.58 s]
/proc/loadavg: 1.00 1.25 1.63 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2257.21
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 225375 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.21
Current children cumulated vsize (KiB) 915436
[startup+2323.66 s]
/proc/loadavg: 1.03 1.22 1.60 2/72 10637
/proc/meminfo: memFree=1306648/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2317.28
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 231382 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.28
Current children cumulated vsize (KiB) 915436
[startup+2383.75 s]
/proc/loadavg: 1.01 1.18 1.56 2/72 10637
/proc/meminfo: memFree=1306584/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2377.35
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 237389 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2377.35
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.45 s]
/proc/loadavg: 1.01 1.16 1.54 2/72 10637
/proc/meminfo: memFree=1306584/2055920 swapFree=4192812/4192956
[pid=10520] ppid=10518 vsize=915436 CPUtime=2400.06
/proc/10520/stat : 10520 (java) R 10518 10520 9440 0 -1 0 15864 0 1 0 239660 346 0 0 25 0 8 0 78067578 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10520/statm: 228859 15590 2535 14 0 215329 0
[pid=10520/tid=10522] ppid=10518 vsize=915436 CPUtime=0.05
/proc/10520/task/10522/stat : 10522 (java) S 10518 10520 9440 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 78067582 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10523] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10523/stat : 10523 (java) S 10518 10520 9440 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10524] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10524/stat : 10524 (java) S 10518 10520 9440 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78067583 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10525] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10525/stat : 10525 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10526] ppid=10518 vsize=915436 CPUtime=0.23
/proc/10520/task/10526/stat : 10526 (java) S 10518 10520 9440 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10520/tid=10527] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10527/stat : 10527 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10520/tid=10528] ppid=10518 vsize=915436 CPUtime=0
/proc/10520/task/10528/stat : 10528 (java) S 10518 10520 9440 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78067586 937406464 15590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.5
CPU time (s): 2400.1
CPU user time (s): 2396.63
CPU system time (s): 3.47147
CPU usage (%): 99.7341
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.63
system time used= 3.47147
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15884
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= 49723
involuntary context switches= 65830
runsolver used 2.42663 s user time and 6.20506 s system time
The end
 
Begin job on node66 on Sat Jan 20 15:08:24 UTC 2007
IDJOB= 280423
IDBENCH= 11092
IDSOLVER= 68
FILE ID= node66/280423-1169305703
PBS_JOBID= 3609882
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node66/watcher-280423-1169305703 -o ROOT/results/node66/solver-280423-1169305703 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280423-1169305703/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d32584b0a766d7a079bb680fc7f29725
RANDOM SEED= 837292790
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.230
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.230
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:      2055920 kB
MemFree:       1327272 kB
Buffers:         49364 kB
Cached:         560308 kB
SwapCached:         16 kB
Active:         138368 kB
Inactive:       518724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1327272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2776 kB
Writeback:           0 kB
Mapped:          67644 kB
Slab:            56800 kB
Committed_AS:  1786184 kB
PageTables:       1836 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= 66562 MiB
End job on node66 on Sat Jan 20 15:48:30 UTC 2007