0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/211212-1168206150/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.83 nbVariables=20445 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.83 => wckTime=0.482 cpuTime=0.38 mem=40M271
0.83
0.83 predicates being loaded...
0.84
0.84 constraints being loaded...
9.19 nbConstraints=56738 nbMergedConstraints=1705 nbSingletonDomainVariables=1 nbConvertedConstraints=37401
9.19 nbConvertConstraintsChecks=105514 nbExtensionStructures=3 nbSharedExtensionStructures=37398
9.19 nbConflictsStructures=69 nbSharedConflictsStructures=56669 nbSharedBinaryRepresentations=7
9.19 nbEvaluationManagers=66 nbSharedEvaluationManagers=19271 maxDegree=520 maxArity=13
9.19 => wckTime=8.84 cpuTime=7.37 mem=156M456
9.61
9.61 solver IterativeSystematicSolver being built...
10.94 => wckTime=10.59 cpuTime=8.4 mem=169M99
376.76
376.76 INFO : Stopping ESAC
376.77
376.77 preprocessing
376.77 nbConstraintChecks=194204 nbValidityChecks=112388 nbPropagations=53316 nbRevisions=184418
376.77 nbUselessRevisions=167665 nbSingletonTests=16135 nbEffectiveSingletonTests=0 nbESACBranches=2
376.77 nbRemovedValues=29 detectedInconsistency=no
376.77 => wckTime=365.805 cpuTime=363.99 mem=171M125
387.76
387.76 search
387.76 run=0 nbConstraintChecks=107334 nbValidityChecks=34033 nbPropagations=70870 nbRevisions=284083
387.76 nbUselessRevisions=249792 nbAssignments=203 nbFailedAssignments=1 nbBacktracks=27 nbVisitedNodes=206
387.76 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
387.76 => wckTime=376.807 cpuTime=374.92 mem=172M204
398.98
398.98 search
398.98 run=1 nbConstraintChecks=203254 nbValidityChecks=70645 nbPropagations=159293 nbRevisions=661502
398.98 nbUselessRevisions=575383 nbAssignments=411 nbFailedAssignments=2 nbBacktracks=64 nbVisitedNodes=416
398.98 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
398.98 => wckTime=388.026 cpuTime=386.08 mem=173M217
409.87
409.87 search
409.87 run=2 nbConstraintChecks=296791 nbValidityChecks=105443 nbPropagations=265250 nbRevisions=1131454
409.87 nbUselessRevisions=975989 nbAssignments=614 nbFailedAssignments=3 nbBacktracks=91 nbVisitedNodes=621
409.87 nbRestartNogoods=2 mapSize=3 nbInferences=0 nbTooLargeKeys=0
409.87 => wckTime=398.912 cpuTime=396.91 mem=173M217
421.11
421.11 search
421.11 run=3 nbConstraintChecks=391955 nbValidityChecks=141230 nbPropagations=388740 nbRevisions=1694348
421.11 nbUselessRevisions=1452020 nbAssignments=822 nbFailedAssignments=4 nbBacktracks=129 nbVisitedNodes=831
421.11 nbRestartNogoods=3 mapSize=4 nbInferences=0 nbTooLargeKeys=0
421.11 => wckTime=410.152 cpuTime=408.1 mem=174M231
433.94
433.94 search
433.94 run=4 nbConstraintChecks=490825 nbValidityChecks=177911 nbPropagations=530435 nbRevisions=2354417
433.94 nbUselessRevisions=2007032 nbAssignments=1058 nbFailedAssignments=6 nbBacktracks=193 nbVisitedNodes=1071
433.94 nbRestartNogoods=4 mapSize=7 nbInferences=0 nbTooLargeKeys=0
433.94 => wckTime=422.99 cpuTime=420.86 mem=174M231
448.92
448.92 search
448.92 run=5 nbConstraintChecks=594463 nbValidityChecks=218807 nbPropagations=691043 nbRevisions=3117919
448.92 nbUselessRevisions=2646573 nbAssignments=1329 nbFailedAssignments=9 nbBacktracks=286 nbVisitedNodes=1348
448.92 nbRestartNogoods=5 mapSize=11 nbInferences=0 nbTooLargeKeys=0
448.92 => wckTime=437.964 cpuTime=435.76 mem=175M244
466.14
466.14 search
466.14 run=6 nbConstraintChecks=703514 nbValidityChecks=261059 nbPropagations=871268 nbRevisions=3989523
466.14 nbUselessRevisions=3374603 nbAssignments=1637 nbFailedAssignments=13 nbBacktracks=415 nbVisitedNodes=1664
466.14 nbRestartNogoods=7 mapSize=17 nbInferences=0 nbTooLargeKeys=0
466.14 => wckTime=455.187 cpuTime=452.9 mem=176M257
487.37
487.37 search
487.37 run=7 nbConstraintChecks=823388 nbValidityChecks=309853 nbPropagations=1072489 nbRevisions=4980351
487.37 nbUselessRevisions=4200858 nbAssignments=2013 nbFailedAssignments=19 nbBacktracks=610 nbVisitedNodes=2052
487.37 nbRestartNogoods=9 mapSize=26 nbInferences=0 nbTooLargeKeys=0
487.37 => wckTime=476.413 cpuTime=474.02 mem=177M270
512.52
512.52 search
512.52 run=8 nbConstraintChecks=952684 nbValidityChecks=361193 nbPropagations=1296083 nbRevisions=6099453
512.52 nbUselessRevisions=5133002 nbAssignments=2455 nbFailedAssignments=27 nbBacktracks=869 nbVisitedNodes=2510
512.52 nbRestartNogoods=12 mapSize=39 nbInferences=0 nbTooLargeKeys=0
512.52 => wckTime=501.564 cpuTime=499.04 mem=178M284
546.92
546.92 search
546.92 run=9 nbConstraintChecks=1111836 nbValidityChecks=425066 nbPropagations=1544540 nbRevisions=7367405
546.92 nbUselessRevisions=6189073 nbAssignments=3051 nbFailedAssignments=40 nbBacktracks=1284 nbVisitedNodes=3132
546.92 nbRestartNogoods=15 mapSize=63 nbInferences=0 nbTooLargeKeys=0
546.92 => wckTime=535.97 cpuTime=533.28 mem=179M297
592.78
592.78 search
592.78 run=10 nbConstraintChecks=1296875 nbValidityChecks=500287 nbPropagations=1819415 nbRevisions=8801807
592.78 nbUselessRevisions=7384579 nbAssignments=3850 nbFailedAssignments=70 nbBacktracks=1878 nbVisitedNodes=3980
592.78 nbRestartNogoods=17 mapSize=108 nbInferences=0 nbTooLargeKeys=0
592.78 => wckTime=581.83 cpuTime=578.91 mem=181M323
652.12
652.12 search
652.12 run=11 nbConstraintChecks=1626264 nbValidityChecks=641829 nbPropagations=2140612 nbRevisions=10546080
652.12 nbUselessRevisions=8842217 nbAssignments=4906 nbFailedAssignments=139 nbBacktracks=2746 nbVisitedNodes=5146
652.12 nbRestartNogoods=21 mapSize=215 nbInferences=0 nbTooLargeKeys=0
652.12 => wckTime=641.17 cpuTime=637.96 mem=184M363
732.24
732.24 search
732.24 run=12 nbConstraintChecks=2488819 nbValidityChecks=917822 nbPropagations=2616637 nbRevisions=13213907
732.24 nbUselessRevisions=11065990 nbAssignments=6442 nbFailedAssignments=248 nbBacktracks=4072 nbVisitedNodes=6842
732.24 nbRestartNogoods=24 mapSize=371 nbInferences=0 nbTooLargeKeys=0
732.24 => wckTime=721.282 cpuTime=717.69 mem=188M416
850.07
850.07 search
850.07 run=13 nbConstraintChecks=3830754 nbValidityChecks=1345681 nbPropagations=3334095 nbRevisions=17293727
850.07 nbUselessRevisions=14454607 nbAssignments=8724 nbFailedAssignments=400 nbBacktracks=6040 nbVisitedNodes=9329
850.07 nbRestartNogoods=28 mapSize=608 nbInferences=0 nbTooLargeKeys=0
850.07 => wckTime=839.114 cpuTime=834.96 mem=194M496
1023.30
1023.30 search
1023.30 run=14 nbConstraintChecks=5512389 nbValidityChecks=1862923 nbPropagations=4348324 nbRevisions=23112611
1023.30 nbUselessRevisions=19275160 nbAssignments=11983 nbFailedAssignments=597 nbBacktracks=8980 nbVisitedNodes=12948
1023.31 nbRestartNogoods=35 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1023.31 => wckTime=1012.35 cpuTime=1007.31 mem=162M29
1044.18
1044.18 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=163M42)
1092.41
1092.41 search
1092.41 run=15 nbConstraintChecks=8050552 nbValidityChecks=2724198 nbPropagations=5792978 nbRevisions=31603910
1092.41 nbUselessRevisions=26311439 nbAssignments=16860 nbFailedAssignments=951 nbBacktracks=13391 nbVisitedNodes=18597
1092.41 nbRestartNogoods=41
1092.41 => wckTime=1081.46 cpuTime=1076.08 mem=163M42
1175.24
1175.24 search
1175.24 run=16 nbConstraintChecks=12713951 nbValidityChecks=4828125 nbPropagations=7902924 nbRevisions=44476111
1175.24 nbUselessRevisions=37022915 nbAssignments=24233 nbFailedAssignments=1525 nbBacktracks=19991
1175.24 nbVisitedNodes=27291 nbRestartNogoods=47
1175.24 => wckTime=1164.285 cpuTime=1158.34 mem=163M42
1285.35
1285.35 search
1285.35 run=17 nbConstraintChecks=15198012 nbValidityChecks=5965669 nbPropagations=10440491 nbRevisions=60048076
1285.35 nbUselessRevisions=49991397 nbAssignments=35036 nbFailedAssignments=2094 nbBacktracks=29846
1285.35 nbVisitedNodes=39206 nbRestartNogoods=51
1285.35 => wckTime=1274.396 cpuTime=1267.85 mem=163M42
1470.86
1470.86 search
1470.86 run=18 nbConstraintChecks=25142661 nbValidityChecks=10938101 nbPropagations=14304817 nbRevisions=84232659
1470.86 nbUselessRevisions=70131239 nbAssignments=51756 nbFailedAssignments=3618 nbBacktracks=44630
1470.86 nbVisitedNodes=59007 nbRestartNogoods=58
1470.86 => wckTime=1459.908 cpuTime=1452.48 mem=163M42
1732.34
1732.34 search
1732.34 run=19 nbConstraintChecks=40690101 nbValidityChecks=16137245 nbPropagations=21199796 nbRevisions=125008159
1732.34 nbUselessRevisions=103706255 nbAssignments=75819 nbFailedAssignments=5384 nbBacktracks=66799
1732.34 nbVisitedNodes=87047 nbRestartNogoods=65
1732.34 => wckTime=1721.386 cpuTime=1712.7 mem=163M42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-211212-1168206150 -o ROOT/results/node11/solver-211212-1168206150 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/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.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=18540 CPUtime=0
/proc/10555/stat : 10555 (runsolver) R 10553 10555 10205 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 169010110 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10555/statm: 4635 279 244 17 0 2626 0
[startup+0.103547 s]
/proc/loadavg: 1.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=912588 CPUtime=0.08
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 2751 0 1 0 6 2 0 0 20 0 8 0 169010110 934490112 2497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912588
[startup+0.511625 s]
/proc/loadavg: 1.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915328 CPUtime=0.47
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 6320 0 1 0 43 4 0 0 20 0 8 0 169010110 937295872 6059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228832 6059 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3348 s]
/proc/loadavg: 1.75 1.46 1.70 3/93 10563
/proc/meminfo: memFree=1451240/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915616 CPUtime=1.29
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 18798 0 1 0 116 13 0 0 25 0 8 0 169010110 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228904 18536 2158 14 0 215374 0
[pid=10555/tid=10557] ppid=10553 vsize=915616 CPUtime=0.11
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 2253 0 0 0 10 1 0 0 18 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915616 CPUtime=0.17
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 413 0 0 0 17 0 0 0 15 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 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) 915616
[startup+2.98112 s]
/proc/loadavg: 1.75 1.46 1.70 3/93 10563
/proc/meminfo: memFree=1438568/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915616 CPUtime=2.92
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 23703 0 1 0 276 16 0 0 25 0 8 0 169010110 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073549552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228904 23437 2158 14 0 215374 0
[pid=10555/tid=10557] ppid=10553 vsize=915616 CPUtime=0.39
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 7152 0 0 0 36 3 0 0 16 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915616 CPUtime=0.18
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915616
[startup+6.27477 s]
/proc/loadavg: 1.77 1.47 1.70 3/93 10563
/proc/meminfo: memFree=1422632/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915744 CPUtime=6.18
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 28952 0 1 0 461 157 0 0 25 0 8 0 169010110 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228936 28682 2178 14 0 215406 0
[pid=10555/tid=10557] ppid=10553 vsize=915744 CPUtime=0.75
/proc/10555/task/10557/stat : 10557 (java) R 10553 10555 10205 0 -1 64 12317 0 0 0 69 6 0 0 18 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827392 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915744 CPUtime=0.21
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 434 0 0 0 21 0 0 0 15 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937721856 28682 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) 915744
[startup+12.7649 s]
/proc/loadavg: 1.79 1.48 1.70 3/93 10563
/proc/meminfo: memFree=1301992/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=12.63
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56582 0 1 0 995 268 0 0 25 0 8 0 169010110 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56245 2537 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 17 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.41
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 678 0 0 0 39 2 0 0 15 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916336
[startup+25.6244 s]
/proc/loadavg: 1.82 1.50 1.71 3/93 10563
/proc/meminfo: memFree=1302312/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=25.44
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56594 0 1 0 2275 269 0 0 25 0 8 0 169010110 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074264996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56253 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.42
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 686 0 0 0 40 2 0 0 16 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 916336
[startup+51.2485 s]
/proc/loadavg: 1.89 1.54 1.72 4/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=50.93
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56599 0 1 0 4824 269 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56256 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.43
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 691 0 0 0 41 2 0 0 16 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56256 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) 916336
[startup+102.498 s]
/proc/loadavg: 1.95 1.61 1.73 3/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=101.94
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56599 0 1 0 9924 270 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074316656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56256 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.43
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 691 0 0 0 41 2 0 0 16 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 916336
[startup+162.6 s]
/proc/loadavg: 2.08 1.71 1.75 3/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=161.75
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56600 0 1 0 15905 270 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074316656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.89
Current children cumulated vsize (KiB) 916336
[startup+1484.14 s]
/proc/loadavg: 2.05 2.01 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1476.71
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 147390 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074363472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.71
Current children cumulated vsize (KiB) 916336
[startup+1544.15 s]
/proc/loadavg: 2.02 2.01 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1536.43
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 153362 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.43
Current children cumulated vsize (KiB) 916336
[startup+1604.16 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1596.15
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 159334 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.15
Current children cumulated vsize (KiB) 916336
[startup+1664.17 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1655.87
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 165306 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074339326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.87
Current children cumulated vsize (KiB) 916336
[startup+1724.27 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299560/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1715.68
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 171286 282 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074365051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.68
Current children cumulated vsize (KiB) 916336
[startup+1784.36 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 10834
/proc/meminfo: memFree=1511480/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1775.45
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 177260 285 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074365051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.45
Current children cumulated vsize (KiB) 916336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.05 s]
/proc/loadavg: 1.93 1.98 1.91 3/101 10903
/proc/meminfo: memFree=1442720/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1800.01
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 179715 286 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 916336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.15
CPU time (s): 1800.11
CPU user time (s): 1797.21
CPU system time (s): 2.89756
CPU usage (%): 99.5
Max. virtual memory (cumulated for all children) (KiB): 916336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.89756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57126
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= 38625
involuntary context switches= 58698
runsolver used 2.23866 s user time and 5.77612 s system time
The end
Begin job on node11 on Sun Jan 7 21:42:31 UTC 2007
IDJOB= 211212
IDBENCH= 4677
FILE ID= node11/211212-1168206150
PBS_JOBID= 3480565
Free space on /tmp= 66327 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/elf-rf9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-211212-1168206150 -o ROOT/results/node11/solver-211212-1168206150 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d495dfcb22d18501da72bd856be20ec
RANDOM SEED= 888980875
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.261
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 : 5931.00
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.261
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: 1518272 kB
Buffers: 30164 kB
Cached: 162004 kB
SwapCached: 0 kB
Active: 330124 kB
Inactive: 150704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1518272 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10512 kB
Writeback: 0 kB
Mapped: 311076 kB
Slab: 41024 kB
Committed_AS: 5239536 kB
PageTables: 2780 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= 66327 MiB
End job on node11 on Sun Jan 7 22:12:40 UTC 2007