0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/237292-1168347321/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1078
0.44 => wckTime=0.119 cpuTime=0.1 mem=9M894
0.44
0.44 predicates being loaded...
0.45
0.45 constraints being loaded...
134.68 nbConstraints=1000 nbSingletonDomainVariables=1 nbConvertedConstraints=1000 nbConvertConstraintsChecks=490454426
134.68 nbExtensionStructures=473 nbSharedExtensionStructures=527 nbConflictsStructures=473
134.68 nbSharedConflictsStructures=527 nbSharedBinaryRepresentations=751449 maxDegree=100 maxArity=2
134.68 => wckTime=134.356 cpuTime=132.72 mem=79M492
134.86
134.86 solver IterativeSystematicSolver being built...
135.03 => wckTime=134.708 cpuTime=132.86 mem=72M536
138.74
138.74 preprocessing
138.74 nbConstraintChecks=94649348 nbPropagations=11613 nbRevisions=57350 nbUselessRevisions=34059
138.74 nbSingletonTests=378 nbEffectiveSingletonTests=13 nbESACBranches=63 nbRemovedValues=18066
138.74 detectedInconsistency=no
138.74 => wckTime=3.704 cpuTime=3.65 mem=72M536
146.87
146.87 search
146.87 run=0 nbConstraintChecks=157643875 nbPropagations=31352 nbRevisions=250730 nbUselessRevisions=148288
146.87 nbAssignments=560 nbFailedAssignments=536 nbBacktracks=10 nbVisitedNodes=1105 nbRestartNogoods=0 mapSize=9
146.87 nbInferences=0 nbTooLargeKeys=0
146.87 => wckTime=11.835 cpuTime=11.69 mem=73M525
165.91
165.91 search
165.91 run=1 nbConstraintChecks=542610100 nbPropagations=127531 nbRevisions=1072154 nbUselessRevisions=660155
165.91 nbAssignments=1451 nbFailedAssignments=1134 nbBacktracks=25 nbVisitedNodes=2341 nbRestartNogoods=67 mapSize=24
165.91 nbInferences=0 nbTooLargeKeys=0
165.91 => wckTime=30.871 cpuTime=30.56 mem=73M525
210.13
210.13 search
210.13 run=2 nbConstraintChecks=1249440602 nbPropagations=399133 nbRevisions=2794976 nbUselessRevisions=1735753
210.13 nbAssignments=6568 nbFailedAssignments=1800 nbBacktracks=47 nbVisitedNodes=3720 nbRestartNogoods=362
210.13 mapSize=46 nbInferences=0 nbTooLargeKeys=0
210.13 => wckTime=75.095 cpuTime=74.39 mem=74M481
216.94
216.94 search
216.94 run=3 nbConstraintChecks=1384032971 nbPropagations=694516 nbRevisions=4691952 nbUselessRevisions=2914949
216.94 nbAssignments=7678 nbFailedAssignments=2417 nbBacktracks=80 nbVisitedNodes=5022 nbRestartNogoods=495
216.94 mapSize=70 nbInferences=0 nbTooLargeKeys=0
216.94 => wckTime=81.902 cpuTime=81.13 mem=74M481
237.91
237.91 search
237.91 run=4 nbConstraintChecks=1824635264 nbPropagations=1049042 nbRevisions=7066731 nbUselessRevisions=4359670
237.91 nbAssignments=11120 nbFailedAssignments=5072 nbBacktracks=130 nbVisitedNodes=10436 nbRestartNogoods=601
237.91 mapSize=120 nbInferences=0 nbTooLargeKeys=0
237.91 => wckTime=102.866 cpuTime=101.92 mem=75M437
263.43
263.43 search
263.43 run=5 nbConstraintChecks=2301423669 nbPropagations=1521244 nbRevisions=10477133 nbUselessRevisions=6511155
263.43 nbAssignments=13560 nbFailedAssignments=6459 nbBacktracks=205 nbVisitedNodes=13367 nbRestartNogoods=791
263.43 mapSize=193 nbInferences=0 nbTooLargeKeys=0
263.43 => wckTime=128.388 cpuTime=127.23 mem=76M393
283.60
283.60 search
283.60 run=6 nbConstraintChecks=2656782319 nbPropagations=2085948 nbRevisions=15006803 nbUselessRevisions=9438115
283.60 nbAssignments=16528 nbFailedAssignments=9195 nbBacktracks=318 nbVisitedNodes=19045 nbRestartNogoods=804
283.60 mapSize=296 nbInferences=0 nbTooLargeKeys=0
283.60 => wckTime=148.564 cpuTime=147.23 mem=78M305
311.55
311.55 search
311.55 run=7 nbConstraintChecks=3154646782 nbPropagations=2785326 nbRevisions=21237748 nbUselessRevisions=13558751
311.55 nbAssignments=20698 nbFailedAssignments=13183 nbBacktracks=490 nbVisitedNodes=27317 nbRestartNogoods=808
311.55 mapSize=465 nbInferences=0 nbTooLargeKeys=0
311.55 => wckTime=176.512 cpuTime=174.94 mem=80M217
482.46
482.46 search
482.46 run=8 nbConstraintChecks=7132467288 nbPropagations=3890627 nbRevisions=31495182 nbUselessRevisions=19767698
482.46 nbAssignments=36979 nbFailedAssignments=29203 nbBacktracks=746 nbVisitedNodes=59865 nbRestartNogoods=812
482.46 mapSize=720 nbInferences=0 nbTooLargeKeys=0
482.46 => wckTime=347.419 cpuTime=344.11 mem=84M42
562.13
562.13 INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=87M866)
593.95
593.95 search
593.95 run=9 nbConstraintChecks=9642837765 nbPropagations=5255437 nbRevisions=44619504 nbUselessRevisions=27529635
593.95 nbAssignments=53085 nbFailedAssignments=44266 nbBacktracks=1130 nbVisitedNodes=90717 nbRestartNogoods=1102
593.95 => wckTime=458.911 cpuTime=454.65 mem=87M866
644.44
644.44 search
644.44 run=10 nbConstraintChecks=10662389156 nbPropagations=6784220 nbRevisions=59135290 nbUselessRevisions=36140210
644.44 nbAssignments=59573 nbFailedAssignments=50123 nbBacktracks=1707 nbVisitedNodes=103474 nbRestartNogoods=1134
644.44 => wckTime=509.4 cpuTime=504.68 mem=87M866
684.82
684.82 search
684.82 run=11 nbConstraintChecks=11518315224 nbPropagations=8456184 nbRevisions=75266142 nbUselessRevisions=45859316
684.82 nbAssignments=63326 nbFailedAssignments=52882 nbBacktracks=2571 nbVisitedNodes=110615 nbRestartNogoods=1169
684.82 => wckTime=549.781 cpuTime=544.71 mem=87M866
744.07
744.07 search
744.07 run=12 nbConstraintChecks=12747693593 nbPropagations=10342159 nbRevisions=93739615 nbUselessRevisions=57181434
744.07 nbAssignments=67778 nbFailedAssignments=55909 nbBacktracks=3869 nbVisitedNodes=119080 nbRestartNogoods=1197
744.07 => wckTime=609.036 cpuTime=603.44 mem=87M866
816.02
816.02 search
816.02 run=13 nbConstraintChecks=14242304421 nbPropagations=12500223 nbRevisions=115262023 nbUselessRevisions=70619779
816.02 nbAssignments=73694 nbFailedAssignments=59765 nbBacktracks=5815 nbVisitedNodes=130468 nbRestartNogoods=1221
816.02 => wckTime=680.982 cpuTime=674.73 mem=87M866
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-237292-1168347321 -o ROOT/results/node52/solver-237292-1168347321 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=18540 CPUtime=0
/proc/11788/stat : 11788 (runsolver) R 11786 11788 11581 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183130706 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273653755175 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11788/statm: 4635 279 244 17 0 2626 0
[startup+0.102946 s]
/proc/loadavg: 1.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=912760 CPUtime=0.08
/proc/11788/stat : 11788 (java) S 11786 11788 11581 0 -1 0 2793 0 1 0 7 1 0 0 18 0 8 0 183130706 934666240 2539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228190 2539 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912760
[startup+0.510973 s]
/proc/loadavg: 1.91 1.93 1.90 4/74 11789
/proc/meminfo: memFree=1883272/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915328 CPUtime=0.48
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 7021 0 1 0 44 4 0 0 18 0 8 0 183130706 937295872 6760 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228832 6760 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33203 s]
/proc/loadavg: 1.91 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1856208/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1.29
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 9187 0 1 0 123 6 0 0 25 0 8 0 183130706 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 8925 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 183130711 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 357 0 0 0 14 0 0 0 16 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.97613 s]
/proc/loadavg: 1.91 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1854608/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=2.93
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 9694 0 1 0 287 6 0 0 25 0 8 0 183130706 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761323 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 9432 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 9432 18446744073709551615 134512640 134570532 4294956480 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) 915448
[startup+6.17935 s]
/proc/loadavg: 1.92 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1850832/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=6.1
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 10508 0 1 0 604 6 0 0 25 0 8 0 183130706 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 10246 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.14
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 359 0 0 0 14 0 0 0 17 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 10246 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915448
[startup+12.6518 s]
/proc/loadavg: 1.92 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1842704/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=12.53
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 12561 0 1 0 1245 8 0 0 25 0 8 0 183130706 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758425 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 12299 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.15
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 360 0 0 0 15 0 0 0 17 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 12299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915448
[startup+25.4997 s]
/proc/loadavg: 1.94 1.93 1.90 3/81 11796
/proc/meminfo: memFree=1827664/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=25.28
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 16423 0 1 0 2519 9 0 0 25 0 8 0 183130706 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 16161 2167 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 183130711 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183130712 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183130712 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.15
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 362 0 0 0 15 0 0 0 17 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 16161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915448
[startup+51.1054 s]
/proc/loadavg: 2.03 1.95 1.91 4/81 11796
/proc/meminfo: memFree=1810256/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=50.67
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 20597 0 1 0 5055 12 0 0 25 0 8 0 183130706 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 20333 2179 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.09
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 4041 0 0 0 8 1 0 0 16 0 8 0 183130711 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.17
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 20333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915448
[startup+102.315 s]
/proc/loadavg: 2.01 1.96 1.91 3/81 11796
/proc/meminfo: memFree=1788880/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=101.47
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 25938 0 1 0 10131 16 0 0 25 0 8 0 183130706 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11788/statm: 228862 25671 2179 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.25
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 9374 0 0 0 22 3 0 0 16 0 8 0 183130711 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.18
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 376 0 0 0 18 0 0 0 17 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 25671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915448
[startup+162.387 s]
/proc/loadavg: 2.00 1.96 1.91 3/81 11796
/proc/meminfo: memFree=1762192/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=161.06
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32960 0 1 0 16084 22 0 0 25 0 8 0 183130706 937418752 32682 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.83
Current children cumulated vsize (KiB) 915448
[startup+1483.41 s]
/proc/loadavg: 2.01 2.01 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1474.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 147450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.82
Current children cumulated vsize (KiB) 915448
[startup+1543.47 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1534.81
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 153449 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.81
Current children cumulated vsize (KiB) 915448
[startup+1603.52 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1594.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 159450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.82
Current children cumulated vsize (KiB) 915448
[startup+1663.58 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 12615
/proc/meminfo: memFree=1726792/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1654.81
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 165449 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073985169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.81
Current children cumulated vsize (KiB) 915448
[startup+1723.63 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1714.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 171450 32 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073963143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.82
Current children cumulated vsize (KiB) 915448
[startup+1783.68 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1774.82
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 177449 33 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.82
Current children cumulated vsize (KiB) 915448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.98 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 12615
/proc/meminfo: memFree=1726728/2055920 swapFree=4192812/4192956
[pid=11788] ppid=11786 vsize=915448 CPUtime=1800.09
/proc/11788/stat : 11788 (java) R 11786 11788 11581 0 -1 0 32990 0 1 0 179976 33 0 0 25 0 8 0 183130706 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073955835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11788/statm: 228862 32701 2546 14 0 215332 0
[pid=11788/tid=11790] ppid=11786 vsize=915448 CPUtime=0.57
/proc/11788/task/11790/stat : 11790 (java) S 11786 11788 11581 0 -1 64 15893 0 0 0 51 6 0 0 16 0 8 0 183130711 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11791] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11791/stat : 11791 (java) S 11786 11788 11581 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11792] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11792/stat : 11792 (java) S 11786 11788 11581 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183130712 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11793] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11793/stat : 11793 (java) S 11786 11788 11581 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11794] ppid=11786 vsize=915448 CPUtime=0.33
/proc/11788/task/11794/stat : 11794 (java) S 11786 11788 11581 0 -1 64 453 0 0 0 32 1 0 0 16 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11795] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11795/stat : 11795 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11788/tid=11796] ppid=11786 vsize=915448 CPUtime=0
/proc/11788/task/11796/stat : 11796 (java) S 11786 11788 11581 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183130715 937418752 32701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.02
CPU time (s): 1800.13
CPU user time (s): 1799.78
CPU system time (s): 0.353946
CPU usage (%): 99.5087
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33006
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= 38046
involuntary context switches= 40822
runsolver used 2.04069 s user time and 5.9151 s system time
The end
Begin job on node52 on Tue Jan 9 12:55:22 UTC 2007
IDJOB= 237292
IDBENCH= 6912
FILE ID= node52/237292-1168347321
PBS_JOBID= 3503600
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/os-gp/gp10-04-1077.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-237292-1168347321 -o ROOT/results/node52/solver-237292-1168347321 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237292-1168347321/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9e1073cf0543b531d5d4e0d0fba8e4b2
RANDOM SEED= 706933576
TIME LIMIT= 1800 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.232
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.232
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: 1883752 kB
Buffers: 18596 kB
Cached: 63820 kB
SwapCached: 0 kB
Active: 80200 kB
Inactive: 33284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1883752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 42532 kB
Slab: 44064 kB
Committed_AS: 4458308 kB
PageTables: 1860 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= 66552 MiB
End job on node52 on Tue Jan 9 13:25:31 UTC 2007