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/194870-1168107407/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.104 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.73 nbConstraints=475 nbRelationTypes=475 nbExtensionStructures=475 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=475 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2512 maxDegree=27
0.73 maxArity=2
0.73 => wckTime=0.399 cpuTime=0.3 mem=17M711
0.77
0.77 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.608 cpuTime=0.43 mem=15M597
1.00
1.00 preprocessing
1.00 nbConstraintChecks=109286 nbPropagations=1174 nbRevisions=10040 nbUselessRevisions=8650 nbSingletonTests=61
1.00 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.00 => wckTime=0.058 cpuTime=0.03 mem=15M597
1.03
1.03 search
1.03 run=0 nbConstraintChecks=45176 nbPropagations=1746 nbRevisions=17058 nbUselessRevisions=14556 nbAssignments=32
1.03 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.089 cpuTime=0.06 mem=15M597
1.05
1.05 search
1.05 run=1 nbConstraintChecks=117920 nbPropagations=4350 nbRevisions=45987 nbUselessRevisions=38839
1.05 nbAssignments=69 nbFailedAssignments=18 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=3 mapSize=20
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.114 cpuTime=0.07 mem=15M597
1.07
1.07 search
1.07 run=2 nbConstraintChecks=198724 nbPropagations=7922 nbRevisions=88501 nbUselessRevisions=74275
1.07 nbAssignments=120 nbFailedAssignments=35 nbBacktracks=50 nbVisitedNodes=182 nbRestartNogoods=5 mapSize=40
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.13 cpuTime=0.09 mem=15M597
1.09
1.09 search
1.09 run=3 nbConstraintChecks=297655 nbPropagations=12859 nbRevisions=150535 nbUselessRevisions=125957
1.09 nbAssignments=194 nbFailedAssignments=62 nbBacktracks=83 nbVisitedNodes=305 nbRestartNogoods=8 mapSize=69
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.153 cpuTime=0.11 mem=15M597
1.13
1.14 search
1.14 run=4 nbConstraintChecks=491378 nbPropagations=19983 nbRevisions=243369 nbUselessRevisions=203385
1.14 nbAssignments=308 nbFailedAssignments=97 nbBacktracks=134 nbVisitedNodes=462 nbRestartNogoods=14 mapSize=110
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.194 cpuTime=0.14 mem=15M597
1.17
1.17 search
1.17 run=5 nbConstraintChecks=678021 nbPropagations=29381 nbRevisions=370163 nbUselessRevisions=308855
1.17 nbAssignments=441 nbFailedAssignments=140 nbBacktracks=214 nbVisitedNodes=678 nbRestartNogoods=19 mapSize=171
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.234 cpuTime=0.18 mem=15M597
1.23
1.23 search
1.23 run=6 nbConstraintChecks=960813 nbPropagations=42321 nbRevisions=550224 nbUselessRevisions=458470
1.23 nbAssignments=640 nbFailedAssignments=213 nbBacktracks=328 nbVisitedNodes=1005 nbRestartNogoods=22 mapSize=264
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.287 cpuTime=0.23 mem=15M597
1.31
1.31 search
1.31 run=7 nbConstraintChecks=1404688 nbPropagations=60536 nbRevisions=813391 nbUselessRevisions=676741
1.31 nbAssignments=925 nbFailedAssignments=319 nbBacktracks=499 nbVisitedNodes=1479 nbRestartNogoods=24 mapSize=401
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.368 cpuTime=0.31 mem=15M597
1.43
1.43 search
1.43 run=8 nbConstraintChecks=2027555 nbPropagations=86623 nbRevisions=1197250 nbUselessRevisions=994460
1.43 nbAssignments=1354 nbFailedAssignments=479 nbBacktracks=756 nbVisitedNodes=2208 nbRestartNogoods=27
1.43 mapSize=614 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.488 cpuTime=0.42 mem=15M597
1.60
1.60 search
1.60 run=9 nbConstraintChecks=2966476 nbPropagations=124021 nbRevisions=1753673 nbUselessRevisions=1453974
1.60 nbAssignments=1952 nbFailedAssignments=683 nbBacktracks=1142 nbVisitedNodes=3200 nbRestartNogoods=33
1.60 mapSize=922 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.662 cpuTime=0.58 mem=15M597
1.66
1.66 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=15M597)
1.83
1.83 search
1.83 run=10 nbConstraintChecks=4373148 nbPropagations=177987 nbRevisions=2564176 nbUselessRevisions=2122420
1.84 nbAssignments=2859 nbFailedAssignments=1004 nbBacktracks=1719 nbVisitedNodes=4691 nbRestartNogoods=37
1.84 => wckTime=0.896 cpuTime=0.81 mem=15M597
2.18
2.18 search
2.18 run=11 nbConstraintChecks=6578401 nbPropagations=258859 nbRevisions=3797668 nbUselessRevisions=3140975
2.18 nbAssignments=4289 nbFailedAssignments=1556 nbBacktracks=2583 nbVisitedNodes=7122 nbRestartNogoods=43
2.18 => wckTime=1.243 cpuTime=1.16 mem=15M597
2.69
2.69 search
2.69 run=12 nbConstraintChecks=9668170 nbPropagations=378986 nbRevisions=5650635 nbUselessRevisions=4672487
2.69 nbAssignments=6403 nbFailedAssignments=2361 nbBacktracks=3882 nbVisitedNodes=10720 nbRestartNogoods=52
2.69 => wckTime=1.747 cpuTime=1.66 mem=15M597
3.47
3.47 search
3.47 run=13 nbConstraintChecks=14878355 nbPropagations=557597 nbRevisions=8420341 nbUselessRevisions=6954014
3.47 nbAssignments=9532 nbFailedAssignments=3512 nbBacktracks=5829 nbVisitedNodes=15948 nbRestartNogoods=60
3.47 => wckTime=2.527 cpuTime=2.43 mem=15M597
4.60
4.60 search
4.60 run=14 nbConstraintChecks=22073397 nbPropagations=826172 nbRevisions=12590179 nbUselessRevisions=10394934
4.60 nbAssignments=14270 nbFailedAssignments=5318 nbBacktracks=8749 nbVisitedNodes=24028 nbRestartNogoods=65
4.60 => wckTime=3.659 cpuTime=3.56 mem=15M597
6.29
6.29 search
6.29 run=15 nbConstraintChecks=33045800 nbPropagations=1224197 nbRevisions=18833126 nbUselessRevisions=15547367
6.29 nbAssignments=21270 nbFailedAssignments=7931 nbBacktracks=13127 nbVisitedNodes=35904 nbRestartNogoods=74
6.30 => wckTime=5.356 cpuTime=5.24 mem=16M572
8.72
8.72 search
8.72 run=16 nbConstraintChecks=48654000 nbPropagations=1808640 nbRevisions=28002144 nbUselessRevisions=23113267
8.72 nbAssignments=31475 nbFailedAssignments=11556 nbBacktracks=19697 nbVisitedNodes=53078 nbRestartNogoods=84
8.72 => wckTime=7.78 cpuTime=7.66 mem=16M572
12.61
12.61 search
12.61 run=17 nbConstraintChecks=73667891 nbPropagations=2688385 nbRevisions=41874276 nbUselessRevisions=34562274
12.61 nbAssignments=47089 nbFailedAssignments=17307 nbBacktracks=29549 nbVisitedNodes=79419 nbRestartNogoods=92
12.61 => wckTime=11.666 cpuTime=11.52 mem=16M572
18.04
18.04 search
18.04 run=18 nbConstraintChecks=107492822 nbPropagations=3996567 nbRevisions=62451560 nbUselessRevisions=51569890
18.04 nbAssignments=70005 nbFailedAssignments=25436 nbBacktracks=44327 nbVisitedNodes=118006 nbRestartNogoods=107
18.04 => wckTime=17.097 cpuTime=16.93 mem=16M572
26.64
26.64 search
26.64 run=19 nbConstraintChecks=167315088 nbPropagations=5992161 nbRevisions=93983789 nbUselessRevisions=77604687
26.64 nbAssignments=105579 nbFailedAssignments=38833 nbBacktracks=66495 nbVisitedNodes=178721 nbRestartNogoods=117
26.64 => wckTime=25.703 cpuTime=25.51 mem=16M572
38.08
38.08 search
38.08 run=20 nbConstraintChecks=244760715 nbPropagations=8965725 nbRevisions=140924782 nbUselessRevisions=116413114
38.08 nbAssignments=158009 nbFailedAssignments=57999 nbBacktracks=99750 nbVisitedNodes=267635 nbRestartNogoods=133
38.08 => wckTime=37.145 cpuTime=36.94 mem=16M572
55.74
55.74 search
55.74 run=21 nbConstraintChecks=369106078 nbPropagations=13414832 nbRevisions=211165269 nbUselessRevisions=174442026
55.74 nbAssignments=235794 nbFailedAssignments=85895 nbBacktracks=149631 nbVisitedNodes=398613 nbRestartNogoods=149
55.74 => wckTime=54.8 cpuTime=54.56 mem=16M572
84.52
84.53 search
84.53 run=22 nbConstraintChecks=569396001 nbPropagations=20263578 nbRevisions=320120097 nbUselessRevisions=264560539
84.53 nbAssignments=359830 nbFailedAssignments=135103 nbBacktracks=224449 nbVisitedNodes=613799 nbRestartNogoods=164
84.53 => wckTime=83.585 cpuTime=83.32 mem=16M572
123.86
123.86 search
123.86 run=23 nbConstraintChecks=844558369 nbPropagations=30417339 nbRevisions=481109220 nbUselessRevisions=397657070
123.86 nbAssignments=535889 nbFailedAssignments=198925 nbBacktracks=336678 nbVisitedNodes=911220 nbRestartNogoods=181
123.86 => wckTime=122.924 cpuTime=122.61 mem=16M572
184.43
184.43 search
184.43 run=24 nbConstraintChecks=1266154173 nbPropagations=45621944 nbRevisions=723228017 nbUselessRevisions=598034820
184.43 nbAssignments=803394 nbFailedAssignments=298077 nbBacktracks=505022 nbVisitedNodes=1365591 nbRestartNogoods=193
184.43 => wckTime=183.494 cpuTime=183.1 mem=16M572
273.92
273.92 search
273.92 run=25 nbConstraintChecks=1885924478 nbPropagations=68406176 nbRevisions=1085285704
273.92 nbUselessRevisions=897695775 nbAssignments=1206749 nbFailedAssignments=448911 nbBacktracks=757535
273.92 nbVisitedNodes=2052189 nbRestartNogoods=213
273.92 => wckTime=272.98 cpuTime=272.48 mem=16M572
405.80
405.80 search
405.80 run=26 nbConstraintChecks=2796294271 nbPropagations=102287672 nbRevisions=1623625598
405.80 nbUselessRevisions=1343383413 nbAssignments=1801410 nbFailedAssignments=664795 nbBacktracks=1136302
405.80 nbVisitedNodes=3054689 nbRestartNogoods=222
405.80 => wckTime=404.861 cpuTime=404.22 mem=16M572
613.94
613.94 search
613.94 run=27 nbConstraintChecks=4268733315 nbPropagations=153434456 nbRevisions=2438984895
613.94 nbUselessRevisions=2018299606 nbAssignments=2707100 nbFailedAssignments=1002322 nbBacktracks=1704453
613.94 nbVisitedNodes=4594928 nbRestartNogoods=238
613.94 => wckTime=612.999 cpuTime=612.14 mem=16M572
911.04
911.04 search
911.04 run=28 nbConstraintChecks=6301436960 nbPropagations=229729740 nbRevisions=3654038132
911.04 nbUselessRevisions=3024908736 nbAssignments=4046888 nbFailedAssignments=1489834 nbBacktracks=2556679
911.04 nbVisitedNodes=6865138 nbRestartNogoods=253
911.04 => wckTime=910.104 cpuTime=908.92 mem=16M572
1363.30
1363.30 search
1363.30 run=29 nbConstraintChecks=9458307863 nbPropagations=343990896 nbRevisions=5473357214
1363.30 nbUselessRevisions=4532112267 nbAssignments=6056644 nbFailedAssignments=2221237 nbBacktracks=3835022
1363.30 nbVisitedNodes=10268876 nbRestartNogoods=264
1363.30 => wckTime=1362.361 cpuTime=1360.66 mem=16M572
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-194870-1168107407 -o ROOT/results/node21/solver-194870-1168107407 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194870-1168107407/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 2.00 1.97 4/88 28585
/proc/meminfo: memFree=1850768/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=18540 CPUtime=0
/proc/28584/stat : 28584 (runsolver) D 28582 28584 27535 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 159135356 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/28584/statm: 4635 279 244 17 0 2626 0
[startup+0.108151 s]
/proc/loadavg: 1.93 2.00 1.97 4/88 28585
/proc/meminfo: memFree=1850768/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=912908 CPUtime=0.08
/proc/28584/stat : 28584 (java) S 28582 28584 27535 0 -1 0 2809 0 1 0 6 2 0 0 17 0 8 0 159135356 934817792 2555 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228227 2555 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908
[startup+0.517229 s]
/proc/loadavg: 1.93 2.00 1.97 4/88 28585
/proc/meminfo: memFree=1850768/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915328 CPUtime=0.48
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 6806 0 1 0 43 5 0 0 18 0 8 0 159135356 937295872 6545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228832 6545 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33838 s]
/proc/loadavg: 1.93 2.00 1.97 3/95 28592
/proc/meminfo: memFree=1822936/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1.3
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9665 0 1 0 123 7 0 0 24 0 8 0 159135356 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228865 9403 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.22
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 159135365 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97569 s]
/proc/loadavg: 1.93 2.00 1.97 3/95 28592
/proc/meminfo: memFree=1822808/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=2.93
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9682 0 1 0 286 7 0 0 25 0 8 0 159135356 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228865 9419 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 17 0 8 0 159135361 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.25
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 159135365 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27534 s]
/proc/loadavg: 1.93 2.00 1.97 3/95 28592
/proc/meminfo: memFree=1822744/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=6.21
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9685 0 1 0 614 7 0 0 25 0 8 0 159135356 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228865 9421 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.25
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7525 s]
/proc/loadavg: 1.94 2.00 1.97 3/95 28592
/proc/meminfo: memFree=1822744/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=12.65
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9685 0 1 0 1258 7 0 0 25 0 8 0 159135356 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822065 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28584/statm: 228865 9421 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.25
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915460
[startup+25.615 s]
/proc/loadavg: 1.87 1.98 1.96 2/88 28606
/proc/meminfo: memFree=1830160/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=25.47
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9685 0 1 0 2539 8 0 0 25 0 8 0 159135356 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846339 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9421 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.25
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2398 s]
/proc/loadavg: 1.91 1.98 1.96 3/94 28658
/proc/meminfo: memFree=1806112/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=51.05
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9685 0 1 0 5097 8 0 0 25 0 8 0 159135356 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9421 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.25
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 401 0 0 0 24 1 0 0 16 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915460
[startup+102.492 s]
/proc/loadavg: 1.96 1.98 1.96 3/94 28658
/proc/meminfo: memFree=1806176/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=102.25
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 10216 9 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915460
[startup+162.5 s]
/proc/loadavg: 1.98 1.98 1.96 3/94 28660
/proc/meminfo: memFree=1805984/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=162.2
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 16211 9 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.45
Current children cumulated vsize (KiB) 915460
[startup+1483.16 s]
/proc/loadavg: 2.02 2.01 1.98 3/96 28662
/proc/meminfo: memFree=1804688/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1481.39
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 148128 11 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.39
Current children cumulated vsize (KiB) 915460
[startup+1543.16 s]
/proc/loadavg: 2.10 2.04 1.99 3/96 28662
/proc/meminfo: memFree=1804688/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1541.32
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 154121 11 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.32
Current children cumulated vsize (KiB) 915460
[startup+1603.16 s]
/proc/loadavg: 2.03 2.03 1.99 3/96 28662
/proc/meminfo: memFree=1804560/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1601.25
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 160114 11 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 915460
[startup+1663.16 s]
/proc/loadavg: 2.09 2.04 2.00 3/96 28662
/proc/meminfo: memFree=1804496/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1661.2
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 166109 11 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.2
Current children cumulated vsize (KiB) 915460
[startup+1723.17 s]
/proc/loadavg: 2.03 2.03 2.00 3/96 28662
/proc/meminfo: memFree=1804432/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1721.13
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 172102 11 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822384 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.13
Current children cumulated vsize (KiB) 915460
[startup+1783.17 s]
/proc/loadavg: 2.06 2.04 2.00 3/96 28662
/proc/meminfo: memFree=1804432/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1781.08
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 178096 12 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) R 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.08
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.21 s]
/proc/loadavg: 2.04 2.03 2.00 3/96 28662
/proc/meminfo: memFree=1804368/2055920 swapFree=4156304/4192956
[pid=28584] ppid=28582 vsize=915460 CPUtime=1800.08
/proc/28584/stat : 28584 (java) R 28582 28584 27535 0 -1 0 9688 0 1 0 179996 12 0 0 25 0 8 0 159135356 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28584/statm: 228865 9423 2524 14 0 215335 0
[pid=28584/tid=28586] ppid=28582 vsize=915460 CPUtime=0.03
/proc/28584/task/28586/stat : 28586 (java) S 28582 28584 27535 0 -1 64 411 0 0 0 3 0 0 0 16 0 8 0 159135361 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28587] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28587/stat : 28587 (java) S 28582 28584 27535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28588] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28588/stat : 28588 (java) S 28582 28584 27535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159135362 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28589] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28589/stat : 28589 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28590] ppid=28582 vsize=915460 CPUtime=0.26
/proc/28584/task/28590/stat : 28590 (java) S 28582 28584 27535 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28584/tid=28591] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28591/stat : 28591 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28584/tid=28592] ppid=28582 vsize=915460 CPUtime=0
/proc/28584/task/28592/stat : 28592 (java) S 28582 28584 27535 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 159135365 937431040 9423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.24
CPU time (s): 1800.11
CPU user time (s): 1799.99
CPU system time (s): 0.12598
CPU usage (%): 99.8818
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9705
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= 37583
involuntary context switches= 16391
runsolver used 2.10168 s user time and 5.87811 s system time
The end
Begin job on node21 on Sat Jan 6 18:16:48 UTC 2007
IDJOB= 194870
IDBENCH= 3237
FILE ID= node21/194870-1168107407
PBS_JOBID= 3477224
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194870-1168107407/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-194870-1168107407 -o ROOT/results/node21/solver-194870-1168107407 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/194870-1168107407/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2d212ac6b3c423cd9a159278e276c36
RANDOM SEED= 775127096
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1851184 kB
Buffers: 40124 kB
Cached: 72628 kB
SwapCached: 2644 kB
Active: 85528 kB
Inactive: 63312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1851184 kB
SwapTotal: 4192956 kB
SwapFree: 4156304 kB
Dirty: 2072 kB
Writeback: 0 kB
Mapped: 45968 kB
Slab: 40692 kB
Committed_AS: 3070868 kB
PageTables: 2184 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= 66544 MiB
End job on node21 on Sat Jan 6 18:46:50 UTC 2007