0.66
0.66 Abscon 109 (November, 2006)
0.66
0.66 configuration
0.66 name=mac.xml
0.71
0.71 instance
0.71 name=/tmp/evaluation/195156-1168069694/unknown.xml
0.74
0.74 domains being loaded...
0.74
0.74 variables being loaded...
0.78 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.78 => wckTime=0.114 cpuTime=0.08 mem=6M951
0.78
0.78 relations being loaded...
0.92
0.92 constraints being loaded...
1.06 nbConstraints=476 nbRelationTypes=476 nbExtensionStructures=476 nbSharedExtensionStructures=0
1.06 nbConflictsStructures=476 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2558 maxDegree=27
1.06 maxArity=2
1.06 => wckTime=0.393 cpuTime=0.29 mem=17M695
1.11
1.11 solver IterativeSystematicSolver being built...
1.25 => wckTime=0.582 cpuTime=0.4 mem=15M384
1.26
1.26 preprocessing
1.26 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.26 detectedInconsistency=no
1.26 => wckTime=0.0080 cpuTime=0.01 mem=15M384
1.31
1.31 search
1.31 run=0 nbConstraintChecks=48761 nbPropagations=654 nbRevisions=7957 nbUselessRevisions=6640 nbAssignments=34
1.31 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.31 nbTooLargeKeys=0
1.31 => wckTime=0.056 cpuTime=0.04 mem=15M384
1.33
1.33 search
1.33 run=1 nbConstraintChecks=104666 nbPropagations=1967 nbRevisions=24541 nbUselessRevisions=20563
1.33 nbAssignments=68 nbFailedAssignments=19 nbBacktracks=26 nbVisitedNodes=102 nbRestartNogoods=5 mapSize=19
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.08 cpuTime=0.06 mem=15M384
1.35
1.35 search
1.35 run=2 nbConstraintChecks=178996 nbPropagations=4124 nbRevisions=52810 nbUselessRevisions=44065
1.35 nbAssignments=112 nbFailedAssignments=31 nbBacktracks=48 nbVisitedNodes=171 nbRestartNogoods=7 mapSize=36
1.35 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.1 cpuTime=0.07 mem=15M384
1.38
1.38 search
1.38 run=3 nbConstraintChecks=301698 nbPropagations=7620 nbRevisions=100967 nbUselessRevisions=83763
1.38 nbAssignments=175 nbFailedAssignments=55 nbBacktracks=81 nbVisitedNodes=278 nbRestartNogoods=12 mapSize=65
1.38 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.123 cpuTime=0.09 mem=15M384
1.40
1.40 search
1.40 run=4 nbConstraintChecks=422488 nbPropagations=12604 nbRevisions=170258 nbUselessRevisions=141061
1.40 nbAssignments=264 nbFailedAssignments=80 nbBacktracks=135 nbVisitedNodes=412 nbRestartNogoods=13 mapSize=100
1.40 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.149 cpuTime=0.12 mem=15M384
1.44
1.44 search
1.44 run=5 nbConstraintChecks=632500 nbPropagations=19933 nbRevisions=275355 nbUselessRevisions=228204
1.44 nbAssignments=387 nbFailedAssignments=120 nbBacktracks=211 nbVisitedNodes=615 nbRestartNogoods=16 mapSize=165
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.186 cpuTime=0.15 mem=15M384
1.49
1.49 search
1.49 run=6 nbConstraintChecks=893932 nbPropagations=30697 nbRevisions=431004 nbUselessRevisions=357123
1.49 nbAssignments=580 nbFailedAssignments=185 nbBacktracks=328 nbVisitedNodes=929 nbRestartNogoods=17 mapSize=257
1.49 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.239 cpuTime=0.2 mem=15M384
1.59
1.59 search
1.59 run=7 nbConstraintChecks=1498901 nbPropagations=47822 nbRevisions=685862 nbUselessRevisions=566628
1.59 nbAssignments=893 nbFailedAssignments=317 nbBacktracks=500 nbVisitedNodes=1473 nbRestartNogoods=22 mapSize=404
1.59 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.334 cpuTime=0.3 mem=15M384
1.71
1.71 search
1.71 run=8 nbConstraintChecks=2155424 nbPropagations=73359 nbRevisions=1070957 nbUselessRevisions=883165
1.71 nbAssignments=1337 nbFailedAssignments=493 nbBacktracks=757 nbVisitedNodes=2234 nbRestartNogoods=27
1.71 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.454 cpuTime=0.41 mem=15M384
1.87
1.87 search
1.87 run=9 nbConstraintChecks=3070924 nbPropagations=110857 nbRevisions=1643035 nbUselessRevisions=1354670
1.87 nbAssignments=1965 nbFailedAssignments=726 nbBacktracks=1142 nbVisitedNodes=3309 nbRestartNogoods=34
1.87 mapSize=946 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.62 cpuTime=0.56 mem=15M384
1.92
1.92 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=15M384)
2.11
2.11 search
2.11 run=10 nbConstraintChecks=4597121 nbPropagations=166799 nbRevisions=2497651 nbUselessRevisions=2057665
2.11 nbAssignments=2919 nbFailedAssignments=1091 nbBacktracks=1719 nbVisitedNodes=4933 nbRestartNogoods=40
2.11 => wckTime=0.857 cpuTime=0.79 mem=15M384
2.42
2.42 search
2.42 run=11 nbConstraintChecks=6677289 nbPropagations=248759 nbRevisions=3762954 nbUselessRevisions=3101134
2.42 nbAssignments=4318 nbFailedAssignments=1612 nbBacktracks=2585 nbVisitedNodes=7300 nbRestartNogoods=46
2.42 => wckTime=1.168 cpuTime=1.1 mem=15M384
2.92
2.92 search
2.92 run=12 nbConstraintChecks=10217402 nbPropagations=371553 nbRevisions=5681113 nbUselessRevisions=4682243
2.92 nbAssignments=6445 nbFailedAssignments=2430 nbBacktracks=3885 nbVisitedNodes=10918 nbRestartNogoods=54
2.92 => wckTime=1.668 cpuTime=1.6 mem=15M384
3.65
3.65 search
3.65 run=13 nbConstraintChecks=15167821 nbPropagations=554737 nbRevisions=8566697 nbUselessRevisions=7063469
3.65 nbAssignments=9593 nbFailedAssignments=3624 nbBacktracks=5831 nbVisitedNodes=16314 nbRestartNogoods=60
3.65 => wckTime=2.394 cpuTime=2.32 mem=15M384
4.70
4.70 search
4.70 run=14 nbConstraintChecks=22248491 nbPropagations=825342 nbRevisions=12863480 nbUselessRevisions=10617745
4.70 nbAssignments=14206 nbFailedAssignments=5308 nbBacktracks=8750 nbVisitedNodes=24217 nbRestartNogoods=67
4.70 => wckTime=3.444 cpuTime=3.37 mem=15M384
6.35
6.35 search
6.35 run=15 nbConstraintChecks=33721729 nbPropagations=1234105 nbRevisions=19356193 nbUselessRevisions=15989814
6.35 nbAssignments=21375 nbFailedAssignments=8087 nbBacktracks=13130 nbVisitedNodes=36572 nbRestartNogoods=74
6.35 => wckTime=5.095 cpuTime=5.02 mem=15M384
8.80
8.80 search
8.80 run=16 nbConstraintChecks=50724383 nbPropagations=1846994 nbRevisions=29091028 nbUselessRevisions=24036084
8.80 nbAssignments=32092 nbFailedAssignments=12225 nbBacktracks=19699 nbVisitedNodes=55099 nbRestartNogoods=88
8.80 => wckTime=7.544 cpuTime=7.47 mem=15M384
12.64
12.64 search
12.64 run=17 nbConstraintChecks=78256513 nbPropagations=2774063 nbRevisions=43876364 nbUselessRevisions=36251156
12.64 nbAssignments=47895 nbFailedAssignments=18164 nbBacktracks=29554 nbVisitedNodes=82146 nbRestartNogoods=94
12.64 => wckTime=11.386 cpuTime=11.31 mem=15M384
18.04
18.04 search
18.04 run=18 nbConstraintChecks=115948249 nbPropagations=4154142 nbRevisions=65919502 nbUselessRevisions=54477030
18.04 nbAssignments=71403 nbFailedAssignments=26883 nbBacktracks=44332 nbVisitedNodes=122333 nbRestartNogoods=103
18.04 => wckTime=16.789 cpuTime=16.71 mem=15M384
26.90
26.90 search
26.90 run=19 nbConstraintChecks=179911962 nbPropagations=6253537 nbRevisions=99773715 nbUselessRevisions=82488983
26.90 nbAssignments=107362 nbFailedAssignments=40661 nbBacktracks=66504 nbVisitedNodes=184265 nbRestartNogoods=114
26.90 => wckTime=25.652 cpuTime=25.56 mem=15M384
39.03
39.03 search
39.03 run=20 nbConstraintChecks=263963095 nbPropagations=9365468 nbRevisions=149670867 nbUselessRevisions=123765026
39.03 nbAssignments=160154 nbFailedAssignments=60190 nbBacktracks=99757 nbVisitedNodes=274405 nbRestartNogoods=126
39.03 => wckTime=37.773 cpuTime=37.68 mem=15M384
58.23
58.23 search
58.23 run=21 nbConstraintChecks=401038394 nbPropagations=14045636 nbRevisions=224963941 nbUselessRevisions=185974365
58.23 nbAssignments=241065 nbFailedAssignments=91213 nbBacktracks=149638 nbVisitedNodes=412906 nbRestartNogoods=135
58.23 => wckTime=56.977 cpuTime=56.86 mem=15M384
86.92
86.92 search
86.92 run=22 nbConstraintChecks=609900442 nbPropagations=21079382 nbRevisions=337975628 nbUselessRevisions=279237614
86.92 nbAssignments=361326 nbFailedAssignments=136645 nbBacktracks=224460 nbVisitedNodes=619080 nbRestartNogoods=149
86.92 => wckTime=85.668 cpuTime=85.54 mem=15M384
128.83
128.83 search
128.83 run=23 nbConstraintChecks=902732343 nbPropagations=31572460 nbRevisions=506309358 nbUselessRevisions=418253757
128.83 nbAssignments=539414 nbFailedAssignments=202496 nbBacktracks=336689 nbVisitedNodes=923566 nbRestartNogoods=155
128.83 => wckTime=127.578 cpuTime=127.4 mem=15M384
193.81
193.81 search
193.81 run=24 nbConstraintChecks=1367432688 nbPropagations=47357521 nbRevisions=761132637 nbUselessRevisions=628840174
193.81 nbAssignments=811439 nbFailedAssignments=306169 nbBacktracks=505030 nbVisitedNodes=1390953 nbRestartNogoods=171
193.81 => wckTime=192.561 cpuTime=192.31 mem=15M384
287.05
287.05 search
287.05 run=25 nbConstraintChecks=2016584509 nbPropagations=70879995 nbRevisions=1138645091
287.05 nbUselessRevisions=940816985 nbAssignments=1213973 nbFailedAssignments=456180 nbBacktracks=757542
287.05 nbVisitedNodes=2078844 nbRestartNogoods=194
287.05 => wckTime=285.795 cpuTime=285.46 mem=15M384
430.39
430.39 search
430.39 run=26 nbConstraintChecks=3032117943 nbPropagations=106129404 nbRevisions=1705342012
430.39 nbUselessRevisions=1409198970 nbAssignments=1817591 nbFailedAssignments=681024 nbBacktracks=1136309
430.39 nbVisitedNodes=3114725 nbRestartNogoods=207
430.39 => wckTime=429.138 cpuTime=428.67 mem=15M384
615.83
615.83 search
615.83 run=27 nbConstraintChecks=4328373748 nbPropagations=156861723 nbRevisions=2516623076
615.83 nbUselessRevisions=2079376584 nbAssignments=2622267 nbFailedAssignments=981749 nbBacktracks=1640210
615.83 nbVisitedNodes=4491035 nbRestartNogoods=215
615.83 => wckTime=614.575 cpuTime=613.94 mem=15M384
615.83
615.83 global
615.83 nbConstraintChecks=4328373748 nbPropagations=156861773 nbRevisions=2516623076 nbUselessRevisions=2079376584
615.83 nbRestartNogoods=215 solvingWckTime=614.576 solvingCpuTime=613.94 expiredTime=no totalExploration=no
615.83 nbFoundSolutions=1 globalCpuTime=614.38
615.83 => wckTime=615.161 cpuTime=614.34 mem=15M384
615.83
615.83 s SATISFIABLE
615.83 v 1 4 11 17 10 12 16 19 5 0 11 0 3 2 16 10 10 16 4 22 17 19 14 8 4 11 9 10 11 11 13 1 4 5 21 5 8 0 15 16 1 4 14 15 21 11 13 7 5 12
615.83 d NODES 2622267
615.83 d CHECKS 4328373748
615.83
615.83 totalWckTime=615.243 totalCpuTime=614.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-195156-1168069694 -o ROOT/results/node44/solver-195156-1168069694 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/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.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=292 CPUtime=0
/proc/8325/stat : 8325 (java) D 8323 8325 7888 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 155368480 299008 37 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 11281188 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/8325/statm: 73 37 29 14 0 5 0
[startup+0.106555 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=9948 CPUtime=0.01
/proc/8325/stat : 8325 (java) D 8323 8325 7888 0 -1 0 712 0 13 0 0 1 0 0 16 0 1 0 155368480 10186752 474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 1 0 0
/proc/8325/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948
[startup+0.514596 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 8326
/proc/meminfo: memFree=1365016/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915120 CPUtime=0.22
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 3721 0 91 0 16 6 0 0 18 0 8 0 155368480 937082880 3557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228780 3557 1747 14 0 215275 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 915120
[startup+1.33568 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315936/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=0.99
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9542 0 102 0 87 12 0 0 21 0 8 0 155368480 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9381 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 155368497 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.18
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9381 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 915460
[startup+2.97585 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315424/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=2.63
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9565 0 102 0 250 13 0 0 25 0 8 0 155368480 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9403 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 17 0 8 0 155368497 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 915460
[startup+6.18218 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1315104/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=5.84
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 571 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 915460
[startup+12.6548 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1314720/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=12.31
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 1218 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 915460
[startup+25.5312 s]
/proc/loadavg: 1.95 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1314208/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=25.17
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9567 0 102 0 2504 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815792 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 915460
[startup+51.1498 s]
/proc/loadavg: 1.96 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1312992/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=50.76
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9568 0 102 0 5063 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933277 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.23
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915460
[startup+102.394 s]
/proc/loadavg: 1.98 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1308768/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=101.96
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9568 0 102 0 10183 13 0 0 25 0 8 0 155368480 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9404 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915460
[startup+162.493 s]
/proc/loadavg: 1.99 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1297568/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=162
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 16187 13 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 915460
[startup+222.493 s]
/proc/loadavg: 1.99 1.99 1.91 3/80 8333
/proc/meminfo: memFree=1290528/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=221.96
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 22182 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 915460
[startup+282.592 s]
/proc/loadavg: 1.99 1.99 1.91 4/80 8333
/proc/meminfo: memFree=1282080/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=281.99
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 28185 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 915460
[startup+342.693 s]
/proc/loadavg: 2.05 2.01 1.92 3/80 8333
/proc/meminfo: memFree=1275040/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=342.04
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 34190 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 915460
[startup+402.789 s]
/proc/loadavg: 2.02 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1269920/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=402.08
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 40194 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 915460
[startup+462.888 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1265120/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=462.11
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 46197 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855924 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) R 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 915460
[startup+522.889 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1261152/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=522.06
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 52192 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 915460
[startup+582.986 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 8333
/proc/meminfo: memFree=1257824/2055920 swapFree=4192812/4192956
[pid=8325] ppid=8323 vsize=915460 CPUtime=582.11
/proc/8325/stat : 8325 (java) R 8323 8325 7888 0 -1 0 9569 0 102 0 58197 14 0 0 25 0 8 0 155368480 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8325/statm: 228865 9405 2513 14 0 215335 0
[pid=8325/tid=8327] ppid=8323 vsize=915460 CPUtime=0.03
/proc/8325/task/8327/stat : 8327 (java) S 8323 8325 7888 0 -1 64 413 0 0 0 3 0 0 0 16 0 8 0 155368497 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8328] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8328/stat : 8328 (java) S 8323 8325 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8329] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8329/stat : 8329 (java) S 8323 8325 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155368498 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8330] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8330/stat : 8330 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8331] ppid=8323 vsize=915460 CPUtime=0.24
/proc/8325/task/8331/stat : 8331 (java) S 8323 8325 7888 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8325/tid=8332] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8332/stat : 8332 (java) S 8323 8325 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8325/tid=8333] ppid=8323 vsize=915460 CPUtime=0
/proc/8325/task/8333/stat : 8333 (java) S 8323 8325 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155368503 937431040 9405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 615.887
CPU time (s): 614.942
CPU user time (s): 614.788
CPU system time (s): 0.154976
CPU usage (%): 99.8467
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 614.788
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9578
page faults= 102
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13827
involuntary context switches= 4465
runsolver used 0.671897 s user time and 2.06768 s system time
The end
Begin job on node44 on Sat Jan 6 07:48:14 UTC 2007
IDJOB= 195156
IDBENCH= 3252
FILE ID= node44/195156-1168069694
PBS_JOBID= 3475888
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-195156-1168069694 -o ROOT/results/node44/solver-195156-1168069694 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195156-1168069694/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4d734d4951bba2ded06d16dc01fa3948
RANDOM SEED= 206063183
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1365432 kB
Buffers: 18436 kB
Cached: 252204 kB
SwapCached: 0 kB
Active: 374968 kB
Inactive: 245864 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1365432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 363840 kB
Slab: 54216 kB
Committed_AS: 3222928 kB
PageTables: 2708 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 node44 on Sat Jan 6 07:58:30 UTC 2007