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/249688-1168405908/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.39 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=70 maxDomainSize=70
0.43 => wckTime=0.113 cpuTime=0.1 mem=6M951
0.43
0.43 predicates being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=40 nbSingletonDomainVariables=6 nbDisconnectedVariables=6 nbUnbuiltConflictsStructures=40
0.58 nbSharedBinaryRepresentations=0 nbEvaluationManagers=40 nbSharedEvaluationManagers=0 maxDegree=10 maxArity=10
0.58 => wckTime=0.261 cpuTime=0.2 mem=10M869
0.62
0.62 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.482 cpuTime=0.35 mem=16M533
4.49
4.49 preprocessing
4.49 nbConstraintChecks=5638703 nbValidityChecks=2396 nbPropagations=285 nbRevisions=100 nbUselessRevisions=20
4.49 nbSingletonTests=115 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=62 detectedInconsistency=no
4.49 => wckTime=3.688 cpuTime=3.63 mem=16M533
125.50
125.50 search
125.50 run=0 nbConstraintChecks=125753023 nbValidityChecks=7479 nbPropagations=941 nbRevisions=688
125.50 nbUselessRevisions=50 nbAssignments=318 nbFailedAssignments=281 nbBacktracks=11 nbVisitedNodes=600
125.50 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
125.50 => wckTime=124.694 cpuTime=123.51 mem=16M533
156.85
156.85 search
156.85 run=1 nbConstraintChecks=166632277 nbValidityChecks=19331 nbPropagations=2193 nbRevisions=1807
156.85 nbUselessRevisions=161 nbAssignments=420 nbFailedAssignments=330 nbBacktracks=26 nbVisitedNodes=740
156.85 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
156.85 => wckTime=156.046 cpuTime=154.57 mem=16M533
288.66
288.66 search
288.66 run=2 nbConstraintChecks=337023582 nbValidityChecks=107197 nbPropagations=6822 nbRevisions=6210
288.66 nbUselessRevisions=1229 nbAssignments=1652 nbFailedAssignments=578 nbBacktracks=48 nbVisitedNodes=1277
288.66 nbRestartNogoods=47 mapSize=40 nbInferences=0 nbTooLargeKeys=0
288.66 => wckTime=287.854 cpuTime=285.16 mem=16M533
1069.22
1069.22 search
1069.22 run=3 nbConstraintChecks=1158285423 nbValidityChecks=250282 nbPropagations=20077 nbRevisions=17160
1069.22 nbUselessRevisions=3910 nbAssignments=5306 nbFailedAssignments=2795 nbBacktracks=81 nbVisitedNodes=5757
1069.22 nbRestartNogoods=107 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1069.22 => wckTime=1068.418 cpuTime=1059.13 mem=16M533
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-249688-1168405908 -o ROOT/results/node4/solver-249688-1168405908 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249688-1168405908/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: 2.60 2.18 2.05 4/94 15403
/proc/meminfo: memFree=1694064/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=18540 CPUtime=0
/proc/15402/stat : 15402 (runsolver) R 15400 15402 14741 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 188986361 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15402/statm: 4635 279 244 17 0 2626 0
[startup+0.109684 s]
/proc/loadavg: 2.60 2.18 2.05 4/94 15403
/proc/meminfo: memFree=1694064/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=914988 CPUtime=0.08
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 2988 0 1 0 7 1 0 0 18 0 8 0 188986361 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517724 s]
/proc/loadavg: 2.60 2.18 2.05 4/94 15403
/proc/meminfo: memFree=1694064/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915328 CPUtime=0.49
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 6789 0 1 0 45 4 0 0 18 0 8 0 188986361 937295872 6528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155169435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228832 6528 2155 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33879 s]
/proc/loadavg: 2.55 2.18 2.05 3/101 15410
/proc/meminfo: memFree=1669176/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1.3
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 8937 0 1 0 125 5 0 0 25 0 8 0 188986361 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8675 2540 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.15
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 350 0 0 0 15 0 0 0 15 0 8 0 188986369 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97595 s]
/proc/loadavg: 2.55 2.18 2.05 3/101 15410
/proc/meminfo: memFree=1669112/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=2.93
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 8950 0 1 0 288 5 0 0 25 0 8 0 188986361 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761794 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8686 2542 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 17 0 8 0 188986365 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.17
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 359 0 0 0 17 0 0 0 15 0 8 0 188986369 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8686 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) 915464
[startup+6.18326 s]
/proc/loadavg: 2.55 2.18 2.05 4/101 15410
/proc/meminfo: memFree=1668664/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=6.11
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9051 0 1 0 606 5 0 0 25 0 8 0 188986361 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8785 2542 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.18
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 365 0 0 0 18 0 0 0 15 0 8 0 188986369 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8785 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915464
[startup+12.6489 s]
/proc/loadavg: 2.47 2.17 2.05 3/101 15410
/proc/meminfo: memFree=1668664/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=12.51
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9058 0 1 0 1246 5 0 0 25 0 8 0 188986361 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8790 2543 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.18
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 368 0 0 0 18 0 0 0 16 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915464
[startup+25.5061 s]
/proc/loadavg: 2.40 2.16 2.05 3/101 15410
/proc/meminfo: memFree=1668664/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=25.25
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9059 0 1 0 2520 5 0 0 25 0 8 0 188986361 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8790 2543 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.18
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 369 0 0 0 18 0 0 0 16 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8790 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915464
[startup+51.1206 s]
/proc/loadavg: 2.26 2.15 2.05 3/101 15410
/proc/meminfo: memFree=1668664/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=50.64
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9064 0 1 0 5058 6 0 0 25 0 8 0 188986361 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8793 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.18
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 370 0 0 0 18 0 0 0 16 0 8 0 188986369 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915464
[startup+102.354 s]
/proc/loadavg: 2.10 2.12 2.04 3/101 15410
/proc/meminfo: memFree=1668600/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=101.4
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9069 0 1 0 10134 6 0 0 25 0 8 0 188986361 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15402/statm: 228866 8794 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.18
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 188986369 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915464
[startup+162.437 s]
/proc/loadavg: 2.04 2.10 2.04 3/101 15410
/proc/meminfo: memFree=1668536/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=160.93
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9088 0 1 0 16087 6 0 0 25 0 8 0 188986361 937435136 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.11
Current children cumulated vsize (KiB) 915464
[startup+1483.68 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 15533
/proc/meminfo: memFree=895168/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1474.04
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9157 0 1 0 147379 25 0 0 25 0 8 0 188986361 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761767 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8849 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.04
Current children cumulated vsize (KiB) 915464
[startup+1543.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 15533
/proc/meminfo: memFree=895104/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1534.01
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9157 0 1 0 153375 26 0 0 25 0 8 0 188986361 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073766700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8849 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.01
Current children cumulated vsize (KiB) 915464
[startup+1603.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 15533
/proc/meminfo: memFree=895040/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1593.96
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9157 0 1 0 159370 26 0 0 25 0 8 0 188986361 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8849 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.96
Current children cumulated vsize (KiB) 915464
[startup+1663.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 15533
/proc/meminfo: memFree=895104/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1653.9
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9157 0 1 0 165364 26 0 0 25 0 8 0 188986361 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8849 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.9
Current children cumulated vsize (KiB) 915464
[startup+1723.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 15533
/proc/meminfo: memFree=895104/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1713.85
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9157 0 1 0 171359 26 0 0 25 0 8 0 188986361 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073760967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8849 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.85
Current children cumulated vsize (KiB) 915464
[startup+1783.73 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 15533
/proc/meminfo: memFree=895168/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1773.79
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9158 0 1 0 177353 26 0 0 25 0 8 0 188986361 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8850 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.79
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 15541
/proc/meminfo: memFree=1677008/2055920 swapFree=4182144/4192956
[pid=15402] ppid=15400 vsize=915464 CPUtime=1800.02
/proc/15402/stat : 15402 (java) R 15400 15402 14741 0 -1 0 9158 0 1 0 179976 26 0 0 25 0 8 0 188986361 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763913 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15402/statm: 228866 8850 2544 14 0 215336 0
[pid=15402/tid=15404] ppid=15400 vsize=915464 CPUtime=0.02
/proc/15402/task/15404/stat : 15404 (java) S 15400 15402 14741 0 -1 64 187 0 0 0 2 0 0 0 16 0 8 0 188986365 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15405] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15405/stat : 15405 (java) S 15400 15402 14741 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 188986366 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15406] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15406/stat : 15406 (java) S 15400 15402 14741 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 188986366 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15407] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15407/stat : 15407 (java) S 15400 15402 14741 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15408] ppid=15400 vsize=915464 CPUtime=0.25
/proc/15402/task/15408/stat : 15408 (java) S 15400 15402 14741 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15402/tid=15409] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15409/stat : 15409 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15402/tid=15410] ppid=15400 vsize=915464 CPUtime=0
/proc/15402/task/15410/stat : 15410 (java) S 15400 15402 14741 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 188986369 937435136 8850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.02
CPU time (s): 1800.07
CPU user time (s): 1799.79
CPU system time (s): 0.272958
CPU usage (%): 99.4501
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9177
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= 37852
involuntary context switches= 62353
runsolver used 2.19667 s user time and 5.81811 s system time
The end
Begin job on node4 on Wed Jan 10 05:11:48 UTC 2007
IDJOB= 249688
IDBENCH= 11803
FILE ID= node4/249688-1168405908
PBS_JOBID= 3523126
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-20/primes-20-40-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249688-1168405908/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-249688-1168405908 -o ROOT/results/node4/solver-249688-1168405908 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/249688-1168405908/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5bde4ee428701eec68de6b6f90cf0d18
RANDOM SEED= 610784219
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.223
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.223
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: 1694544 kB
Buffers: 49100 kB
Cached: 147452 kB
SwapCached: 2552 kB
Active: 186408 kB
Inactive: 98016 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1694544 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1732 kB
Writeback: 0 kB
Mapped: 106220 kB
Slab: 61472 kB
Committed_AS: 6858740 kB
PageTables: 2600 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= 66517 MiB
End job on node4 on Wed Jan 10 05:41:58 UTC 2007