0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/203500-1168160444/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=53 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.45 => wckTime=0.106 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.62
0.62 constraints being loaded...
0.77 nbConstraints=475 nbRelationTypes=475 nbExtensionStructures=475 nbSharedExtensionStructures=0
0.77 nbConflictsStructures=475 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1203 maxDegree=25
0.77 maxArity=2
0.77 => wckTime=0.425 cpuTime=0.34 mem=18M670
0.82
0.82 solver IterativeSystematicSolver being built...
0.99 => wckTime=0.643 cpuTime=0.47 mem=15M604
1.06
1.06 preprocessing
1.06 nbConstraintChecks=136110 nbPropagations=1361 nbRevisions=11832 nbUselessRevisions=9877 nbSingletonTests=64
1.06 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
1.06 => wckTime=0.064 cpuTime=0.05 mem=15M604
1.09
1.09 search
1.09 run=0 nbConstraintChecks=46722 nbPropagations=1864 nbRevisions=17827 nbUselessRevisions=14821 nbAssignments=30
1.09 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.09 nbTooLargeKeys=0
1.09 => wckTime=0.094 cpuTime=0.07 mem=15M604
1.12
1.12 search
1.12 run=1 nbConstraintChecks=161045 nbPropagations=4953 nbRevisions=49628 nbUselessRevisions=41477
1.12 nbAssignments=90 nbFailedAssignments=17 nbBacktracks=26 nbVisitedNodes=97 nbRestartNogoods=3 mapSize=20
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.122 cpuTime=0.09 mem=15M604
1.14
1.14 search
1.14 run=2 nbConstraintChecks=252223 nbPropagations=9045 nbRevisions=94743 nbUselessRevisions=78949
1.14 nbAssignments=139 nbFailedAssignments=32 nbBacktracks=48 nbVisitedNodes=173 nbRestartNogoods=6 mapSize=35
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.145 cpuTime=0.1 mem=15M604
1.16
1.16 search
1.16 run=3 nbConstraintChecks=362886 nbPropagations=14431 nbRevisions=158445 nbUselessRevisions=131629
1.16 nbAssignments=203 nbFailedAssignments=51 nbBacktracks=83 nbVisitedNodes=274 nbRestartNogoods=9 mapSize=58
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.168 cpuTime=0.12 mem=15M604
1.20
1.20 search
1.20 run=4 nbConstraintChecks=558158 nbPropagations=21897 nbRevisions=251715 nbUselessRevisions=208317
1.20 nbAssignments=305 nbFailedAssignments=87 nbBacktracks=137 nbVisitedNodes=440 nbRestartNogoods=13 mapSize=102
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.202 cpuTime=0.16 mem=15M604
1.24
1.24 search
1.24 run=5 nbConstraintChecks=787575 nbPropagations=32369 nbRevisions=385876 nbUselessRevisions=319181
1.24 nbAssignments=459 nbFailedAssignments=137 nbBacktracks=212 nbVisitedNodes=668 nbRestartNogoods=16 mapSize=168
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.25 cpuTime=0.2 mem=15M604
1.31
1.31 search
1.31 run=6 nbConstraintChecks=1222221 nbPropagations=47340 nbRevisions=588135 nbUselessRevisions=485886
1.31 nbAssignments=667 nbFailedAssignments=223 nbBacktracks=325 nbVisitedNodes=1024 nbRestartNogoods=18 mapSize=268
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.319 cpuTime=0.27 mem=15M604
1.40
1.40 search
1.40 run=7 nbConstraintChecks=1741250 nbPropagations=68263 nbRevisions=880518 nbUselessRevisions=726524
1.40 nbAssignments=973 nbFailedAssignments=347 nbBacktracks=495 nbVisitedNodes=1534 nbRestartNogoods=22 mapSize=402
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.409 cpuTime=0.37 mem=15M604
1.53
1.53 search
1.53 run=8 nbConstraintChecks=2477516 nbPropagations=97952 nbRevisions=1302350 nbUselessRevisions=1073416
1.53 nbAssignments=1402 nbFailedAssignments=508 nbBacktracks=754 nbVisitedNodes=2246 nbRestartNogoods=27
1.53 mapSize=610 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.54 cpuTime=0.49 mem=15M604
1.74
1.74 search
1.74 run=9 nbConstraintChecks=3671004 nbPropagations=140258 nbRevisions=1910008 nbUselessRevisions=1568665
1.74 nbAssignments=2012 nbFailedAssignments=723 nbBacktracks=1139 nbVisitedNodes=3268 nbRestartNogoods=31
1.74 mapSize=916 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.744 cpuTime=0.68 mem=16M579
1.80
1.80 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M579)
2.01
2.01 search
2.01 run=10 nbConstraintChecks=5310047 nbPropagations=202435 nbRevisions=2820316 nbUselessRevisions=2312577
2.01 nbAssignments=2999 nbFailedAssignments=1122 nbBacktracks=1715 nbVisitedNodes=4965 nbRestartNogoods=37
2.01 => wckTime=1.016 cpuTime=0.94 mem=16M579
2.44
2.44 search
2.44 run=11 nbConstraintChecks=8207646 nbPropagations=295432 nbRevisions=4201860 nbUselessRevisions=3438001
2.44 nbAssignments=4460 nbFailedAssignments=1710 nbBacktracks=2581 nbVisitedNodes=7498 nbRestartNogoods=46
2.44 => wckTime=1.442 cpuTime=1.35 mem=16M579
3.03
3.03 search
3.03 run=12 nbConstraintChecks=12248342 nbPropagations=433145 nbRevisions=6248449 nbUselessRevisions=5102312
3.03 nbAssignments=6610 nbFailedAssignments=2554 nbBacktracks=3878 nbVisitedNodes=11172 nbRestartNogoods=51
3.03 => wckTime=2.033 cpuTime=1.94 mem=16M579
3.86
3.86 search
3.86 run=13 nbConstraintChecks=17659205 nbPropagations=635271 nbRevisions=9246795 nbUselessRevisions=7539666
3.86 nbAssignments=9825 nbFailedAssignments=3813 nbBacktracks=5825 nbVisitedNodes=16678 nbRestartNogoods=58
3.86 => wckTime=2.865 cpuTime=2.77 mem=16M579
5.08
5.08 search
5.08 run=14 nbConstraintChecks=25972499 nbPropagations=928384 nbRevisions=13610841 nbUselessRevisions=11084993
5.08 nbAssignments=14314 nbFailedAssignments=5375 nbBacktracks=8744 nbVisitedNodes=24193 nbRestartNogoods=66
5.08 => wckTime=4.083 cpuTime=3.97 mem=16M579
6.91
6.91 search
6.91 run=15 nbConstraintChecks=37601561 nbPropagations=1364858 nbRevisions=20175588 nbUselessRevisions=16440226
6.91 nbAssignments=21437 nbFailedAssignments=8105 nbBacktracks=13123 nbVisitedNodes=36477 nbRestartNogoods=75
6.91 => wckTime=5.921 cpuTime=5.79 mem=16M579
9.82
9.82 search
9.82 run=16 nbConstraintChecks=56910302 nbPropagations=2022519 nbRevisions=30126631 nbUselessRevisions=24566745
9.82 nbAssignments=32197 nbFailedAssignments=12289 nbBacktracks=19691 nbVisitedNodes=55015 nbRestartNogoods=91
9.82 => wckTime=8.827 cpuTime=8.67 mem=16M579
14.05
14.05 search
14.05 run=17 nbConstraintChecks=85837591 nbPropagations=2999768 nbRevisions=44843450 nbUselessRevisions=36550266
14.05 nbAssignments=47803 nbFailedAssignments=18034 nbBacktracks=29543 nbVisitedNodes=81317 nbRestartNogoods=100
14.05 => wckTime=13.056 cpuTime=12.87 mem=16M579
20.92
20.92 search
20.92 run=18 nbConstraintChecks=132719995 nbPropagations=4492270 nbRevisions=67397933 nbUselessRevisions=54913393
20.92 nbAssignments=71826 nbFailedAssignments=27269 nbBacktracks=44321 nbVisitedNodes=122574 nbRestartNogoods=113
20.92 => wckTime=19.928 cpuTime=19.61 mem=16M579
31.78
31.78 search
31.78 run=19 nbConstraintChecks=207427570 nbPropagations=6786942 nbRevisions=102593530 nbUselessRevisions=83629420
31.78 nbAssignments=109729 nbFailedAssignments=42997 nbBacktracks=66490 nbVisitedNodes=188784 nbRestartNogoods=128
31.78 => wckTime=30.786 cpuTime=30.36 mem=16M579
46.48
46.48 search
46.48 run=20 nbConstraintChecks=307823997 nbPropagations=10193443 nbRevisions=154578921 nbUselessRevisions=125979175
46.48 nbAssignments=163705 nbFailedAssignments=63711 nbBacktracks=99743 nbVisitedNodes=281050 nbRestartNogoods=138
46.48 => wckTime=45.484 cpuTime=44.87 mem=16M579
67.27
67.27 search
67.27 run=21 nbConstraintChecks=448202486 nbPropagations=15194146 nbRevisions=230138516 nbUselessRevisions=187469435
67.27 nbAssignments=242679 nbFailedAssignments=92743 nbBacktracks=149623 nbVisitedNodes=414176 nbRestartNogoods=153
67.27 => wckTime=66.272 cpuTime=65.44 mem=16M579
101.16
101.16 search
101.16 run=22 nbConstraintChecks=682184449 nbPropagations=22720027 nbRevisions=344982526 nbUselessRevisions=281020768
101.16 nbAssignments=365693 nbFailedAssignments=140926 nbBacktracks=224441 nbVisitedNodes=625504 nbRestartNogoods=167
101.16 => wckTime=100.166 cpuTime=98.99 mem=16M579
151.38
151.38 search
151.38 run=23 nbConstraintChecks=1028258572 nbPropagations=34039612 nbRevisions=516846285 nbUselessRevisions=420802808
151.38 nbAssignments=547730 nbFailedAssignments=210683 nbBacktracks=336672 nbVisitedNodes=936231 nbRestartNogoods=183
151.38 => wckTime=150.391 cpuTime=148.76 mem=16M579
221.20
221.20 search
221.20 run=24 nbConstraintChecks=1490095618 nbPropagations=50777244 nbRevisions=769560032 nbUselessRevisions=626444711
221.20 nbAssignments=817297 nbFailedAssignments=311897 nbBacktracks=505016 nbVisitedNodes=1394210 nbRestartNogoods=191
221.20 => wckTime=220.202 cpuTime=217.98 mem=16M579
330.83
330.83 search
330.83 run=25 nbConstraintChecks=2273884457 nbPropagations=76138994 nbRevisions=1154882643
330.83 nbUselessRevisions=940229245 nbAssignments=1232296 nbFailedAssignments=474374 nbBacktracks=757530
330.83 nbVisitedNodes=2107754 nbRestartNogoods=205
330.83 => wckTime=329.838 cpuTime=327.05 mem=16M579
488.85
488.85 search
488.85 run=26 nbConstraintChecks=3489769604 nbPropagations=114615114 nbRevisions=1739185680
488.85 nbUselessRevisions=1415442556 nbAssignments=1850839 nbFailedAssignments=714138 nbBacktracks=1136299
488.85 nbVisitedNodes=3168855 nbRestartNogoods=219
488.85 => wckTime=487.857 cpuTime=484.93 mem=16M579
705.84
705.84 search
705.84 run=27 nbConstraintChecks=5049330517 nbPropagations=171706020 nbRevisions=2605004903
705.84 nbUselessRevisions=2120817021 nbAssignments=2765993 nbFailedAssignments=1061131 nbBacktracks=1704453
705.84 nbVisitedNodes=4732533 nbRestartNogoods=238
705.84 => wckTime=704.85 cpuTime=701.71 mem=16M579
1055.16
1055.16 search
1055.16 run=28 nbConstraintChecks=7674533991 nbPropagations=257847177 nbRevisions=3920192420
1055.16 nbUselessRevisions=3193469686 nbAssignments=4166760 nbFailedAssignments=1609661 nbBacktracks=2556680
1055.16 nbVisitedNodes=7145174 nbRestartNogoods=252
1055.16 => wckTime=1054.169 cpuTime=1050.67 mem=16M579
1565.71
1565.71 search
1565.71 run=29 nbConstraintChecks=11433134216 nbPropagations=387359426 nbRevisions=5900206775
1565.71 nbUselessRevisions=4810444957 nbAssignments=6252283 nbFailedAssignments=2416832 nbBacktracks=3835020
1565.71 nbVisitedNodes=10732428 nbRestartNogoods=271
1565.71 => wckTime=1564.715 cpuTime=1560.73 mem=16M579
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-203500-1168160444 -o ROOT/results/node44/solver-203500-1168160444 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203500-1168160444/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.83 4/74 4132
/proc/meminfo: memFree=1313368/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=18540 CPUtime=0
/proc/4131/stat : 4131 (runsolver) D 4129 4131 3867 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 164443461 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 18446744072099855350 0 0 17 1 0 0
/proc/4131/statm: 4635 279 244 17 0 2626 0
[startup+0.107928 s]
/proc/loadavg: 2.00 2.00 1.83 4/74 4132
/proc/meminfo: memFree=1313368/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=909872 CPUtime=0.06
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 2549 0 1 0 5 1 0 0 20 0 8 0 164443461 931708928 2296 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154107913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 227468 2296 1248 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 909872
[startup+0.51697 s]
/proc/loadavg: 2.00 2.00 1.83 4/74 4132
/proc/meminfo: memFree=1313368/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915328 CPUtime=0.47
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 6556 0 1 0 43 4 0 0 18 0 8 0 164443461 937295872 6295 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228832 6295 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34605 s]
/proc/loadavg: 2.00 2.00 1.83 3/81 4139
/proc/meminfo: memFree=1284320/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1.28
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9957 0 1 0 121 7 0 0 24 0 8 0 164443461 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9695 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.22
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 382 0 0 0 21 1 0 0 15 0 8 0 164443471 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.99222 s]
/proc/loadavg: 2.00 2.00 1.83 3/81 4139
/proc/meminfo: memFree=1284000/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=2.91
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9975 0 1 0 284 7 0 0 25 0 8 0 164443461 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9712 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 17 0 8 0 164443467 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.25
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 399 0 0 0 24 1 0 0 16 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915460
[startup+6.27156 s]
/proc/loadavg: 2.00 2.00 1.83 3/81 4139
/proc/meminfo: memFree=1283616/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=6.16
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9976 0 1 0 609 7 0 0 25 0 8 0 164443461 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831718 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9712 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.25
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
[startup+12.7622 s]
/proc/loadavg: 2.00 2.00 1.83 4/81 4139
/proc/meminfo: memFree=1282912/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=12.59
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9976 0 1 0 1252 7 0 0 25 0 8 0 164443461 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9712 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.25
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 399 0 0 0 24 1 0 0 15 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460
[startup+25.6145 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 4205
/proc/meminfo: memFree=1280448/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=25.26
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9977 0 1 0 2519 7 0 0 25 0 8 0 164443461 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9713 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.25
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.2372 s]
/proc/loadavg: 2.00 2.00 1.84 5/87 4257
/proc/meminfo: memFree=1276944/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=50.6
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9978 0 1 0 5052 8 0 0 25 0 8 0 164443461 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9713 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.25
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915460
[startup+102.479 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 4311
/proc/meminfo: memFree=1271320/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=101.31
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9979 0 1 0 10123 8 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 915460
[startup+162.552 s]
/proc/loadavg: 2.04 2.01 1.85 3/81 4337
/proc/meminfo: memFree=1265632/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=160.84
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9979 0 1 0 16076 8 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.73
Current children cumulated vsize (KiB) 915460
[startup+1483.57 s]
/proc/loadavg: 2.00 2.00 1.91 3/80 4566
/proc/meminfo: memFree=1636136/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1479.72
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 147960 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.72
Current children cumulated vsize (KiB) 915460
[startup+1543.61 s]
/proc/loadavg: 2.08 2.02 1.91 3/80 4566
/proc/meminfo: memFree=1636136/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1539.71
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 153959 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.71
Current children cumulated vsize (KiB) 915460
[startup+1603.65 s]
/proc/loadavg: 2.11 2.03 1.92 3/80 4566
/proc/meminfo: memFree=1636072/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1599.67
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 159955 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) R 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.67
Current children cumulated vsize (KiB) 915460
[startup+1663.7 s]
/proc/loadavg: 2.04 2.02 1.92 3/80 4566
/proc/meminfo: memFree=1636072/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1659.67
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 165955 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820402 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.67
Current children cumulated vsize (KiB) 915460
[startup+1723.75 s]
/proc/loadavg: 2.01 2.02 1.92 3/80 4566
/proc/meminfo: memFree=1636072/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1719.65
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 171953 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.65
Current children cumulated vsize (KiB) 915460
[startup+1783.8 s]
/proc/loadavg: 2.00 2.01 1.92 3/80 4566
/proc/meminfo: memFree=1636072/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1779.64
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 177952 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.64
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.25 s]
/proc/loadavg: 2.00 2.01 1.92 3/80 4566
/proc/meminfo: memFree=1636072/2055920 swapFree=4191892/4192956
[pid=4131] ppid=4129 vsize=915460 CPUtime=1800.09
/proc/4131/stat : 4131 (java) R 4129 4131 3867 0 -1 0 9980 0 1 0 179997 12 0 0 25 0 8 0 164443461 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4131/statm: 228865 9714 2524 14 0 215335 0
[pid=4131/tid=4133] ppid=4129 vsize=915460 CPUtime=0.04
/proc/4131/task/4133/stat : 4133 (java) S 4129 4131 3867 0 -1 64 430 0 0 0 4 0 0 0 16 0 8 0 164443467 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4134] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4134/stat : 4134 (java) S 4129 4131 3867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4135] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4135/stat : 4135 (java) S 4129 4131 3867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164443468 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4136] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4136/stat : 4136 (java) S 4129 4131 3867 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4137] ppid=4129 vsize=915460 CPUtime=0.26
/proc/4131/task/4137/stat : 4137 (java) S 4129 4131 3867 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4131/tid=4138] ppid=4129 vsize=915460 CPUtime=0
/proc/4131/task/4138/stat : 4138 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4131/tid=4139] ppid=4129 vsize=915460 CPUtime=0.01
/proc/4131/task/4139/stat : 4139 (java) S 4129 4131 3867 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 164443471 937431040 9714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.28
CPU time (s): 1800.12
CPU user time (s): 1799.99
CPU system time (s): 0.132979
CPU usage (%): 99.7698
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.132979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9997
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= 37640
involuntary context switches= 20445
runsolver used 1.9647 s user time and 5.51816 s system time
The end
Begin job on node44 on Sun Jan 7 09:00:44 UTC 2007
IDJOB= 203500
IDBENCH= 3966
FILE ID= node44/203500-1168160444
PBS_JOBID= 3478547
Free space on /tmp= 66503 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-1-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203500-1168160444/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-203500-1168160444 -o ROOT/results/node44/solver-203500-1168160444 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203500-1168160444/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2fd3b6f447fd401342c7ac8d343819c5
RANDOM SEED= 499380109
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.213
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.213
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: 1313848 kB
Buffers: 28440 kB
Cached: 312932 kB
SwapCached: 396 kB
Active: 493056 kB
Inactive: 183776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1313848 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 345408 kB
Slab: 50008 kB
Committed_AS: 3592660 kB
PageTables: 2436 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= 66541 MiB
End job on node44 on Sun Jan 7 09:30:48 UTC 2007