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/206553-1168174631/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.103 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
1.61
1.61 constraints being loaded...
2.40 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.40 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.40 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.40 => wckTime=2.075 cpuTime=1.65 mem=56M118
2.56
2.56 solver IterativeSystematicSolver being built...
2.74 => wckTime=2.419 cpuTime=1.8 mem=64M908
2.89
2.89 preprocessing
2.89 nbConstraintChecks=50651 nbValidityChecks=81633 nbPropagations=263 nbRevisions=2675 nbUselessRevisions=2331
2.89 nbSingletonTests=37 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.89 => wckTime=0.147 cpuTime=0.12 mem=64M908
2.99
2.99 search
2.99 run=0 nbConstraintChecks=43632 nbValidityChecks=81725 nbPropagations=664 nbRevisions=6970
2.99 nbUselessRevisions=5616 nbAssignments=29 nbFailedAssignments=11 nbBacktracks=12 nbVisitedNodes=50
2.99 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=0.244 cpuTime=0.21 mem=64M908
3.10
3.10 search
3.10 run=1 nbConstraintChecks=96456 nbValidityChecks=176274 nbPropagations=1784 nbRevisions=19507
3.10 nbUselessRevisions=15643 nbAssignments=64 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=107
3.10 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
3.10 => wckTime=0.353 cpuTime=0.31 mem=64M908
3.28
3.28 search
3.28 run=2 nbConstraintChecks=195207 nbValidityChecks=357058 nbPropagations=3624 nbRevisions=41565
3.28 nbUselessRevisions=33401 nbAssignments=121 nbFailedAssignments=53 nbBacktracks=50 nbVisitedNodes=210
3.28 nbRestartNogoods=3 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.28 => wckTime=0.537 cpuTime=0.48 mem=64M908
3.45
3.45 search
3.45 run=3 nbConstraintChecks=289109 nbValidityChecks=531364 nbPropagations=6258 nbRevisions=73131
3.45 nbUselessRevisions=58827 nbAssignments=197 nbFailedAssignments=86 nbBacktracks=84 nbVisitedNodes=337
3.45 nbRestartNogoods=6 mapSize=69 nbInferences=0 nbTooLargeKeys=0
3.45 => wckTime=0.701 cpuTime=0.64 mem=64M908
3.76
3.76 search
3.76 run=4 nbConstraintChecks=467635 nbValidityChecks=893810 nbPropagations=10436 nbRevisions=122823
3.76 nbUselessRevisions=99201 nbAssignments=355 nbFailedAssignments=121 nbBacktracks=137 nbVisitedNodes=488
3.76 nbRestartNogoods=18 mapSize=105 nbInferences=0 nbTooLargeKeys=0
3.76 => wckTime=1.01 cpuTime=0.95 mem=64M908
4.21
4.21 search
4.21 run=5 nbConstraintChecks=739849 nbValidityChecks=1374634 nbPropagations=16655 nbRevisions=198320
4.21 nbUselessRevisions=160148 nbAssignments=522 nbFailedAssignments=206 nbBacktracks=212 nbVisitedNodes=778
4.21 nbRestartNogoods=22 mapSize=161 nbInferences=0 nbTooLargeKeys=0
4.21 => wckTime=1.465 cpuTime=1.39 mem=65M914
5.00
5.00 search
5.00 run=6 nbConstraintChecks=1214326 nbValidityChecks=2226435 nbPropagations=26221 nbRevisions=314896
5.00 nbUselessRevisions=253725 nbAssignments=784 nbFailedAssignments=336 nbBacktracks=327 nbVisitedNodes=1227
5.00 nbRestartNogoods=33 mapSize=254 nbInferences=0 nbTooLargeKeys=0
5.00 => wckTime=2.258 cpuTime=2.18 mem=65M914
5.78
5.78 search
5.78 run=7 nbConstraintChecks=1695411 nbValidityChecks=3078609 nbPropagations=40096 nbRevisions=483983
5.78 nbUselessRevisions=388924 nbAssignments=1119 nbFailedAssignments=493 nbBacktracks=498 nbVisitedNodes=1818
5.78 nbRestartNogoods=37 mapSize=396 nbInferences=0 nbTooLargeKeys=0
5.78 => wckTime=3.031 cpuTime=2.94 mem=65M914
7.52
7.52 search
7.52 run=8 nbConstraintChecks=2710652 nbValidityChecks=5070850 nbPropagations=62893 nbRevisions=772119
7.52 nbUselessRevisions=619187 nbAssignments=1768 nbFailedAssignments=878 nbBacktracks=755 nbVisitedNodes=3034
7.52 nbRestartNogoods=47 mapSize=636 nbInferences=0 nbTooLargeKeys=0
7.52 => wckTime=4.772 cpuTime=4.64 mem=65M914
9.55
9.55 search
9.55 run=9 nbConstraintChecks=3900421 nbValidityChecks=7433155 nbPropagations=98351 nbRevisions=1200640
9.55 nbUselessRevisions=959006 nbAssignments=2694 nbFailedAssignments=1412 nbBacktracks=1141 nbVisitedNodes=4737
9.55 nbRestartNogoods=53 mapSize=971 nbInferences=0 nbTooLargeKeys=0
9.55 => wckTime=6.802 cpuTime=6.64 mem=65M914
9.87
9.87 INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=65M914)
11.92
11.92 search
11.92 run=10 nbConstraintChecks=5346014 nbValidityChecks=10049712 nbPropagations=147346 nbRevisions=1791756
11.92 nbUselessRevisions=1428249 nbAssignments=3729 nbFailedAssignments=1839 nbBacktracks=1719 nbVisitedNodes=6469
11.92 nbRestartNogoods=61
11.92 => wckTime=9.178 cpuTime=8.99 mem=65M914
15.60
15.60 search
15.60 run=11 nbConstraintChecks=7634299 nbValidityChecks=14141696 nbPropagations=216534 nbRevisions=2633293
15.60 nbUselessRevisions=2096037 nbAssignments=5304 nbFailedAssignments=2532 nbBacktracks=2586 nbVisitedNodes=9185
15.60 nbRestartNogoods=69
15.60 => wckTime=12.85 cpuTime=12.62 mem=65M914
24.45
24.46 search
24.46 run=12 nbConstraintChecks=13022449 nbValidityChecks=24307211 nbPropagations=330740 nbRevisions=4060175
24.46 nbUselessRevisions=3228250 nbAssignments=8459 nbFailedAssignments=4384 nbBacktracks=3883 nbVisitedNodes=15116
24.46 nbRestartNogoods=79
24.46 => wckTime=21.709 cpuTime=21.4 mem=65M914
35.11
35.11 search
35.11 run=13 nbConstraintChecks=19948268 nbValidityChecks=36899783 nbPropagations=497871 nbRevisions=6178763
35.11 nbUselessRevisions=4912710 nbAssignments=13154 nbFailedAssignments=7127 nbBacktracks=5830 nbVisitedNodes=23719
35.11 nbRestartNogoods=95
35.11 => wckTime=32.36 cpuTime=31.95 mem=65M914
51.41
51.41 search
51.41 run=14 nbConstraintChecks=29600371 nbValidityChecks=55841365 nbPropagations=760845 nbRevisions=9380939
51.41 nbUselessRevisions=7431594 nbAssignments=20549 nbFailedAssignments=11594 nbBacktracks=8749 nbVisitedNodes=37584
51.41 nbRestartNogoods=102
51.41 => wckTime=48.664 cpuTime=48.11 mem=65M914
71.21
71.21 search
71.21 run=15 nbConstraintChecks=41611370 nbValidityChecks=78297658 nbPropagations=1132834 nbRevisions=13933540
71.21 nbUselessRevisions=11015382 nbAssignments=29198 nbFailedAssignments=15811 nbBacktracks=13127
71.21 nbVisitedNodes=52788 nbRestartNogoods=123
71.21 => wckTime=68.464 cpuTime=67.73 mem=65M914
104.23
104.23 search
104.23 run=16 nbConstraintChecks=61952728 nbValidityChecks=114331876 nbPropagations=1665835 nbRevisions=20496282
104.23 nbUselessRevisions=16190899 nbAssignments=41655 nbFailedAssignments=21674 nbBacktracks=19696
104.23 nbVisitedNodes=74468 nbRestartNogoods=134
104.23 => wckTime=101.484 cpuTime=100.45 mem=65M914
175.16
175.16 search
175.16 run=17 nbConstraintChecks=105817561 nbValidityChecks=197024804 nbPropagations=2562229 nbRevisions=31711398
175.16 nbUselessRevisions=25065599 nbAssignments=67470 nbFailedAssignments=37629 nbBacktracks=29548
175.16 nbVisitedNodes=123476 nbRestartNogoods=139
175.16 => wckTime=172.414 cpuTime=170.73 mem=65M914
249.66
249.66 search
249.66 run=18 nbConstraintChecks=150672754 nbValidityChecks=279853624 nbPropagations=3873111 nbRevisions=47783992
249.66 nbUselessRevisions=37750002 nbAssignments=96254 nbFailedAssignments=51628 nbBacktracks=44327
249.66 nbVisitedNodes=174831 nbRestartNogoods=146
249.66 => wckTime=246.913 cpuTime=244.46 mem=65M914
348.34
348.34 search
348.34 run=19 nbConstraintChecks=212574206 nbValidityChecks=391394854 nbPropagations=5687978 nbRevisions=70266658
348.34 nbUselessRevisions=55514840 nbAssignments=138366 nbFailedAssignments=71563 nbBacktracks=66500
348.34 nbVisitedNodes=248313 nbRestartNogoods=176
348.34 => wckTime=345.59 cpuTime=342.03 mem=65M914
523.89
523.89 search
523.89 run=20 nbConstraintChecks=317517964 nbValidityChecks=597258442 nbPropagations=8484043 nbRevisions=104320330
523.89 nbUselessRevisions=82343423 nbAssignments=211554 nbFailedAssignments=111494 nbBacktracks=99754
523.89 nbVisitedNodes=381658 nbRestartNogoods=195
523.89 => wckTime=521.142 cpuTime=515.99 mem=65M914
809.95
809.95 search
809.95 run=21 nbConstraintChecks=501944678 nbValidityChecks=942342819 nbPropagations=12784392 nbRevisions=157440032
809.95 nbUselessRevisions=124261510 nbAssignments=341072 nbFailedAssignments=191126 nbBacktracks=149632
809.95 nbVisitedNodes=621146 nbRestartNogoods=209
809.95 => wckTime=807.205 cpuTime=799.45 mem=65M914
1197.08
1197.08 search
1197.08 run=22 nbConstraintChecks=734421362 nbValidityChecks=1386960534 nbPropagations=19357609 nbRevisions=236073612
1197.08 nbUselessRevisions=185911544 nbAssignments=511406 nbFailedAssignments=286613 nbBacktracks=224452
1197.08 nbVisitedNodes=934643 nbRestartNogoods=243
1197.08 => wckTime=1194.337 cpuTime=1183.05 mem=65M914
1715.12
1715.12 search
1715.12 run=23 nbConstraintChecks=1079502147 nbValidityChecks=2013795165 nbPropagations=28735458 nbRevisions=350452902
1715.12 nbUselessRevisions=275887958 nbAssignments=736070 nbFailedAssignments=399033 nbBacktracks=336679
1715.12 nbVisitedNodes=1332425 nbRestartNogoods=261
1715.12 => wckTime=1712.371 cpuTime=1698.05 mem=65M914
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-206553-1168174631 -o ROOT/results/node5/solver-206553-1168174631 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206553-1168174631/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.06 2.03 2.00 4/87 10178
/proc/meminfo: memFree=1302312/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=9748 CPUtime=0
/proc/10177/stat : 10177 (java) D 10175 10177 9580 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 146077605 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10177/statm: 2487 472 386 14 0 1142 0
[startup+0.103404 s]
/proc/loadavg: 2.06 2.03 2.00 4/87 10178
/proc/meminfo: memFree=1302312/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=914988 CPUtime=0.09
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 2964 0 1 0 8 1 0 0 17 0 8 0 146077605 936947712 2710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228747 2710 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51145 s]
/proc/loadavg: 2.06 2.03 2.00 4/87 10178
/proc/meminfo: memFree=1302312/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915328 CPUtime=0.5
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 7272 0 1 0 45 5 0 0 18 0 8 0 146077605 937295872 7011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228832 7011 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33554 s]
/proc/loadavg: 2.06 2.03 2.00 4/94 10185
/proc/meminfo: memFree=1235120/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915328 CPUtime=1.3
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 19098 0 1 0 119 11 0 0 24 0 8 0 146077605 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228832 18836 2149 14 0 215302 0
[pid=10177/tid=10179] ppid=10175 vsize=915328 CPUtime=0.06
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 146077609 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915328 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915328 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915328 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915328 CPUtime=0.08
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 146077613 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915328 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915328 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937295872 18836 18446744073709551615 134512640 134570532 4294956464 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) 915328
[startup+2.98773 s]
/proc/loadavg: 2.06 2.03 2.00 4/94 10185
/proc/meminfo: memFree=1200624/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=2.95
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32311 0 1 0 277 18 0 0 25 0 8 0 146077605 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32046 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 17 0 8 0 146077609 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.2
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 372 0 0 0 20 0 0 0 16 0 8 0 146077613 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32046 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32046 18446744073709551615 134512640 134570532 4294956464 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) 915440
[startup+6.26711 s]
/proc/loadavg: 2.05 2.03 2.00 3/94 10185
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=6.19
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32325 0 1 0 601 18 0 0 25 0 8 0 146077605 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32058 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 17 0 8 0 146077609 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.23
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 384 0 0 0 23 0 0 0 15 0 8 0 146077613 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7678 s]
/proc/loadavg: 2.05 2.03 2.00 4/94 10185
/proc/meminfo: memFree=1183280/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=12.64
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32344 0 1 0 1245 19 0 0 25 0 8 0 146077605 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32072 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 401 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915440
[startup+25.6313 s]
/proc/loadavg: 2.04 2.03 2.00 3/94 10185
/proc/meminfo: memFree=1183152/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=25.38
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32346 0 1 0 2519 19 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915440
[startup+51.2752 s]
/proc/loadavg: 2.02 2.03 2.00 3/94 10185
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=50.79
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32346 0 1 0 5060 19 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 915440
[startup+102.554 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 10185
/proc/meminfo: memFree=1179568/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=101.6
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32346 0 1 0 10141 19 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915440
[startup+162.583 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 10185
/proc/meminfo: memFree=1175088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=161.08
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32347 0 1 0 16088 20 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.89
Current children cumulated vsize (KiB) 915440
[startup+1483.38 s]
/proc/loadavg: 2.01 2.03 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1470.58
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32347 0 1 0 147025 33 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659977 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.58
Current children cumulated vsize (KiB) 915440
[startup+1543.4 s]
/proc/loadavg: 2.00 2.03 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1530.29
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32347 0 1 0 152996 33 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.29
Current children cumulated vsize (KiB) 915440
[startup+1603.43 s]
/proc/loadavg: 2.04 2.03 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1589.99
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32347 0 1 0 158965 34 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.99
Current children cumulated vsize (KiB) 915440
[startup+1663.46 s]
/proc/loadavg: 2.01 2.02 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1649.49
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32347 0 1 0 164915 34 0 0 25 0 8 0 146077605 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32074 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.27
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.49
Current children cumulated vsize (KiB) 915440
[startup+1723.48 s]
/proc/loadavg: 2.00 2.02 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1709.19
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32348 0 1 0 170884 35 0 0 25 0 8 0 146077605 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32075 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.28
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.19
Current children cumulated vsize (KiB) 915440
[startup+1783.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1768.87
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32348 0 1 0 176852 35 0 0 25 0 8 0 146077605 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32075 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.28
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.87
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/102 10460
/proc/meminfo: memFree=799088/2055920 swapFree=4192812/4192956
[pid=10177] ppid=10175 vsize=915440 CPUtime=1800.02
/proc/10177/stat : 10177 (java) R 10175 10177 9580 0 -1 0 32348 0 1 0 179967 35 0 0 25 0 8 0 146077605 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10177/statm: 228860 32075 2531 14 0 215330 0
[pid=10177/tid=10179] ppid=10175 vsize=915440 CPUtime=0.47
/proc/10177/task/10179/stat : 10179 (java) S 10175 10177 9580 0 -1 64 15323 0 0 0 41 6 0 0 16 0 8 0 146077609 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10180] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10180/stat : 10180 (java) S 10175 10177 9580 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10181] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10181/stat : 10181 (java) S 10175 10177 9580 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 146077610 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10182] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10182/stat : 10182 (java) S 10175 10177 9580 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10183] ppid=10175 vsize=915440 CPUtime=0.28
/proc/10177/task/10183/stat : 10183 (java) S 10175 10177 9580 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10177/tid=10184] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10184/stat : 10184 (java) S 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10177/tid=10185] ppid=10175 vsize=915440 CPUtime=0
/proc/10177/task/10185/stat : 10185 (java) R 10175 10177 9580 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 146077613 937410560 32075 18446744073709551615 134512640 134570532 4294956464 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) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.88
CPU time (s): 1800.1
CPU user time (s): 1799.72
CPU system time (s): 0.374943
CPU usage (%): 99.1851
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.374943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32366
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= 37872
involuntary context switches= 63706
runsolver used 2.21966 s user time and 5.9001 s system time
The end
Begin job on node5 on Sun Jan 7 12:57:12 UTC 2007
IDJOB= 206553
IDBENCH= 4217
FILE ID= node5/206553-1168174631
PBS_JOBID= 3478837
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206553-1168174631/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-206553-1168174631 -o ROOT/results/node5/solver-206553-1168174631 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206553-1168174631/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 998ebf0c4ba1d435a88a53dc397ba23c
RANDOM SEED= 3202200
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: 1302792 kB
Buffers: 77180 kB
Cached: 424864 kB
SwapCached: 0 kB
Active: 412744 kB
Inactive: 276576 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1302792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7576 kB
Writeback: 0 kB
Mapped: 207316 kB
Slab: 48472 kB
Committed_AS: 3818612 kB
PageTables: 2508 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= 66337 MiB
End job on node5 on Sun Jan 7 13:27:27 UTC 2007