0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/195805-1168114543/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.06
1.06 constraints being loaded...
1.33 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.33 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.33 => wckTime=1.019 cpuTime=0.88 mem=48M727
1.45
1.45 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.309 cpuTime=1.03 mem=34M528
1.72
1.72 preprocessing
1.72 nbConstraintChecks=30897 nbValidityChecks=49989 nbPropagations=205 nbRevisions=2077 nbUselessRevisions=1817
1.73 nbSingletonTests=31 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.73 => wckTime=0.1 cpuTime=0.07 mem=34M528
1.78
1.78 search
1.78 run=0 nbConstraintChecks=26061 nbValidityChecks=47941 nbPropagations=457 nbRevisions=4901
1.78 nbUselessRevisions=4035 nbAssignments=27 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=44
1.78 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.159 cpuTime=0.12 mem=35M531
1.86
1.86 search
1.86 run=1 nbConstraintChecks=65142 nbValidityChecks=124698 nbPropagations=1376 nbRevisions=15157
1.86 nbUselessRevisions=12277 nbAssignments=68 nbFailedAssignments=31 nbBacktracks=25 nbVisitedNodes=116
1.86 nbRestartNogoods=2 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.86 => wckTime=0.232 cpuTime=0.18 mem=35M531
1.97
1.97 search
1.97 run=2 nbConstraintChecks=130417 nbValidityChecks=246624 nbPropagations=2897 nbRevisions=33302
1.97 nbUselessRevisions=26896 nbAssignments=131 nbFailedAssignments=65 nbBacktracks=47 nbVisitedNodes=225
1.97 nbRestartNogoods=6 mapSize=37 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.349 cpuTime=0.28 mem=35M531
2.13
2.13 search
2.13 run=3 nbConstraintChecks=238475 nbValidityChecks=472968 nbPropagations=5595 nbRevisions=64408
2.14 nbUselessRevisions=51872 nbAssignments=252 nbFailedAssignments=116 nbBacktracks=80 nbVisitedNodes=393
2.14 nbRestartNogoods=14 mapSize=67 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.51 cpuTime=0.44 mem=35M531
2.35
2.35 search
2.35 run=4 nbConstraintChecks=380017 nbValidityChecks=753035 nbPropagations=9579 nbRevisions=111362
2.35 nbUselessRevisions=89356 nbAssignments=385 nbFailedAssignments=192 nbBacktracks=130 nbVisitedNodes=627
2.35 nbRestartNogoods=20 mapSize=104 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.723 cpuTime=0.65 mem=35M531
2.62
2.62 search
2.62 run=5 nbConstraintChecks=564782 nbValidityChecks=1128301 nbPropagations=15743 nbRevisions=182633
2.62 nbUselessRevisions=145645 nbAssignments=576 nbFailedAssignments=302 nbBacktracks=205 nbVisitedNodes=979
2.62 nbRestartNogoods=26 mapSize=173 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=0.992 cpuTime=0.91 mem=35M531
3.07
3.07 search
3.07 run=6 nbConstraintChecks=870585 nbValidityChecks=1720830 nbPropagations=25140 nbRevisions=291935
3.07 nbUselessRevisions=232016 nbAssignments=829 nbFailedAssignments=423 nbBacktracks=318 nbVisitedNodes=1413
3.07 nbRestartNogoods=35 mapSize=267 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=1.441 cpuTime=1.36 mem=35M531
3.79
3.79 search
3.79 run=7 nbConstraintChecks=1365424 nbValidityChecks=2713017 nbPropagations=39992 nbRevisions=466548
3.79 nbUselessRevisions=370596 nbAssignments=1318 nbFailedAssignments=712 nbBacktracks=489 nbVisitedNodes=2277
3.79 nbRestartNogoods=46 mapSize=421 nbInferences=0 nbTooLargeKeys=0
3.79 => wckTime=2.167 cpuTime=2.07 mem=35M531
4.83
4.83 search
4.83 run=8 nbConstraintChecks=2095045 nbValidityChecks=4205271 nbPropagations=63064 nbRevisions=738605
4.83 nbUselessRevisions=584946 nbAssignments=2013 nbFailedAssignments=1135 nbBacktracks=748 nbVisitedNodes=3586
4.83 nbRestartNogoods=51 mapSize=669 nbInferences=0 nbTooLargeKeys=0
4.83 => wckTime=3.201 cpuTime=3.07 mem=35M531
6.50
6.50 search
6.50 run=9 nbConstraintChecks=3361472 nbValidityChecks=6631597 nbPropagations=98240 nbRevisions=1165589
6.50 nbUselessRevisions=924548 nbAssignments=3073 nbFailedAssignments=1805 nbBacktracks=1132 nbVisitedNodes=5582
6.50 nbRestartNogoods=57 mapSize=1014 nbInferences=0 nbTooLargeKeys=0
6.50 => wckTime=4.878 cpuTime=4.73 mem=35M531
6.58
6.58 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=35M531)
8.53
8.53 search
8.53 run=10 nbConstraintChecks=4840780 nbValidityChecks=9509756 nbPropagations=149183 nbRevisions=1774639
8.53 nbUselessRevisions=1408662 nbAssignments=4361 nbFailedAssignments=2511 nbBacktracks=1710 nbVisitedNodes=7937
8.53 nbRestartNogoods=63
8.53 => wckTime=6.908 cpuTime=6.73 mem=35M531
11.82
11.82 search
11.82 run=11 nbConstraintChecks=7192850 nbValidityChecks=14350169 nbPropagations=227126 nbRevisions=2693604
11.82 nbUselessRevisions=2134979 nbAssignments=6715 nbFailedAssignments=3996 nbBacktracks=2574 nbVisitedNodes=12341
11.82 nbRestartNogoods=68
11.82 => wckTime=10.192 cpuTime=9.99 mem=35M531
16.15
16.15 search
16.15 run=12 nbConstraintChecks=10302821 nbValidityChecks=20763558 nbPropagations=342779 nbRevisions=4056239
16.15 nbUselessRevisions=3210439 nbAssignments=9918 nbFailedAssignments=5897 nbBacktracks=3871 nbVisitedNodes=18322
16.15 nbRestartNogoods=82
16.15 => wckTime=14.526 cpuTime=14.28 mem=35M531
22.61
22.61 search
22.61 run=13 nbConstraintChecks=14974022 nbValidityChecks=29781821 nbPropagations=507486 nbRevisions=5979093
22.61 nbUselessRevisions=4729174 nbAssignments=14299 nbFailedAssignments=8293 nbBacktracks=5817 nbVisitedNodes=26229
22.61 nbRestartNogoods=93
22.61 => wckTime=20.982 cpuTime=20.68 mem=35M531
32.46
32.46 search
32.46 run=14 nbConstraintChecks=22088137 nbValidityChecks=44378115 nbPropagations=751989 nbRevisions=8820699
32.46 nbUselessRevisions=6966054 nbAssignments=21559 nbFailedAssignments=12629 nbBacktracks=8736 nbVisitedNodes=39701
32.46 nbRestartNogoods=109
32.46 => wckTime=30.838 cpuTime=30.45 mem=35M531
46.17
46.17 search
46.17 run=15 nbConstraintChecks=32036431 nbValidityChecks=64712705 nbPropagations=1114198 nbRevisions=13010167
46.17 nbUselessRevisions=10262758 nbAssignments=31642 nbFailedAssignments=18329 nbBacktracks=13114
46.17 nbVisitedNodes=58255 nbRestartNogoods=120
46.17 => wckTime=44.543 cpuTime=44.03 mem=35M531
66.94
66.94 search
66.94 run=16 nbConstraintChecks=47131047 nbValidityChecks=94357160 nbPropagations=1644397 nbRevisions=19104355
66.94 nbUselessRevisions=15059912 nbAssignments=45692 nbFailedAssignments=25805 nbBacktracks=19683
66.94 nbVisitedNodes=83825 nbRestartNogoods=135
66.94 => wckTime=65.319 cpuTime=64.62 mem=35M531
102.93
102.93 search
102.93 run=17 nbConstraintChecks=72947718 nbValidityChecks=147053291 nbPropagations=2462667 nbRevisions=28565926
102.93 nbUselessRevisions=22499744 nbAssignments=71267 nbFailedAssignments=41523 nbBacktracks=29535
102.93 nbVisitedNodes=131368 nbRestartNogoods=152
102.93 => wckTime=101.304 cpuTime=100.29 mem=35M531
150.69
150.69 search
150.69 run=18 nbConstraintChecks=107324948 nbValidityChecks=216245929 nbPropagations=3685019 nbRevisions=42684348
150.69 nbUselessRevisions=33608474 nbAssignments=104395 nbFailedAssignments=59865 nbBacktracks=44315
150.69 nbVisitedNodes=192442 nbRestartNogoods=164
150.69 => wckTime=149.065 cpuTime=147.64 mem=35M531
226.71
226.71 search
226.71 run=19 nbConstraintChecks=162589476 nbValidityChecks=329458575 nbPropagations=5538149 nbRevisions=64055227
226.71 nbUselessRevisions=50397190 nbAssignments=159707 nbFailedAssignments=93006 nbBacktracks=66483
226.71 nbVisitedNodes=295464 nbRestartNogoods=179
226.71 => wckTime=225.084 cpuTime=222.98 mem=35M531
345.05
345.05 search
345.05 run=20 nbConstraintChecks=249569669 nbValidityChecks=506045531 nbPropagations=8370137 nbRevisions=96977084
345.05 nbUselessRevisions=76318537 nbAssignments=243883 nbFailedAssignments=143923 nbBacktracks=99735
345.05 nbVisitedNodes=452757 nbRestartNogoods=194
345.05 => wckTime=343.428 cpuTime=340.27 mem=35M531
509.90
509.90 search
509.90 run=21 nbConstraintChecks=369821032 nbValidityChecks=741665369 nbPropagations=12512054 nbRevisions=144980288
509.90 nbUselessRevisions=114168071 nbAssignments=353768 nbFailedAssignments=203923 nbBacktracks=149614
509.90 nbVisitedNodes=653437 nbRestartNogoods=212
509.90 => wckTime=508.274 cpuTime=503.64 mem=35M531
775.83
775.83 search
775.83 run=22 nbConstraintChecks=561828184 nbValidityChecks=1135476424 nbPropagations=18825258 nbRevisions=218102006
775.83 nbUselessRevisions=171691426 nbAssignments=543725 nbFailedAssignments=319057 nbBacktracks=224432
775.83 nbVisitedNodes=1006522 nbRestartNogoods=230
775.83 => wckTime=774.209 cpuTime=767.2 mem=35M531
1136.90
1136.90 search
1136.90 run=23 nbConstraintChecks=840629493 nbValidityChecks=1689920750 nbPropagations=28214507 nbRevisions=326622482
1136.90 nbUselessRevisions=257156097 nbAssignments=803366 nbFailedAssignments=466464 nbBacktracks=336659
1136.90 nbVisitedNodes=1484033 nbRestartNogoods=247
1136.90 => wckTime=1135.274 cpuTime=1127.71 mem=35M531
1638.02
1638.02 search
1638.02 run=24 nbConstraintChecks=1230161962 nbValidityChecks=2486910001 nbPropagations=42246930 nbRevisions=487342381
1638.02 nbUselessRevisions=383427362 nbAssignments=1192457 nbFailedAssignments=687208 nbBacktracks=505000
1638.02 nbVisitedNodes=2199377 nbRestartNogoods=262
1638.02 => wckTime=1636.4 cpuTime=1628.29 mem=35M531
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-195805-1168114543 -o ROOT/results/node3/solver-195805-1168114543 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195805-1168114543/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.93 1.99 1.96 4/86 8181
/proc/meminfo: memFree=1784656/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=47892 CPUtime=0
/proc/8180/stat : 8180 (java) D 8178 8180 7060 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 159849996 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8180/statm: 11973 968 766 14 0 1707 0
[startup+0.103763 s]
/proc/loadavg: 1.93 1.99 1.96 4/86 8181
/proc/meminfo: memFree=1784656/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=914988 CPUtime=0.08
/proc/8180/stat : 8180 (java) D 8178 8180 7060 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 159849996 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511829 s]
/proc/loadavg: 1.93 1.99 1.96 4/86 8181
/proc/meminfo: memFree=1784656/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915328 CPUtime=0.48
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 7565 0 1 0 44 4 0 0 18 0 8 0 159849996 937295872 7304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228832 7304 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33296 s]
/proc/loadavg: 1.93 1.99 1.96 3/93 8188
/proc/meminfo: memFree=1717528/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915328 CPUtime=1.3
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 19117 0 1 0 120 10 0 0 24 0 8 0 159849996 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153569578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228832 18855 2165 14 0 215302 0
[pid=8180/tid=8182] ppid=8178 vsize=915328 CPUtime=0.05
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 2644 0 0 0 5 0 0 0 17 0 8 0 159850000 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915328 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915328 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159850000 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915328 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915328 CPUtime=0.1
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 159850004 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915328 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915328 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937295872 18855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98723 s]
/proc/loadavg: 1.93 1.99 1.96 3/93 8188
/proc/meminfo: memFree=1701528/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=2.93
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23476 0 1 0 280 13 0 0 25 0 8 0 159849996 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073772106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23212 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 159850000 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.2
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 371 0 0 0 19 1 0 0 15 0 8 0 159850004 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23212 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915416
[startup+6.27577 s]
/proc/loadavg: 2.02 2.01 1.96 3/93 8188
/proc/meminfo: memFree=1701400/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=6.19
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23492 0 1 0 606 13 0 0 25 0 8 0 159849996 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23225 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 17 0 8 0 159850000 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.24
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 385 0 0 0 22 2 0 0 17 0 8 0 159850004 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) R 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7658 s]
/proc/loadavg: 2.02 2.01 1.96 3/93 8188
/proc/meminfo: memFree=1701528/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=12.62
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23497 0 1 0 1249 13 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416
[startup+25.6279 s]
/proc/loadavg: 2.01 2.00 1.96 3/93 8188
/proc/meminfo: memFree=1701720/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=25.36
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23497 0 1 0 2523 13 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073773577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915416
[startup+51.2571 s]
/proc/loadavg: 2.01 2.00 1.96 3/93 8188
/proc/meminfo: memFree=1701784/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=50.77
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 5063 14 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915416
[startup+102.512 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 8188
/proc/meminfo: memFree=1701784/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=101.58
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 10143 15 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915416
[startup+162.52 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 8190
/proc/meminfo: memFree=1701720/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=161.05
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 16090 15 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.52
Current children cumulated vsize (KiB) 915416
[startup+1483.38 s]
/proc/loadavg: 2.00 2.01 1.99 3/93 8417
/proc/meminfo: memFree=1697944/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1475.51
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 147527 24 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1475.51
Current children cumulated vsize (KiB) 915416
[startup+1543.42 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697880/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1535.5
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 153526 24 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.5
Current children cumulated vsize (KiB) 915416
[startup+1603.46 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697752/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1595.44
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 159520 24 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.44
Current children cumulated vsize (KiB) 915416
[startup+1663.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697752/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1655.43
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 165518 25 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.43
Current children cumulated vsize (KiB) 915416
[startup+1723.54 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697688/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1715.41
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 171516 25 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.41
Current children cumulated vsize (KiB) 915416
[startup+1783.58 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697688/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1775.37
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 177512 25 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.37
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.26 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 8417
/proc/meminfo: memFree=1697624/2055920 swapFree=4192812/4192956
[pid=8180] ppid=8178 vsize=915416 CPUtime=1800.03
/proc/8180/stat : 8180 (java) R 8178 8180 7060 0 -1 0 23498 0 1 0 179978 25 0 0 25 0 8 0 159849996 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8180/statm: 228854 23229 2531 14 0 215324 0
[pid=8180/tid=8182] ppid=8178 vsize=915416 CPUtime=0.16
/proc/8180/task/8182/stat : 8182 (java) S 8178 8180 7060 0 -1 64 6496 0 0 0 14 2 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8183] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8183/stat : 8183 (java) S 8178 8180 7060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8184] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8184/stat : 8184 (java) S 8178 8180 7060 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159850000 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8185] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8185/stat : 8185 (java) S 8178 8180 7060 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8186] ppid=8178 vsize=915416 CPUtime=0.25
/proc/8180/task/8186/stat : 8186 (java) S 8178 8180 7060 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8187] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8187/stat : 8187 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8180/tid=8188] ppid=8178 vsize=915416 CPUtime=0
/proc/8180/task/8188/stat : 8188 (java) S 8178 8180 7060 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159850004 937385984 23229 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.31
CPU time (s): 1800.08
CPU user time (s): 1799.81
CPU system time (s): 0.269958
CPU usage (%): 99.545
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23515
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= 37672
involuntary context switches= 62145
runsolver used 2.44363 s user time and 5.57315 s system time
The end
Begin job on node3 on Sat Jan 6 20:15:44 UTC 2007
IDJOB= 195805
IDBENCH= 3303
FILE ID= node3/195805-1168114543
PBS_JOBID= 3477105
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195805-1168114543/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-195805-1168114543 -o ROOT/results/node3/solver-195805-1168114543 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195805-1168114543/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 12f3aa47e2277967d203a09c2b3e03d9
RANDOM SEED= 211776115
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.279
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.279
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: 1785136 kB
Buffers: 40112 kB
Cached: 112888 kB
SwapCached: 0 kB
Active: 143952 kB
Inactive: 73560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785136 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4540 kB
Writeback: 0 kB
Mapped: 86892 kB
Slab: 38200 kB
Committed_AS: 3923384 kB
PageTables: 2028 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= 66536 MiB
End job on node3 on Sat Jan 6 20:45:52 UTC 2007