0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/237308-1168347366/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1094
0.45 => wckTime=0.121 cpuTime=0.1 mem=9M903
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
153.09 nbConstraints=1000 nbSingletonDomainVariables=1 nbConvertedConstraints=1000 nbConvertConstraintsChecks=599675006
153.09 nbExtensionStructures=556 nbSharedExtensionStructures=444 nbConflictsStructures=556
153.09 nbSharedConflictsStructures=444 nbSharedBinaryRepresentations=907548 maxDegree=100 maxArity=2
153.09 => wckTime=152.761 cpuTime=151.78 mem=87M320
153.28
153.28 solver IterativeSystematicSolver being built...
153.45 => wckTime=153.117 cpuTime=151.91 mem=84M350
161.59
161.59 preprocessing
161.59 nbConstraintChecks=231768285 nbPropagations=27536 nbRevisions=137195 nbUselessRevisions=81160
161.59 nbSingletonTests=800 nbEffectiveSingletonTests=18 nbESACBranches=109 nbRemovedValues=14209
161.59 detectedInconsistency=no
161.59 => wckTime=8.14 cpuTime=8.09 mem=84M350
168.19
168.19 search
168.19 run=0 nbConstraintChecks=142925989 nbPropagations=39822 nbRevisions=267255 nbUselessRevisions=153618
168.19 nbAssignments=966 nbFailedAssignments=938 nbBacktracks=15 nbVisitedNodes=1916 nbRestartNogoods=0 mapSize=11
168.19 nbInferences=0 nbTooLargeKeys=0
168.19 => wckTime=14.735 cpuTime=14.65 mem=85M349
188.44
188.44 search
188.44 run=1 nbConstraintChecks=559729994 nbPropagations=154536 nbRevisions=977980 nbUselessRevisions=565446
188.44 nbAssignments=3381 nbFailedAssignments=1619 nbBacktracks=30 nbVisitedNodes=3312 nbRestartNogoods=221
188.44 mapSize=26 nbInferences=0 nbTooLargeKeys=0
188.44 => wckTime=34.989 cpuTime=34.88 mem=85M349
198.73
198.73 search
198.73 run=2 nbConstraintChecks=757839904 nbPropagations=304117 nbRevisions=2080891 nbUselessRevisions=1224620
198.73 nbAssignments=4366 nbFailedAssignments=2573 nbBacktracks=52 nbVisitedNodes=5267 nbRestartNogoods=236
198.73 mapSize=44 nbInferences=0 nbTooLargeKeys=0
198.73 => wckTime=45.28 cpuTime=45.15 mem=86M315
233.09
233.09 search
233.09 run=3 nbConstraintChecks=1501361104 nbPropagations=597577 nbRevisions=4297309 nbUselessRevisions=2597633
233.09 nbAssignments=8390 nbFailedAssignments=4587 nbBacktracks=85 nbVisitedNodes=9369 nbRestartNogoods=431
233.09 mapSize=77 nbInferences=0 nbTooLargeKeys=0
233.09 => wckTime=79.637 cpuTime=79.47 mem=86M315
261.14
261.14 search
261.14 run=4 nbConstraintChecks=2122141980 nbPropagations=995651 nbRevisions=7524848 nbUselessRevisions=4599893
261.14 nbAssignments=11432 nbFailedAssignments=7139 nbBacktracks=135 nbVisitedNodes=14574 nbRestartNogoods=539
261.14 mapSize=127 nbInferences=0 nbTooLargeKeys=0
261.15 => wckTime=107.689 cpuTime=107.47 mem=87M281
274.26
274.26 search
274.26 run=5 nbConstraintChecks=2446725258 nbPropagations=1422888 nbRevisions=11021903 nbUselessRevisions=6747136
274.26 nbAssignments=12406 nbFailedAssignments=7839 nbBacktracks=210 nbVisitedNodes=16124 nbRestartNogoods=618
274.26 mapSize=202 nbInferences=0 nbTooLargeKeys=0
274.26 => wckTime=120.801 cpuTime=120.58 mem=88M247
288.16
288.16 search
288.16 run=6 nbConstraintChecks=2800439890 nbPropagations=1882682 nbRevisions=14842390 nbUselessRevisions=9067045
288.16 nbAssignments=13418 nbFailedAssignments=8734 nbBacktracks=323 nbVisitedNodes=18133 nbRestartNogoods=658
288.16 mapSize=312 nbInferences=0 nbTooLargeKeys=0
288.16 => wckTime=134.707 cpuTime=134.48 mem=90M180
304.62
304.62 search
304.62 run=7 nbConstraintChecks=3213243069 nbPropagations=2381233 nbRevisions=19043094 nbUselessRevisions=11592692
304.62 nbAssignments=14596 nbFailedAssignments=9738 nbBacktracks=493 nbVisitedNodes=20472 nbRestartNogoods=691
304.62 mapSize=479 nbInferences=0 nbTooLargeKeys=0
304.62 => wckTime=151.171 cpuTime=150.89 mem=92M112
556.64
556.64 search
556.64 run=8 nbConstraintChecks=8999347880 nbPropagations=3412582 nbRevisions=29791572 nbUselessRevisions=17873088
556.64 nbAssignments=30476 nbFailedAssignments=25359 nbBacktracks=749 nbVisitedNodes=52223 nbRestartNogoods=732
556.64 mapSize=734 nbInferences=0 nbTooLargeKeys=0
556.64 => wckTime=403.186 cpuTime=402.64 mem=95M977
597.60
597.60 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=99M841)
600.78
600.78 search
600.78 run=9 nbConstraintChecks=9718663857 nbPropagations=4656416 nbRevisions=42397715 nbUselessRevisions=25388409
600.78 nbAssignments=35386 nbFailedAssignments=29873 nbBacktracks=1133 nbVisitedNodes=61964 nbRestartNogoods=815
600.78 => wckTime=447.322 cpuTime=446.73 mem=99M841
853.96
853.96 search
853.96 run=10 nbConstraintChecks=15141231565 nbPropagations=6672626 nbRevisions=63929538 nbUselessRevisions=38664388
853.96 nbAssignments=60247 nbFailedAssignments=53631 nbBacktracks=1709 nbVisitedNodes=110581 nbRestartNogoods=934
853.96 => wckTime=700.507 cpuTime=699.65 mem=99M841
947.38
947.38 search
947.38 run=11 nbConstraintChecks=17085427686 nbPropagations=9038803 nbRevisions=88585174 nbUselessRevisions=53874629
947.38 nbAssignments=74042 nbFailedAssignments=65237 nbBacktracks=2573 nbVisitedNodes=135519 nbRestartNogoods=1168
947.38 => wckTime=793.927 cpuTime=792.98 mem=99M841
1214.53
1214.53 search
1214.53 run=12 nbConstraintChecks=21628168031 nbPropagations=12889759 nbRevisions=129045705 nbUselessRevisions=79776879
1214.53 nbAssignments=102511 nbFailedAssignments=92027 nbBacktracks=3870 nbVisitedNodes=191348 nbRestartNogoods=1445
1214.53 => wckTime=1061.075 cpuTime=1059.85 mem=99M841
1641.24
1641.24 search
1641.24 run=13 nbConstraintChecks=30687697915 nbPropagations=18255802 nbRevisions=187641397
1641.24 nbUselessRevisions=117232076 nbAssignments=155455 nbFailedAssignments=141731 nbBacktracks=5816
1641.24 nbVisitedNodes=294631 nbRestartNogoods=1587
1641.24 => wckTime=1487.787 cpuTime=1485.73 mem=99M841
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-237308-1168347366 -o ROOT/results/node47/solver-237308-1168347366 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237308-1168347366/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.00 2.00 1.94 4/81 12472
/proc/meminfo: memFree=1762560/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=11868 CPUtime=0
/proc/12471/stat : 12471 (java) D 12469 12471 11540 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 183135831 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/12471/statm: 2967 515 425 14 0 1602 0
[startup+0.103382 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 12472
/proc/meminfo: memFree=1762560/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=912588 CPUtime=0.07
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 2751 0 1 0 6 1 0 0 17 0 8 0 183135831 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.513012 s]
/proc/loadavg: 2.00 2.00 1.94 4/81 12472
/proc/meminfo: memFree=1762560/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915328 CPUtime=0.48
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 6977 0 1 0 43 5 0 0 18 0 8 0 183135831 937295872 6716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228832 6716 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34651 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 12479
/proc/meminfo: memFree=1735368/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1.31
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 9152 0 1 0 124 7 0 0 25 0 8 0 183135831 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228862 8890 2167 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 183135836 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183135837 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183135837 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.16
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 358 0 0 0 15 1 0 0 16 0 8 0 183135840 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.99969 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 12479
/proc/meminfo: memFree=1734024/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=2.95
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 9671 0 1 0 288 7 0 0 25 0 8 0 183135831 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228862 9409 2167 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 183135836 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183135837 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183135837 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.16
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 358 0 0 0 15 1 0 0 16 0 8 0 183135840 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 9409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915448
[startup+6.28004 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 12479
/proc/meminfo: memFree=1729352/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=6.2
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 10828 0 1 0 612 8 0 0 25 0 8 0 183135831 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228862 10566 2167 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 183135836 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183135837 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183135837 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.16
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 360 0 0 0 15 1 0 0 17 0 8 0 183135840 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 10566 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915448
[startup+12.7717 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 12479
/proc/meminfo: memFree=1721224/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=12.62
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 12756 0 1 0 1254 8 0 0 25 0 8 0 183135831 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12471/statm: 228862 12494 2167 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 183135836 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 183135837 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 183135837 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.16
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 361 0 0 0 15 1 0 0 16 0 8 0 183135840 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 12494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915448
[startup+25.6221 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 12552
/proc/meminfo: memFree=1728128/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=25.4
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 20732 0 1 0 2528 12 0 0 25 0 8 0 183135831 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 20469 2178 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.09
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 4186 0 0 0 8 1 0 0 18 0 8 0 183135836 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.16
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 363 0 0 0 15 1 0 0 17 0 8 0 183135840 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 20469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915448
[startup+51.2328 s]
/proc/loadavg: 2.00 2.00 1.94 3/80 12552
/proc/meminfo: memFree=1605952/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=51
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 20743 0 1 0 5087 13 0 0 25 0 8 0 183135831 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752352 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 20478 2179 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.09
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 4186 0 0 0 8 1 0 0 16 0 8 0 183135836 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.17
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 371 0 0 0 16 1 0 0 17 0 8 0 183135840 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 20478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915448
[startup+102.452 s]
/proc/loadavg: 2.04 2.01 1.94 3/80 12552
/proc/meminfo: memFree=1316288/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=102.17
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 29761 0 1 0 10201 16 0 0 25 0 8 0 183135831 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 29493 2179 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.38
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 13196 0 0 0 35 3 0 0 16 0 8 0 183135836 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.18
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 376 0 0 0 17 1 0 0 17 0 8 0 183135840 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 29493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 915448
[startup+162.51 s]
/proc/loadavg: 2.01 2.01 1.94 3/80 12552
/proc/meminfo: memFree=1002176/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=162.16
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35811 0 1 0 16192 24 0 0 25 0 8 0 183135831 937418752 35538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957106 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 915448
[startup+1483.47 s]
/proc/loadavg: 2.00 2.00 1.97 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1481.77
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 148127 50 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 915448
[startup+1543.48 s]
/proc/loadavg: 2.09 2.03 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1541.72
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 154122 50 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 915448
[startup+1603.51 s]
/proc/loadavg: 2.03 2.02 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1601.42
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 160092 50 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073956977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.42
Current children cumulated vsize (KiB) 915448
[startup+1663.59 s]
/proc/loadavg: 2.01 2.02 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1661.19
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 166068 51 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.19
Current children cumulated vsize (KiB) 915448
[startup+1723.68 s]
/proc/loadavg: 2.05 2.03 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1720.95
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 172044 51 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954982 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.95
Current children cumulated vsize (KiB) 915448
[startup+1783.75 s]
/proc/loadavg: 2.02 2.02 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1780.69
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 178018 51 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.69
Current children cumulated vsize (KiB) 915448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.19 s]
/proc/loadavg: 2.01 2.02 1.98 3/81 13448
/proc/meminfo: memFree=1654336/2055920 swapFree=4183980/4192956
[pid=12471] ppid=12469 vsize=915448 CPUtime=1800.03
/proc/12471/stat : 12471 (java) R 12469 12471 11540 0 -1 0 35850 0 1 0 179952 51 0 0 25 0 8 0 183135831 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12471/statm: 228862 35565 2546 14 0 215332 0
[pid=12471/tid=12473] ppid=12469 vsize=915448 CPUtime=0.71
/proc/12471/task/12473/stat : 12473 (java) S 12469 12471 11540 0 -1 64 18756 0 0 0 65 6 0 0 16 0 8 0 183135836 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12474] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12474/stat : 12474 (java) S 12469 12471 11540 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12475] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12475/stat : 12475 (java) S 12469 12471 11540 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183135837 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12476] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12476/stat : 12476 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12477] ppid=12469 vsize=915448 CPUtime=0.33
/proc/12471/task/12477/stat : 12477 (java) S 12469 12471 11540 0 -1 64 451 0 0 0 31 2 0 0 16 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12471/tid=12478] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12478/stat : 12478 (java) S 12469 12471 11540 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12471/tid=12479] ppid=12469 vsize=915448 CPUtime=0
/proc/12471/task/12479/stat : 12479 (java) S 12469 12471 11540 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 183135840 937418752 35565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.23
CPU time (s): 1800.07
CPU user time (s): 1799.53
CPU system time (s): 0.539917
CPU usage (%): 99.8251
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.539917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35866
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= 37948
involuntary context switches= 15264
runsolver used 2.27465 s user time and 5.71213 s system time
The end
Begin job on node47 on Tue Jan 9 12:56:06 UTC 2007
IDJOB= 237308
IDBENCH= 6913
FILE ID= node47/237308-1168347366
PBS_JOBID= 3503509
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/os-gp/gp10-01-1093.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237308-1168347366/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-237308-1168347366 -o ROOT/results/node47/solver-237308-1168347366 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237308-1168347366/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0da9d135f457ed0a2622be4bd1d9f01f
RANDOM SEED= 518435792
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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1763040 kB
Buffers: 33088 kB
Cached: 137404 kB
SwapCached: 3452 kB
Active: 122224 kB
Inactive: 111616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1763040 kB
SwapTotal: 4192956 kB
SwapFree: 4183980 kB
Dirty: 1776 kB
Writeback: 0 kB
Mapped: 77428 kB
Slab: 44224 kB
Committed_AS: 4843112 kB
PageTables: 2036 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= 66546 MiB
End job on node47 on Tue Jan 9 13:26:09 UTC 2007