0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/206280-1168170804/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.52 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
1.69
1.69 constraints being loaded...
2.46 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.46 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.46 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.46 => wckTime=2.046 cpuTime=1.63 mem=58M59
2.62
2.62 solver IterativeSystematicSolver being built...
2.80 => wckTime=2.389 cpuTime=1.77 mem=65M618
2.94
2.94 preprocessing
2.94 nbConstraintChecks=44927 nbValidityChecks=74265 nbPropagations=248 nbRevisions=2645 nbUselessRevisions=2359
2.94 nbSingletonTests=35 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.94 => wckTime=0.137 cpuTime=0.1 mem=65M618
3.04
3.04 search
3.04 run=0 nbConstraintChecks=41729 nbValidityChecks=80419 nbPropagations=647 nbRevisions=7108
3.04 nbUselessRevisions=5940 nbAssignments=25 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=42
3.04 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=0.231 cpuTime=0.19 mem=66M627
3.16
3.16 search
3.16 run=1 nbConstraintChecks=104455 nbValidityChecks=213383 nbPropagations=1870 nbRevisions=21423
3.16 nbUselessRevisions=17830 nbAssignments=71 nbFailedAssignments=33 nbBacktracks=25 nbVisitedNodes=125
3.16 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=0.354 cpuTime=0.3 mem=66M627
3.34
3.34 search
3.34 run=2 nbConstraintChecks=196055 nbValidityChecks=395180 nbPropagations=3842 nbRevisions=45609
3.34 nbUselessRevisions=37847 nbAssignments=136 nbFailedAssignments=60 nbBacktracks=47 nbVisitedNodes=222
3.34 nbRestartNogoods=6 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.34 => wckTime=0.533 cpuTime=0.47 mem=66M627
3.61
3.61 search
3.61 run=3 nbConstraintChecks=344554 nbValidityChecks=699591 nbPropagations=7003 nbRevisions=86156
3.61 nbUselessRevisions=71296 nbAssignments=248 nbFailedAssignments=110 nbBacktracks=82 nbVisitedNodes=387
3.61 nbRestartNogoods=12 mapSize=72 nbInferences=0 nbTooLargeKeys=0
3.61 => wckTime=0.801 cpuTime=0.73 mem=66M627
3.96
3.96 search
3.96 run=4 nbConstraintChecks=536795 nbValidityChecks=1116738 nbPropagations=12062 nbRevisions=150535
3.96 nbUselessRevisions=123935 nbAssignments=400 nbFailedAssignments=192 nbBacktracks=132 nbVisitedNodes=646
3.96 nbRestartNogoods=18 mapSize=121 nbInferences=0 nbTooLargeKeys=0
3.96 => wckTime=1.154 cpuTime=1.08 mem=66M627
4.41
4.41 search
4.41 run=5 nbConstraintChecks=786544 nbValidityChecks=1623544 nbPropagations=19256 nbRevisions=244173
4.41 nbUselessRevisions=200671 nbAssignments=589 nbFailedAssignments=289 nbBacktracks=208 nbVisitedNodes=972
4.41 nbRestartNogoods=23 mapSize=188 nbInferences=0 nbTooLargeKeys=0
4.41 => wckTime=1.6 cpuTime=1.52 mem=66M627
5.06
5.06 search
5.06 run=6 nbConstraintChecks=1177104 nbValidityChecks=2397181 nbPropagations=29874 nbRevisions=384521
5.06 nbUselessRevisions=315387 nbAssignments=859 nbFailedAssignments=423 nbBacktracks=321 nbVisitedNodes=1428
5.06 nbRestartNogoods=28 mapSize=290 nbInferences=0 nbTooLargeKeys=0
5.06 => wckTime=2.25 cpuTime=2.17 mem=66M627
5.91
5.91 search
5.91 run=7 nbConstraintChecks=1674455 nbValidityChecks=3434109 nbPropagations=45146 nbRevisions=584651
5.91 nbUselessRevisions=478653 nbAssignments=1235 nbFailedAssignments=621 nbBacktracks=494 nbVisitedNodes=2108
5.91 nbRestartNogoods=35 mapSize=443 nbInferences=0 nbTooLargeKeys=0
5.91 => wckTime=3.101 cpuTime=3.01 mem=66M627
7.44
7.44 search
7.44 run=8 nbConstraintChecks=2599833 nbValidityChecks=5324169 nbPropagations=68858 nbRevisions=898870
7.44 nbUselessRevisions=734676 nbAssignments=1937 nbFailedAssignments=1059 nbBacktracks=751 nbVisitedNodes=3418
7.44 nbRestartNogoods=46 mapSize=670 nbInferences=0 nbTooLargeKeys=0
7.44 => wckTime=4.634 cpuTime=4.49 mem=66M627
9.53
9.53 search
9.53 run=9 nbConstraintChecks=3895641 nbValidityChecks=8027436 nbPropagations=103918 nbRevisions=1370128
9.53 nbUselessRevisions=1118595 nbAssignments=2995 nbFailedAssignments=1717 nbBacktracks=1135 nbVisitedNodes=5374
9.53 nbRestartNogoods=52 mapSize=1004 nbInferences=0 nbTooLargeKeys=0
9.53 => wckTime=6.725 cpuTime=6.57 mem=66M627
9.65
9.65 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=66M627)
12.58
12.58 search
12.58 run=10 nbConstraintChecks=5699234 nbValidityChecks=11833028 nbPropagations=157779 nbRevisions=2078955
12.58 nbUselessRevisions=1694199 nbAssignments=4394 nbFailedAssignments=2533 nbBacktracks=1713 nbVisitedNodes=8006
12.58 nbRestartNogoods=58
12.58 => wckTime=9.77 cpuTime=9.59 mem=66M627
17.71
17.71 search
17.71 run=11 nbConstraintChecks=8976772 nbValidityChecks=18546369 nbPropagations=240362 nbRevisions=3185092
17.71 nbUselessRevisions=2592640 nbAssignments=6919 nbFailedAssignments=4189 nbBacktracks=2578 nbVisitedNodes=12739
17.71 nbRestartNogoods=64
17.71 => wckTime=14.908 cpuTime=14.7 mem=66M627
24.64
24.64 search
24.64 run=12 nbConstraintChecks=13306105 nbValidityChecks=27749338 nbPropagations=362452 nbRevisions=4828279
24.64 nbUselessRevisions=3929603 nbAssignments=10585 nbFailedAssignments=6540 nbBacktracks=3875 nbVisitedNodes=19568
24.64 nbRestartNogoods=74
24.64 => wckTime=21.831 cpuTime=21.59 mem=66M627
34.63
34.63 search
34.63 run=13 nbConstraintChecks=19335424 nbValidityChecks=40338108 nbPropagations=547293 nbRevisions=7253613
34.63 nbUselessRevisions=5891507 nbAssignments=15236 nbFailedAssignments=9227 nbBacktracks=5822 nbVisitedNodes=28199
34.63 nbRestartNogoods=84
34.63 => wckTime=31.826 cpuTime=31.52 mem=66M627
48.55
48.55 search
48.55 run=14 nbConstraintChecks=27998044 nbValidityChecks=58330837 nbPropagations=812297 nbRevisions=10721268
48.55 nbUselessRevisions=8696673 nbAssignments=22306 nbFailedAssignments=13370 nbBacktracks=8741 nbVisitedNodes=41136
48.55 nbRestartNogoods=87
48.55 => wckTime=45.745 cpuTime=45.37 mem=66M627
73.24
73.24 search
73.24 run=15 nbConstraintChecks=43615769 nbValidityChecks=90708798 nbPropagations=1222210 nbRevisions=16140066
73.24 nbUselessRevisions=13086607 nbAssignments=34585 nbFailedAssignments=21268 nbBacktracks=13119
73.24 nbVisitedNodes=64295 nbRestartNogoods=94
73.24 => wckTime=70.43 cpuTime=69.91 mem=66M627
107.19
107.19 search
107.19 run=16 nbConstraintChecks=64754404 nbValidityChecks=135230351 nbPropagations=1833238 nbRevisions=24224435
107.19 nbUselessRevisions=19647081 nbAssignments=52263 nbFailedAssignments=32372 nbBacktracks=19687
107.19 nbVisitedNodes=97386 nbRestartNogoods=105
107.19 => wckTime=104.385 cpuTime=103.69 mem=66M627
159.59
159.59 search
159.59 run=17 nbConstraintChecks=96404253 nbValidityChecks=201190168 nbPropagations=2761981 nbRevisions=36354559
159.59 nbUselessRevisions=29462498 nbAssignments=75905 nbFailedAssignments=46155 nbBacktracks=29539
159.59 nbVisitedNodes=141572 nbRestartNogoods=118
159.59 => wckTime=156.786 cpuTime=155.81 mem=66M627
243.27
243.28 search
243.28 run=18 nbConstraintChecks=149144876 nbValidityChecks=309779209 nbPropagations=4180302 nbRevisions=55006787
243.28 nbUselessRevisions=44562495 nbAssignments=116880 nbFailedAssignments=72339 nbBacktracks=44317
243.28 nbVisitedNodes=218422 nbRestartNogoods=141
243.28 => wckTime=240.469 cpuTime=239.03 mem=66M627
355.42
355.42 search
355.42 run=19 nbConstraintChecks=219287595 nbValidityChecks=457041312 nbPropagations=6262619 nbRevisions=82538271
355.42 nbUselessRevisions=66900044 nbAssignments=175136 nbFailedAssignments=108410 nbBacktracks=66485
355.42 nbVisitedNodes=326982 nbRestartNogoods=160
355.42 => wckTime=352.618 cpuTime=350.56 mem=66M627
549.35
549.35 search
549.35 run=20 nbConstraintChecks=336692097 nbValidityChecks=698426546 nbPropagations=9427210 nbRevisions=124427069
549.35 nbUselessRevisions=100854805 nbAssignments=262554 nbFailedAssignments=162569 nbBacktracks=99738
549.35 nbVisitedNodes=490856 nbRestartNogoods=173
549.35 => wckTime=546.54 cpuTime=543.21 mem=66M627
809.14
809.14 search
809.14 run=21 nbConstraintChecks=490203186 nbValidityChecks=1022999269 nbPropagations=14115074 nbRevisions=186300388
809.14 nbUselessRevisions=151047401 nbAssignments=389725 nbFailedAssignments=239855 nbBacktracks=149616
809.14 nbVisitedNodes=727776 nbRestartNogoods=192
809.14 => wckTime=806.332 cpuTime=801.65 mem=66M627
1247.38
1247.39 search
1247.39 run=22 nbConstraintChecks=751867567 nbValidityChecks=1559883904 nbPropagations=21215737 nbRevisions=279775722
1247.39 nbUselessRevisions=226756206 nbAssignments=583190 nbFailedAssignments=358495 nbBacktracks=224434
1247.39 nbVisitedNodes=1088420 nbRestartNogoods=216
1247.39 => wckTime=1244.579 cpuTime=1237.61 mem=66M627
1797.71
1797.71 search
1797.71 run=23 nbConstraintChecks=1096296690 nbValidityChecks=2283311841 nbPropagations=31626686 nbRevisions=416822024
1797.71 nbUselessRevisions=337887756 nbAssignments=856707 nbFailedAssignments=519769 nbBacktracks=336662
1797.71 nbVisitedNodes=1594590 nbRestartNogoods=236
1797.71 => wckTime=1794.899 cpuTime=1785.02 mem=66M627
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-206280-1168170804 -o ROOT/results/node17/solver-206280-1168170804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206280-1168170804/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.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=1784 CPUtime=0
/proc/17589/stat : 17589 (java) D 17587 17589 17062 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 165475238 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17589/statm: 446 163 128 14 0 91 0
[startup+0.104262 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=1784 CPUtime=0
/proc/17589/stat : 17589 (java) D 17587 17589 17062 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 165475238 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17589/statm: 446 163 128 14 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1784
[startup+0.51227 s]
/proc/loadavg: 2.07 2.02 2.00 4/98 17590
/proc/meminfo: memFree=1378624/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915328 CPUtime=0.4
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 6083 0 1 0 35 5 0 0 18 0 8 0 165475238 937295872 5822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072928568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228832 5822 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33536 s]
/proc/loadavg: 2.06 2.02 2.00 4/105 17597
/proc/meminfo: memFree=1315848/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915328 CPUtime=1.21
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 19098 0 1 0 109 12 0 0 24 0 8 0 165475238 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228832 18836 2149 14 0 215302 0
[pid=17589/tid=17591] ppid=17587 vsize=915328 CPUtime=0.05
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165475251 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915328 CPUtime=0.08
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915328 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328
[startup+2.98953 s]
/proc/loadavg: 2.06 2.02 2.00 4/105 17597
/proc/meminfo: memFree=1287752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=2.86
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32569 0 1 0 266 20 0 0 25 0 8 0 165475238 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17589/statm: 228860 32304 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 165475251 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.2
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915440
[startup+6.27787 s]
/proc/loadavg: 2.06 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1230984/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=6.12
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32585 0 1 0 592 20 0 0 25 0 8 0 165475238 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32318 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 165475251 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.23
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915440
[startup+12.7766 s]
/proc/loadavg: 2.05 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1230992/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=12.58
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 1237 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915440
[startup+25.6269 s]
/proc/loadavg: 2.04 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=25.37
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 2516 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2646 s]
/proc/loadavg: 2.02 2.02 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=50.86
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32603 0 1 0 5065 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915440
[startup+102.539 s]
/proc/loadavg: 2.01 2.01 2.00 3/105 17597
/proc/meminfo: memFree=1231056/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=101.84
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 10163 21 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915440
[startup+162.568 s]
/proc/loadavg: 2.12 2.04 2.01 3/105 17597
/proc/meminfo: memFree=1203280/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=161.56
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 16134 22 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.21
Current children cumulated vsize (KiB) 915440
[startup+1483.09 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 17888
/proc/meminfo: memFree=1444008/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1474.91
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 147456 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1474.91
Current children cumulated vsize (KiB) 915440
[startup+1543.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/100 17890
/proc/meminfo: memFree=1443752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1534.58
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 153423 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.58
Current children cumulated vsize (KiB) 915440
[startup+1603.12 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 17890
/proc/meminfo: memFree=1443752/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1594.27
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 159392 35 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814025 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.27
Current children cumulated vsize (KiB) 915440
[startup+1663.13 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1653.98
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 165362 36 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.98
Current children cumulated vsize (KiB) 915440
[startup+1723.15 s]
/proc/loadavg: 2.12 2.04 2.01 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1713.64
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 171328 36 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.64
Current children cumulated vsize (KiB) 915440
[startup+1783.16 s]
/proc/loadavg: 2.04 2.03 2.00 5/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1773.34
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 177297 37 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.34
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.03 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 17890
/proc/meminfo: memFree=1443760/2055920 swapFree=4192812/4192956
[pid=17589] ppid=17587 vsize=915440 CPUtime=1800.06
/proc/17589/stat : 17589 (java) R 17587 17589 17062 0 -1 0 32604 0 1 0 179969 37 0 0 25 0 8 0 165475238 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17589/statm: 228860 32333 2531 14 0 215330 0
[pid=17589/tid=17591] ppid=17587 vsize=915440 CPUtime=0.46
/proc/17589/task/17591/stat : 17591 (java) S 17587 17589 17062 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 165475251 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17592] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17592/stat : 17592 (java) S 17587 17589 17062 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17593] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17593/stat : 17593 (java) S 17587 17589 17062 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165475252 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17594] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17594/stat : 17594 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17595] ppid=17587 vsize=915440 CPUtime=0.26
/proc/17589/task/17595/stat : 17595 (java) S 17587 17589 17062 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17589/tid=17596] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17596/stat : 17596 (java) S 17587 17589 17062 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17589/tid=17597] ppid=17587 vsize=915440 CPUtime=0
/proc/17589/task/17597/stat : 17597 (java) S 17587 17589 17062 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165475255 937410560 32333 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.1
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.39094
CPU usage (%): 99.449
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32620
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= 37766
involuntary context switches= 62405
runsolver used 2.11068 s user time and 5.9321 s system time
The end
Begin job on node17 on Sun Jan 7 11:53:24 UTC 2007
IDJOB= 206280
IDBENCH= 4196
FILE ID= node17/206280-1168170804
PBS_JOBID= 3478826
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206280-1168170804/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-206280-1168170804 -o ROOT/results/node17/solver-206280-1168170804 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206280-1168170804/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f1384fc267cd2722bf48bbf3fdecc2d7
RANDOM SEED= 476775533
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.236
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.236
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: 1379104 kB
Buffers: 56328 kB
Cached: 189152 kB
SwapCached: 0 kB
Active: 466272 kB
Inactive: 148144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1379104 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7568 kB
Writeback: 0 kB
Mapped: 397880 kB
Slab: 46572 kB
Committed_AS: 5104744 kB
PageTables: 2900 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= 66314 MiB
End job on node17 on Sun Jan 7 12:23:35 UTC 2007