0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.50
0.50 instance
0.50 name=/tmp/evaluation/195909-1168116261/unknown.xml
0.58
0.58 domains being loaded...
0.59
0.59 variables being loaded...
0.62 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.62 => wckTime=0.267 cpuTime=0.08 mem=6M951
0.62
0.62 relations being loaded...
1.29
1.29 constraints being loaded...
1.56 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.56 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.56 => wckTime=1.202 cpuTime=0.9 mem=49M186
1.68
1.68 solver IterativeSystematicSolver being built...
1.86 => wckTime=1.503 cpuTime=1.05 mem=34M426
1.96
1.96 preprocessing
1.96 nbConstraintChecks=28938 nbValidityChecks=49383 nbPropagations=210 nbRevisions=1985 nbUselessRevisions=1729
1.96 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.96 => wckTime=0.1 cpuTime=0.07 mem=34M426
2.03
2.03 search
2.03 run=0 nbConstraintChecks=31792 nbValidityChecks=63264 nbPropagations=528 nbRevisions=5575
2.03 nbUselessRevisions=4565 nbAssignments=27 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=48
2.03 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.169 cpuTime=0.12 mem=35M456
2.13
2.13 search
2.13 run=1 nbConstraintChecks=91107 nbValidityChecks=191131 nbPropagations=1734 nbRevisions=18464
2.13 nbUselessRevisions=15016 nbAssignments=90 nbFailedAssignments=40 nbBacktracks=26 nbVisitedNodes=140
2.13 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.272 cpuTime=0.22 mem=35M456
2.26
2.26 search
2.26 run=2 nbConstraintChecks=159976 nbValidityChecks=327152 nbPropagations=3656 nbRevisions=40062
2.26 nbUselessRevisions=32451 nbAssignments=154 nbFailedAssignments=75 nbBacktracks=48 nbVisitedNodes=255
2.26 nbRestartNogoods=6 mapSize=42 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=0.404 cpuTime=0.34 mem=35M456
2.38
2.38 search
2.38 run=3 nbConstraintChecks=231726 nbValidityChecks=477429 nbPropagations=6511 nbRevisions=71591
2.38 nbUselessRevisions=57564 nbAssignments=229 nbFailedAssignments=110 nbBacktracks=81 nbVisitedNodes=386
2.38 nbRestartNogoods=11 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.519 cpuTime=0.45 mem=35M456
2.62
2.62 search
2.62 run=4 nbConstraintChecks=389640 nbValidityChecks=821267 nbPropagations=11234 nbRevisions=126571
2.62 nbUselessRevisions=101293 nbAssignments=413 nbFailedAssignments=235 nbBacktracks=131 nbVisitedNodes=737
2.62 nbRestartNogoods=21 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=0.756 cpuTime=0.68 mem=35M456
2.87
2.87 search
2.87 run=5 nbConstraintChecks=549954 nbValidityChecks=1158751 nbPropagations=18318 nbRevisions=207368
2.87 nbUselessRevisions=165414 nbAssignments=604 nbFailedAssignments=328 nbBacktracks=206 nbVisitedNodes=1056
2.87 nbRestartNogoods=30 mapSize=185 nbInferences=0 nbTooLargeKeys=0
2.87 => wckTime=1.007 cpuTime=0.93 mem=35M456
3.36
3.36 search
3.36 run=6 nbConstraintChecks=865764 nbValidityChecks=1849955 nbPropagations=29953 nbRevisions=335006
3.36 nbUselessRevisions=265284 nbAssignments=907 nbFailedAssignments=512 nbBacktracks=319 nbVisitedNodes=1638
3.36 nbRestartNogoods=33 mapSize=296 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=1.506 cpuTime=1.42 mem=35M456
3.97
3.97 search
3.97 run=7 nbConstraintChecks=1183249 nbValidityChecks=2528676 nbPropagations=46001 nbRevisions=514454
3.97 nbUselessRevisions=405823 nbAssignments=1281 nbFailedAssignments=697 nbBacktracks=489 nbVisitedNodes=2280
3.97 nbRestartNogoods=43 mapSize=438 nbInferences=0 nbTooLargeKeys=0
3.97 => wckTime=2.108 cpuTime=1.92 mem=35M456
4.81
4.81 search
4.81 run=8 nbConstraintChecks=1721493 nbValidityChecks=3665295 nbPropagations=69085 nbRevisions=770947
4.81 nbUselessRevisions=606476 nbAssignments=1839 nbFailedAssignments=981 nbBacktracks=745 nbVisitedNodes=3271
4.81 nbRestartNogoods=49 mapSize=662 nbInferences=0 nbTooLargeKeys=0
4.81 => wckTime=2.954 cpuTime=2.74 mem=35M456
6.52
6.52 search
6.52 run=9 nbConstraintChecks=2861002 nbValidityChecks=5997519 nbPropagations=104706 nbRevisions=1181042
6.52 nbUselessRevisions=928189 nbAssignments=2858 nbFailedAssignments=1607 nbBacktracks=1130 nbVisitedNodes=5205
6.52 nbRestartNogoods=54 mapSize=1014 nbInferences=0 nbTooLargeKeys=0
6.52 => wckTime=4.66 cpuTime=4.43 mem=35M456
6.62
6.62 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=35M456)
8.31
8.31 search
8.31 run=10 nbConstraintChecks=4078720 nbValidityChecks=8686826 nbPropagations=157555 nbRevisions=1792430
8.31 nbUselessRevisions=1409107 nbAssignments=4274 nbFailedAssignments=2400 nbBacktracks=1706 nbVisitedNodes=7742
8.31 nbRestartNogoods=62
8.31 => wckTime=6.454 cpuTime=6.2 mem=35M456
10.79
10.79 search
10.79 run=11 nbConstraintChecks=5886090 nbValidityChecks=12595650 nbPropagations=233575 nbRevisions=2668175
10.79 nbUselessRevisions=2098973 nbAssignments=6710 nbFailedAssignments=3952 nbBacktracks=2570 nbVisitedNodes=12226
10.79 nbRestartNogoods=74
10.79 => wckTime=8.936 cpuTime=8.68 mem=35M456
14.42
14.42 search
14.42 run=12 nbConstraintChecks=8414544 nbValidityChecks=17705231 nbPropagations=340033 nbRevisions=3896201
14.42 nbUselessRevisions=3065426 nbAssignments=9324 nbFailedAssignments=5247 nbBacktracks=3870 nbVisitedNodes=16866
14.42 nbRestartNogoods=89
14.42 => wckTime=12.564 cpuTime=12.29 mem=35M456
20.50
20.50 search
20.50 run=13 nbConstraintChecks=12586998 nbValidityChecks=26339216 nbPropagations=501174 nbRevisions=5728026
20.50 nbUselessRevisions=4502132 nbAssignments=13585 nbFailedAssignments=7553 nbBacktracks=5819 nbVisitedNodes=24679
20.50 nbRestartNogoods=94
20.50 => wckTime=18.643 cpuTime=18.34 mem=35M456
32.26
32.26 search
32.26 run=14 nbConstraintChecks=20685538 nbValidityChecks=43328394 nbPropagations=756783 nbRevisions=8692887
32.26 nbUselessRevisions=6827425 nbAssignments=21364 nbFailedAssignments=12385 nbBacktracks=8738 nbVisitedNodes=39326
32.26 nbRestartNogoods=108
32.26 => wckTime=30.406 cpuTime=30.04 mem=35M456
45.47
45.47 search
45.47 run=15 nbConstraintChecks=29822616 nbValidityChecks=61860849 nbPropagations=1136274 nbRevisions=13010025
45.47 nbUselessRevisions=10201148 nbAssignments=30877 nbFailedAssignments=17480 nbBacktracks=13116
45.47 nbVisitedNodes=56511 nbRestartNogoods=131
45.47 => wckTime=43.616 cpuTime=43.19 mem=35M456
67.81
67.81 search
67.81 run=16 nbConstraintChecks=45121517 nbValidityChecks=94165597 nbPropagations=1726483 nbRevisions=19800234
67.81 nbUselessRevisions=15511045 nbAssignments=47519 nbFailedAssignments=27537 nbBacktracks=19684
67.81 nbVisitedNodes=87584 nbRestartNogoods=155
67.81 => wckTime=65.954 cpuTime=65.42 mem=35M456
99.97
99.97 search
99.97 run=17 nbConstraintChecks=68354991 nbValidityChecks=144853799 nbPropagations=2617490 nbRevisions=29990237
99.97 nbUselessRevisions=23482889 nbAssignments=78476 nbFailedAssignments=48636 nbBacktracks=29537
99.97 nbVisitedNodes=145699 nbRestartNogoods=176
99.97 => wckTime=98.116 cpuTime=97.42 mem=35M456
144.45
144.45 search
144.45 run=18 nbConstraintChecks=99479333 nbValidityChecks=208912855 nbPropagations=3886129 nbRevisions=44520223
144.45 nbUselessRevisions=34861264 nbAssignments=111277 nbFailedAssignments=66649 nbBacktracks=44315
144.45 nbVisitedNodes=205195 nbRestartNogoods=196
144.45 => wckTime=142.589 cpuTime=141.68 mem=35M456
212.96
212.96 search
212.96 run=19 nbConstraintChecks=146637495 nbValidityChecks=305864176 nbPropagations=5759549 nbRevisions=65712107
212.96 nbUselessRevisions=51435285 nbAssignments=158784 nbFailedAssignments=91983 nbBacktracks=66483
212.96 nbVisitedNodes=291786 nbRestartNogoods=209
212.96 => wckTime=211.105 cpuTime=209.84 mem=35M456
319.97
319.97 search
319.97 run=20 nbConstraintChecks=220498597 nbValidityChecks=457754939 nbPropagations=8542922 nbRevisions=96994878
319.97 nbUselessRevisions=75864138 nbAssignments=230819 nbFailedAssignments=130761 nbBacktracks=99735
319.97 nbVisitedNodes=423105 nbRestartNogoods=220
319.98 => wckTime=318.117 cpuTime=316.39 mem=35M456
538.02
538.02 search
538.02 run=21 nbConstraintChecks=381302566 nbValidityChecks=790364254 nbPropagations=13081358 nbRevisions=149991236
538.02 nbUselessRevisions=117335173 nbAssignments=378036 nbFailedAssignments=228092 nbBacktracks=149613
538.02 nbVisitedNodes=705789 nbRestartNogoods=228
538.02 => wckTime=536.16 cpuTime=534.18 mem=35M456
800.95
800.95 search
800.95 run=22 nbConstraintChecks=574238145 nbValidityChecks=1208275764 nbPropagations=20176215 nbRevisions=233085483
800.95 nbUselessRevisions=182503910 nbAssignments=593794 nbFailedAssignments=368958 nbBacktracks=224431
800.95 nbVisitedNodes=1114843 nbRestartNogoods=250
800.95 => wckTime=799.095 cpuTime=796.81 mem=35M456
1114.84
1114.84 search
1114.84 run=23 nbConstraintChecks=808743929 nbValidityChecks=1721715657 nbPropagations=30435508 nbRevisions=351660108
1114.84 nbUselessRevisions=275430117 nbAssignments=879271 nbFailedAssignments=542202 nbBacktracks=336658
1114.84 nbVisitedNodes=1641163 nbRestartNogoods=271
1114.84 => wckTime=1112.983 cpuTime=1110.25 mem=35M456
1620.97
1620.97 search
1620.97 run=24 nbConstraintChecks=1189319023 nbValidityChecks=2535338687 nbPropagations=45640346 nbRevisions=525978218
1620.97 nbUselessRevisions=411936878 nbAssignments=1321138 nbFailedAssignments=815722 nbBacktracks=504999
1620.97 nbVisitedNodes=2459048 nbRestartNogoods=286
1620.97 => wckTime=1619.11 cpuTime=1615.83 mem=35M456
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-195909-1168116261 -o ROOT/results/node19/solver-195909-1168116261 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195909-1168116261/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.22 2.19 2.34 4/98 2214
/proc/meminfo: memFree=1396936/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=9740 CPUtime=0
/proc/2213/stat : 2213 (java) D 2211 2213 2146 0 -1 0 619 0 1 0 0 0 0 0 18 0 1 0 160020750 9973760 396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7822085 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/2213/statm: 2435 396 317 14 0 1138 0
[startup+0.102834 s]
/proc/loadavg: 2.22 2.19 2.34 4/98 2214
/proc/meminfo: memFree=1396936/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=912432 CPUtime=0.07
/proc/2213/stat : 2213 (java) D 2211 2213 2146 0 -1 0 2744 0 3 0 6 1 0 0 17 0 8 0 160020750 934330368 2492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228108 2492 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.510909 s]
/proc/loadavg: 2.22 2.19 2.34 4/98 2214
/proc/meminfo: memFree=1396936/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915328 CPUtime=0.34
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 5530 0 18 0 30 4 0 0 18 0 8 0 160020750 937295872 5286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582909 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228832 5286 2055 14 0 215302 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 915328
[startup+1.33306 s]
/proc/loadavg: 2.22 2.19 2.34 3/105 2221
/proc/meminfo: memFree=1341904/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915328 CPUtime=1.11
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 19071 0 19 0 99 12 0 0 22 0 8 0 160020750 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073328002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228832 18826 2160 14 0 215302 0
[pid=2213/tid=2215] ppid=2211 vsize=915328 CPUtime=0.06
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 2632 0 0 0 5 1 0 0 16 0 8 0 160020755 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915328 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915328 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 160020756 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915328 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915328 CPUtime=0.09
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 315 0 0 0 9 0 0 0 15 0 8 0 160020759 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915328 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915328 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937295872 18826 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 915328
[startup+2.98638 s]
/proc/loadavg: 2.22 2.19 2.34 3/105 2221
/proc/meminfo: memFree=1309840/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=2.76
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23448 0 19 0 260 16 0 0 25 0 8 0 160020750 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23201 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 17 0 8 0 160020755 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.2
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 160020759 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23201 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 915416
[startup+6.277 s]
/proc/loadavg: 2.21 2.19 2.34 3/105 2221
/proc/meminfo: memFree=1281488/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=5.93
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23464 0 19 0 577 16 0 0 25 0 8 0 160020750 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23214 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 17 0 8 0 160020755 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.25
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 385 0 0 0 23 2 0 0 16 0 8 0 160020759 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 915416
[startup+12.7672 s]
/proc/loadavg: 2.19 2.19 2.34 3/105 2221
/proc/meminfo: memFree=1281680/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=12.39
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23468 0 19 0 1222 17 0 0 25 0 8 0 160020750 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23217 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.25
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 389 0 0 0 23 2 0 0 16 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 915416
[startup+25.6356 s]
/proc/loadavg: 2.15 2.18 2.33 3/105 2221
/proc/meminfo: memFree=1282064/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=25.19
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23468 0 19 0 2502 17 0 0 25 0 8 0 160020750 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23217 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.25
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 389 0 0 0 23 2 0 0 16 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915416
[startup+51.2685 s]
/proc/loadavg: 2.15 2.18 2.33 3/105 2221
/proc/meminfo: memFree=1282064/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=50.7
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23469 0 19 0 5052 18 0 0 25 0 8 0 160020750 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23218 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.25
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915416
[startup+102.534 s]
/proc/loadavg: 2.19 2.18 2.32 3/105 2221
/proc/meminfo: memFree=1282192/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=101.72
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23470 0 19 0 10154 18 0 0 25 0 8 0 160020750 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2213/statm: 228854 23218 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.25
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 390 0 0 0 23 2 0 0 16 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915416
[startup+162.557 s]
/proc/loadavg: 2.07 2.14 2.30 3/105 2221
/proc/meminfo: memFree=1253904/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=161.43
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23470 0 19 0 16125 18 0 0 25 0 8 0 160020750 937385984 23218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1420.32
Current children cumulated vsize (KiB) 915416
[startup+1483.55 s]
/proc/loadavg: 2.02 2.03 2.07 3/102 2552
/proc/meminfo: memFree=1462432/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1480.3
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 147980 50 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.3
Current children cumulated vsize (KiB) 915416
[startup+1543.62 s]
/proc/loadavg: 2.01 2.02 2.06 3/102 2552
/proc/meminfo: memFree=1462368/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1540.3
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 153980 50 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.3
Current children cumulated vsize (KiB) 915416
[startup+1603.64 s]
/proc/loadavg: 2.00 2.02 2.06 5/102 2552
/proc/meminfo: memFree=1462304/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1600.26
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 159976 50 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.26
Current children cumulated vsize (KiB) 915416
[startup+1663.66 s]
/proc/loadavg: 2.06 2.03 2.06 3/102 2552
/proc/meminfo: memFree=1462240/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1660.22
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 165972 50 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.22
Current children cumulated vsize (KiB) 915416
[startup+1723.69 s]
/proc/loadavg: 2.09 2.04 2.06 3/102 2552
/proc/meminfo: memFree=1462176/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1720.16
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 171966 50 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073855510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.16
Current children cumulated vsize (KiB) 915416
[startup+1783.71 s]
/proc/loadavg: 2.03 2.03 2.05 3/102 2552
/proc/meminfo: memFree=1462112/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1780.13
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 177962 51 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628089 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.13
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.58 s]
/proc/loadavg: 2.02 2.02 2.05 3/102 2552
/proc/meminfo: memFree=1462112/2055920 swapFree=4171244/4192956
[pid=2213] ppid=2211 vsize=915416 CPUtime=1800
/proc/2213/stat : 2213 (java) R 2211 2213 2146 0 -1 0 23471 0 19 0 179949 51 0 0 25 0 8 0 160020750 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2213/statm: 228854 23219 2531 14 0 215324 0
[pid=2213/tid=2215] ppid=2211 vsize=915416 CPUtime=0.17
/proc/2213/task/2215/stat : 2215 (java) S 2211 2213 2146 0 -1 64 6483 0 0 0 15 2 0 0 16 0 8 0 160020755 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2216] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2216/stat : 2216 (java) S 2211 2213 2146 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2217] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2217/stat : 2217 (java) S 2211 2213 2146 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160020756 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2218] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2218/stat : 2218 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2219] ppid=2211 vsize=915416 CPUtime=0.26
/proc/2213/task/2219/stat : 2219 (java) S 2211 2213 2146 0 -1 64 391 0 0 0 24 2 0 0 16 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2213/tid=2220] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2220/stat : 2220 (java) S 2211 2213 2146 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2213/tid=2221] ppid=2211 vsize=915416 CPUtime=0
/proc/2213/task/2221/stat : 2221 (java) S 2211 2213 2146 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160020759 937385984 23219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1803.64
CPU time (s): 1800.06
CPU user time (s): 1799.53
CPU system time (s): 0.527919
CPU usage (%): 99.8015
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.527919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23488
page faults= 19
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37647
involuntary context switches= 50069
runsolver used 2.49562 s user time and 7.8998 s system time
The end
Begin job on node19 on Sat Jan 6 20:44:21 UTC 2007
IDJOB= 195909
IDBENCH= 3311
FILE ID= node19/195909-1168116261
PBS_JOBID= 3477138
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195909-1168116261/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-195909-1168116261 -o ROOT/results/node19/solver-195909-1168116261 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195909-1168116261/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2935e3d0ce040fb7a21269106e8b439b
RANDOM SEED= 961890284
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.260
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.260
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: 1397416 kB
Buffers: 36148 kB
Cached: 64440 kB
SwapCached: 10320 kB
Active: 533500 kB
Inactive: 63176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1397416 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 4712 kB
Writeback: 0 kB
Mapped: 515068 kB
Slab: 45536 kB
Committed_AS: 4578684 kB
PageTables: 3316 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= 66303 MiB
End job on node19 on Sat Jan 6 21:14:25 UTC 2007