0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206813-1168178272/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.111 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.55
1.55 constraints being loaded...
2.31 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.31 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.31 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.31 => wckTime=2.002 cpuTime=1.59 mem=58M60
2.47
2.47 solver IterativeSystematicSolver being built...
2.64 => wckTime=2.34 cpuTime=1.74 mem=65M618
2.77
2.77 preprocessing
2.77 nbConstraintChecks=37862 nbValidityChecks=66358 nbPropagations=245 nbRevisions=2558 nbUselessRevisions=2282
2.77 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.77 => wckTime=0.124 cpuTime=0.09 mem=65M618
2.88
2.88 search
2.88 run=0 nbConstraintChecks=54189 nbValidityChecks=108353 nbPropagations=749 nbRevisions=8672
2.88 nbUselessRevisions=7057 nbAssignments=44 nbFailedAssignments=27 nbBacktracks=12 nbVisitedNodes=80
2.88 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=0.238 cpuTime=0.19 mem=66M627
3.00
3.00 search
3.00 run=1 nbConstraintChecks=115981 nbValidityChecks=224482 nbPropagations=1988 nbRevisions=23440
3.00 nbUselessRevisions=19090 nbAssignments=88 nbFailedAssignments=49 nbBacktracks=29 nbVisitedNodes=156
3.00 nbRestartNogoods=1 mapSize=27 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.352 cpuTime=0.3 mem=66M627
3.14
3.14 search
3.14 run=2 nbConstraintChecks=193347 nbValidityChecks=371851 nbPropagations=3828 nbRevisions=45724
3.14 nbUselessRevisions=37190 nbAssignments=146 nbFailedAssignments=77 nbBacktracks=51 nbVisitedNodes=255
3.14 nbRestartNogoods=2 mapSize=44 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=0.495 cpuTime=0.43 mem=66M627
3.41
3.41 search
3.41 run=3 nbConstraintChecks=350255 nbValidityChecks=697896 nbPropagations=6947 nbRevisions=83315
3.41 nbUselessRevisions=67882 nbAssignments=281 nbFailedAssignments=135 nbBacktracks=84 nbVisitedNodes=429
3.41 nbRestartNogoods=9 mapSize=69 nbInferences=0 nbTooLargeKeys=0
3.41 => wckTime=0.764 cpuTime=0.7 mem=66M627
3.65
3.65 search
3.65 run=4 nbConstraintChecks=493523 nbValidityChecks=974827 nbPropagations=11365 nbRevisions=137027
3.65 nbUselessRevisions=111590 nbAssignments=395 nbFailedAssignments=179 nbBacktracks=134 nbVisitedNodes=600
3.65 nbRestartNogoods=17 mapSize=113 nbInferences=0 nbTooLargeKeys=0
3.65 => wckTime=1.006 cpuTime=0.94 mem=66M627
3.99
3.99 search
3.99 run=5 nbConstraintChecks=693273 nbValidityChecks=1376087 nbPropagations=17845 nbRevisions=213643
3.99 nbUselessRevisions=173287 nbAssignments=561 nbFailedAssignments=250 nbBacktracks=209 nbVisitedNodes=868
3.99 nbRestartNogoods=21 mapSize=174 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=1.347 cpuTime=1.27 mem=66M627
4.53
4.53 search
4.53 run=6 nbConstraintChecks=1023567 nbValidityChecks=2019744 nbPropagations=27647 nbRevisions=328450
4.54 nbUselessRevisions=264666 nbAssignments=808 nbFailedAssignments=374 nbBacktracks=323 nbVisitedNodes=1301
4.54 nbRestartNogoods=29 mapSize=266 nbInferences=0 nbTooLargeKeys=0
4.54 => wckTime=1.888 cpuTime=1.81 mem=66M627
5.31
5.31 search
5.31 run=7 nbConstraintChecks=1500622 nbValidityChecks=2926043 nbPropagations=41740 nbRevisions=493294
5.31 nbUselessRevisions=395793 nbAssignments=1146 nbFailedAssignments=534 nbBacktracks=494 nbVisitedNodes=1888
5.31 nbRestartNogoods=34 mapSize=395 nbInferences=0 nbTooLargeKeys=0
5.31 => wckTime=2.662 cpuTime=2.57 mem=66M627
6.75
6.75 search
6.75 run=8 nbConstraintChecks=2348502 nbValidityChecks=4643117 nbPropagations=63114 nbRevisions=748221
6.75 nbUselessRevisions=599333 nbAssignments=1909 nbFailedAssignments=988 nbBacktracks=753 nbVisitedNodes=3199
6.75 nbRestartNogoods=44 mapSize=590 nbInferences=0 nbTooLargeKeys=0
6.75 => wckTime=4.105 cpuTime=4.0 mem=66M627
9.30
9.30 search
9.30 run=9 nbConstraintChecks=3914411 nbValidityChecks=7753681 nbPropagations=97238 nbRevisions=1164390
9.30 nbUselessRevisions=932008 nbAssignments=3021 nbFailedAssignments=1708 nbBacktracks=1137 nbVisitedNodes=5299
9.30 nbRestartNogoods=51 mapSize=934 nbInferences=0 nbTooLargeKeys=0
9.30 => wckTime=6.657 cpuTime=6.54 mem=66M627
10.09
10.09 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=66M627)
12.67
12.67 search
12.67 run=10 nbConstraintChecks=6044803 nbValidityChecks=11827161 nbPropagations=149548 nbRevisions=1816339
12.67 nbUselessRevisions=1454823 nbAssignments=4572 nbFailedAssignments=2675 nbBacktracks=1715 nbVisitedNodes=8197
12.67 nbRestartNogoods=62
12.67 => wckTime=10.028 cpuTime=9.9 mem=66M627
17.53
17.53 search
17.53 run=11 nbConstraintChecks=9050612 nbValidityChecks=17604398 nbPropagations=228398 nbRevisions=2780032
17.53 nbUselessRevisions=2222910 nbAssignments=6510 nbFailedAssignments=3731 nbBacktracks=2579 nbVisitedNodes=11737
17.53 nbRestartNogoods=68
17.53 => wckTime=14.882 cpuTime=14.75 mem=66M627
24.56
24.57 search
24.57 run=12 nbConstraintChecks=13438085 nbValidityChecks=26126038 nbPropagations=343450 nbRevisions=4166341
24.57 nbUselessRevisions=3326908 nbAssignments=9485 nbFailedAssignments=5394 nbBacktracks=3877 nbVisitedNodes=17135
24.57 nbRestartNogoods=74
24.57 => wckTime=21.919 cpuTime=21.79 mem=66M627
34.70
34.70 search
34.70 run=13 nbConstraintChecks=19987995 nbValidityChecks=38794862 nbPropagations=512021 nbRevisions=6204307
34.70 nbUselessRevisions=4952047 nbAssignments=14198 nbFailedAssignments=8134 nbBacktracks=5823 nbVisitedNodes=25723
34.70 nbRestartNogoods=90
34.70 => wckTime=32.053 cpuTime=31.91 mem=66M627
48.76
48.76 search
48.76 run=14 nbConstraintChecks=28775646 nbValidityChecks=55245059 nbPropagations=754858 nbRevisions=9145553
48.76 nbUselessRevisions=7292852 nbAssignments=19978 nbFailedAssignments=10962 nbBacktracks=8742 nbVisitedNodes=35928
48.76 nbRestartNogoods=109
48.76 => wckTime=46.111 cpuTime=45.96 mem=66M627
72.20
72.20 search
72.20 run=15 nbConstraintChecks=43890104 nbValidityChecks=83823999 nbPropagations=1118884 nbRevisions=13519564
72.20 nbUselessRevisions=10775025 nbAssignments=29670 nbFailedAssignments=16268 nbBacktracks=13121
72.20 nbVisitedNodes=53425 nbRestartNogoods=122
72.20 => wckTime=69.549 cpuTime=69.39 mem=66M627
100.50
100.50 search
100.50 run=16 nbConstraintChecks=61709923 nbValidityChecks=118365035 nbPropagations=1648415 nbRevisions=19958928
100.50 nbUselessRevisions=15905356 nbAssignments=43115 nbFailedAssignments=23135 nbBacktracks=19692
100.50 nbVisitedNodes=77331 nbRestartNogoods=146
100.50 => wckTime=97.857 cpuTime=97.69 mem=66M627
167.57
167.57 search
167.57 run=17 nbConstraintChecks=104238435 nbValidityChecks=200570274 nbPropagations=2534223 nbRevisions=30731510
167.57 nbUselessRevisions=24516966 nbAssignments=70879 nbFailedAssignments=41040 nbBacktracks=29544
167.57 nbVisitedNodes=130256 nbRestartNogoods=157
167.57 => wckTime=164.924 cpuTime=164.74 mem=66M627
234.18
234.18 search
234.18 run=18 nbConstraintChecks=145995465 nbValidityChecks=280184477 nbPropagations=3809382 nbRevisions=46138679
234.18 nbUselessRevisions=36781236 nbAssignments=100591 nbFailedAssignments=55896 nbBacktracks=44322
234.18 nbVisitedNodes=182991 nbRestartNogoods=188
234.18 => wckTime=231.534 cpuTime=231.2 mem=66M627
344.39
344.39 search
344.39 run=19 nbConstraintChecks=215211315 nbValidityChecks=412404162 nbPropagations=5704395 nbRevisions=69027868
344.39 nbUselessRevisions=54950544 nbAssignments=148892 nbFailedAssignments=81967 nbBacktracks=66492
344.39 nbVisitedNodes=270159 nbRestartNogoods=208
344.39 => wckTime=341.74 cpuTime=341.31 mem=66M627
497.96
497.96 search
497.96 run=20 nbConstraintChecks=314565214 nbValidityChecks=606258655 nbPropagations=8488998 nbRevisions=102588502
497.96 nbUselessRevisions=81669306 nbAssignments=224393 nbFailedAssignments=124209 nbBacktracks=99744
497.96 nbVisitedNodes=407576 nbRestartNogoods=213
497.96 => wckTime=495.312 cpuTime=494.84 mem=66M627
732.57
732.57 search
732.57 run=21 nbConstraintChecks=460930647 nbValidityChecks=882360165 nbPropagations=12508405 nbRevisions=151437550
732.57 nbUselessRevisions=120520563 nbAssignments=326257 nbFailedAssignments=176187 nbBacktracks=149624
732.57 nbVisitedNodes=588087 nbRestartNogoods=238
732.57 => wckTime=729.926 cpuTime=729.39 mem=66M627
1094.79
1094.79 search
1094.79 run=22 nbConstraintChecks=691087777 nbValidityChecks=1322992496 nbPropagations=18523253 nbRevisions=223996193
1094.79 nbUselessRevisions=178145137 nbAssignments=485170 nbFailedAssignments=260274 nbBacktracks=224443
1094.79 nbVisitedNodes=873045 nbRestartNogoods=249
1094.79 => wckTime=1092.148 cpuTime=1091.53 mem=66M627
1611.78
1611.78 search
1611.78 run=23 nbConstraintChecks=1017362558 nbValidityChecks=1953748557 nbPropagations=27335088 nbRevisions=332056134
1611.78 nbUselessRevisions=264358103 nbAssignments=724175 nbFailedAssignments=386983 nbBacktracks=336672
1611.78 nbVisitedNodes=1301930 nbRestartNogoods=299
1611.78 => wckTime=1609.138 cpuTime=1608.39 mem=66M627
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-206813-1168178272 -o ROOT/results/node48/solver-206813-1168178272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206813-1168178272/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: 0.92 0.98 1.02 4/70 664
/proc/meminfo: memFree=1719856/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=216 CPUtime=0
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 166225877 221184 24 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 3494001 0 0 4096 0 0 0 0 17 1 0 0
/proc/663/statm: 54 30 25 14 0 2 0
[startup+0.104142 s]
/proc/loadavg: 0.92 0.98 1.02 4/70 664
/proc/meminfo: memFree=1719856/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=914988 CPUtime=0.08
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 2981 0 1 0 7 1 0 0 24 0 8 0 166225877 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/663/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51418 s]
/proc/loadavg: 0.92 0.98 1.02 4/70 664
/proc/meminfo: memFree=1719856/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915328 CPUtime=0.47
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 7659 0 1 0 42 5 0 0 25 0 8 0 166225877 937295872 7399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228832 7401 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33626 s]
/proc/loadavg: 0.92 0.98 1.02 4/88 695
/proc/meminfo: memFree=1575008/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915328 CPUtime=1.29
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 19100 0 1 0 118 11 0 0 25 0 8 0 166225877 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228832 18838 2149 14 0 215302 0
[pid=663/tid=680] ppid=659 vsize=915328 CPUtime=0.05
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 166225881 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915328 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915328 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915328 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915328 CPUtime=0.07
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 166225885 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915328 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915328 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.97341 s]
/proc/loadavg: 0.92 0.98 1.02 3/88 695
/proc/meminfo: memFree=1524384/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=2.93
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32574 0 1 0 274 19 0 0 25 0 8 0 166225877 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32309 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 166225881 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.19
/proc/663/task/686/stat : 686 (java) R 659 663 554 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 166225885 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915440
[startup+6.26871 s]
/proc/loadavg: 1.01 1.00 1.02 3/88 695
/proc/meminfo: memFree=1482336/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=6.21
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32591 0 1 0 602 19 0 0 25 0 8 0 166225877 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32323 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 17 0 8 0 166225881 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.24
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 389 0 0 0 23 1 0 0 15 0 8 0 166225885 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915440
[startup+12.7473 s]
/proc/loadavg: 1.09 1.02 1.03 3/88 695
/proc/meminfo: memFree=1389408/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=12.69
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32603 0 1 0 1250 19 0 0 25 0 8 0 166225877 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32332 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.25
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 166225885 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915440
[startup+25.6225 s]
/proc/loadavg: 1.29 1.06 1.04 3/88 695
/proc/meminfo: memFree=1046368/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=25.56
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32605 0 1 0 2537 19 0 0 25 0 8 0 166225877 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32334 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915440
[startup+51.2448 s]
/proc/loadavg: 1.53 1.14 1.07 3/89 696
/proc/meminfo: memFree=1050712/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=51.17
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32605 0 1 0 5097 20 0 0 25 0 8 0 166225877 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32334 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915440
[startup+102.482 s]
/proc/loadavg: 1.79 1.27 1.11 3/89 696
/proc/meminfo: memFree=1050776/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=102.39
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32607 0 1 0 10219 20 0 0 25 0 8 0 166225877 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32335 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 401 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166225885 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915440
[startup+162.483 s]
/proc/loadavg: 1.92 1.40 1.17 3/89 696
/proc/meminfo: memFree=1050776/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=162.38
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32607 0 1 0 16218 20 0 0 25 0 8 0 166225877 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.93
Current children cumulated vsize (KiB) 915440
[startup+1483.58 s]
/proc/loadavg: 2.01 1.99 1.77 3/89 896
/proc/meminfo: memFree=1050392/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1482.96
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 148273 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.96
Current children cumulated vsize (KiB) 915440
[startup+1543.66 s]
/proc/loadavg: 2.00 1.99 1.79 3/89 896
/proc/meminfo: memFree=1050392/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1543.03
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 154280 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803340 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.03
Current children cumulated vsize (KiB) 915440
[startup+1603.67 s]
/proc/loadavg: 2.00 1.99 1.80 3/89 896
/proc/meminfo: memFree=1050328/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1603.01
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 160278 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.01
Current children cumulated vsize (KiB) 915440
[startup+1663.76 s]
/proc/loadavg: 2.00 1.99 1.81 3/89 896
/proc/meminfo: memFree=1050328/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1663.09
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 166286 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.09
Current children cumulated vsize (KiB) 915440
[startup+1723.86 s]
/proc/loadavg: 2.00 1.99 1.82 3/89 896
/proc/meminfo: memFree=1050328/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1723.18
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 172295 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.18
Current children cumulated vsize (KiB) 915440
[startup+1783.9 s]
/proc/loadavg: 2.05 2.00 1.83 3/89 896
/proc/meminfo: memFree=1050264/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1783.21
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 178298 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.21
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.79 s]
/proc/loadavg: 2.03 2.00 1.83 3/89 896
/proc/meminfo: memFree=1050264/2055920 swapFree=4192812/4192956
[pid=663] ppid=659 vsize=915440 CPUtime=1800.1
/proc/663/stat : 663 (java) R 659 663 554 0 -1 0 32608 0 1 0 179987 23 0 0 25 0 8 0 166225877 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/663/statm: 228860 32336 2531 14 0 215330 0
[pid=663/tid=680] ppid=659 vsize=915440 CPUtime=0.46
/proc/663/task/680/stat : 680 (java) S 659 663 554 0 -1 64 15582 0 0 0 39 7 0 0 16 0 8 0 166225881 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=683] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/683/stat : 683 (java) S 659 663 554 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=684] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/684/stat : 684 (java) S 659 663 554 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166225882 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=685] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/685/stat : 685 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=686] ppid=659 vsize=915440 CPUtime=0.26
/proc/663/task/686/stat : 686 (java) S 659 663 554 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=663/tid=687] ppid=659 vsize=915440 CPUtime=0
/proc/663/task/687/stat : 687 (java) S 659 663 554 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=663/tid=689] ppid=659 vsize=915440 CPUtime=0.01
/proc/663/task/689/stat : 689 (java) S 659 663 554 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 166225885 937410560 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.85
CPU time (s): 1800.16
CPU user time (s): 1799.9
CPU system time (s): 0.25996
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.25996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37634
involuntary context switches= 41574
runsolver used 2.33964 s user time and 5.43217 s system time
The end
Begin job on node48 on Sun Jan 7 13:57:52 UTC 2007
IDJOB= 206813
IDBENCH= 4237
FILE ID= node48/206813-1168178272
PBS_JOBID= 3479111
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206813-1168178272/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-206813-1168178272 -o ROOT/results/node48/solver-206813-1168178272 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206813-1168178272/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6644b39b9e1f82baa1b6c3b1e2ebc974
RANDOM SEED= 777564864
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.218
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.218
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: 1720856 kB
Buffers: 49468 kB
Cached: 207640 kB
SwapCached: 0 kB
Active: 123132 kB
Inactive: 153976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720856 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 16992 kB
Writeback: 0 kB
Mapped: 30176 kB
Slab: 43744 kB
Committed_AS: 3592008 kB
PageTables: 1584 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= 66548 MiB
End job on node48 on Sun Jan 7 14:27:53 UTC 2007