0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/203171-1168072946/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.59
1.59 constraints being loaded...
2.37 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.37 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.37 => wckTime=2.047 cpuTime=1.62 mem=58M10
2.53
2.53 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.379 cpuTime=1.76 mem=65M425
2.71
2.71 preprocessing
2.71 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.71 detectedInconsistency=no
2.71 => wckTime=0.0040 cpuTime=0.01 mem=65M425
2.84
2.84 search
2.84 run=0 nbConstraintChecks=35134 nbValidityChecks=59758 nbPropagations=344 nbRevisions=3707
2.84 nbUselessRevisions=3004 nbAssignments=25 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=39
2.84 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.84 => wckTime=0.132 cpuTime=0.1 mem=66M426
2.99
2.99 search
2.99 run=1 nbConstraintChecks=116733 nbValidityChecks=206151 nbPropagations=1296 nbRevisions=15038
2.99 nbUselessRevisions=12162 nbAssignments=73 nbFailedAssignments=33 nbBacktracks=25 nbVisitedNodes=122
2.99 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=0.284 cpuTime=0.24 mem=66M426
3.21
3.21 search
3.21 run=2 nbConstraintChecks=241072 nbValidityChecks=442010 nbPropagations=3317 nbRevisions=39564
3.21 nbUselessRevisions=31825 nbAssignments=138 nbFailedAssignments=68 nbBacktracks=48 nbVisitedNodes=240
3.21 nbRestartNogoods=8 mapSize=45 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=0.506 cpuTime=0.46 mem=66M426
3.40
3.40 search
3.40 run=3 nbConstraintChecks=354115 nbValidityChecks=658889 nbPropagations=6324 nbRevisions=77017
3.40 nbUselessRevisions=61976 nbAssignments=221 nbFailedAssignments=110 nbBacktracks=83 nbVisitedNodes=389
3.40 nbRestartNogoods=11 mapSize=79 nbInferences=0 nbTooLargeKeys=0
3.40 => wckTime=0.691 cpuTime=0.64 mem=66M426
3.63
3.63 search
3.63 run=4 nbConstraintChecks=485488 nbValidityChecks=928243 nbPropagations=10890 nbRevisions=133305
3.63 nbUselessRevisions=106964 nbAssignments=354 nbFailedAssignments=184 nbBacktracks=134 nbVisitedNodes=628
3.63 nbRestartNogoods=15 mapSize=122 nbInferences=0 nbTooLargeKeys=0
3.63 => wckTime=0.922 cpuTime=0.86 mem=66M426
4.03
4.03 search
4.03 run=5 nbConstraintChecks=729927 nbValidityChecks=1414383 nbPropagations=17826 nbRevisions=220787
4.03 nbUselessRevisions=177027 nbAssignments=546 nbFailedAssignments=294 nbBacktracks=209 nbVisitedNodes=982
4.04 nbRestartNogoods=20 mapSize=189 nbInferences=0 nbTooLargeKeys=0
4.04 => wckTime=1.328 cpuTime=1.26 mem=66M426
4.63
4.63 search
4.63 run=6 nbConstraintChecks=1101849 nbValidityChecks=2137982 nbPropagations=28403 nbRevisions=355136
4.63 nbUselessRevisions=284111 nbAssignments=891 nbFailedAssignments=519 nbBacktracks=322 nbVisitedNodes=1617
4.63 nbRestartNogoods=27 mapSize=280 nbInferences=0 nbTooLargeKeys=0
4.63 => wckTime=1.922 cpuTime=1.84 mem=66M426
5.60
5.60 search
5.60 run=7 nbConstraintChecks=1703761 nbValidityChecks=3331020 nbPropagations=44654 nbRevisions=563491
5.60 nbUselessRevisions=450127 nbAssignments=1366 nbFailedAssignments=817 nbBacktracks=493 nbVisitedNodes=2503
5.60 nbRestartNogoods=31 mapSize=434 nbInferences=0 nbTooLargeKeys=0
5.60 => wckTime=2.892 cpuTime=2.81 mem=66M426
7.03
7.03 search
7.03 run=8 nbConstraintChecks=2609564 nbValidityChecks=5129670 nbPropagations=70045 nbRevisions=888149
7.03 nbUselessRevisions=707474 nbAssignments=2257 nbFailedAssignments=1442 nbBacktracks=749 nbVisitedNodes=4184
7.03 nbRestartNogoods=35 mapSize=652 nbInferences=0 nbTooLargeKeys=0
7.03 => wckTime=4.323 cpuTime=4.2 mem=66M426
9.12
9.12 search
9.12 run=9 nbConstraintChecks=3940324 nbValidityChecks=7708628 nbPropagations=107261 nbRevisions=1369058
9.12 nbUselessRevisions=1089812 nbAssignments=3263 nbFailedAssignments=2054 nbBacktracks=1136 nbVisitedNodes=6053
9.12 nbRestartNogoods=47 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
9.12 => wckTime=6.416 cpuTime=6.26 mem=66M426
9.23
9.23 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=66M426)
11.98
11.98 search
11.98 run=10 nbConstraintChecks=5750620 nbValidityChecks=11243611 nbPropagations=163319 nbRevisions=2078751
11.98 nbUselessRevisions=1654247 nbAssignments=4625 nbFailedAssignments=2834 nbBacktracks=1712 nbVisitedNodes=8600
11.98 nbRestartNogoods=53
11.98 => wckTime=9.278 cpuTime=9.09 mem=66M426
17.46
17.46 search
17.46 run=11 nbConstraintChecks=9141241 nbValidityChecks=17941194 nbPropagations=250677 nbRevisions=3200551
17.46 nbUselessRevisions=2548893 nbAssignments=6871 nbFailedAssignments=4210 nbBacktracks=2578 nbVisitedNodes=12883
17.46 nbRestartNogoods=60
17.46 => wckTime=14.754 cpuTime=14.52 mem=66M426
24.62
24.62 search
24.62 run=12 nbConstraintChecks=13767150 nbValidityChecks=26849188 nbPropagations=385193 nbRevisions=4931660
24.62 nbUselessRevisions=3924040 nbAssignments=10970 nbFailedAssignments=7005 nbBacktracks=3876 nbVisitedNodes=20625
24.62 nbRestartNogoods=62
24.62 => wckTime=21.912 cpuTime=21.61 mem=66M426
38.82
38.82 search
38.82 run=13 nbConstraintChecks=22779988 nbValidityChecks=44708837 nbPropagations=593068 nbRevisions=7663330
38.82 nbUselessRevisions=6107263 nbAssignments=16862 nbFailedAssignments=10944 nbBacktracks=5822 nbVisitedNodes=31970
38.82 nbRestartNogoods=69
38.82 => wckTime=36.113 cpuTime=35.68 mem=66M426
54.64
54.64 search
54.64 run=14 nbConstraintChecks=33180694 nbValidityChecks=65444293 nbPropagations=906133 nbRevisions=11729210
54.64 nbUselessRevisions=9341498 nbAssignments=26952 nbFailedAssignments=18106 nbBacktracks=8741 nbVisitedNodes=51082
54.64 nbRestartNogoods=90
54.64 => wckTime=51.932 cpuTime=51.35 mem=66M426
86.21
86.21 search
86.21 run=15 nbConstraintChecks=53125894 nbValidityChecks=105441239 nbPropagations=1381198 nbRevisions=18027645
86.21 nbUselessRevisions=14385321 nbAssignments=40418 nbFailedAssignments=27187 nbBacktracks=13121
86.21 nbVisitedNodes=76880 nbRestartNogoods=105
86.21 => wckTime=83.5 cpuTime=82.63 mem=66M426
125.48
125.48 search
125.48 run=16 nbConstraintChecks=78127948 nbValidityChecks=153579089 nbPropagations=2069860 nbRevisions=27069218
125.48 nbUselessRevisions=21616726 nbAssignments=57927 nbFailedAssignments=38122 nbBacktracks=19689
125.48 nbVisitedNodes=109939 nbRestartNogoods=117
125.48 => wckTime=122.777 cpuTime=121.55 mem=66M426
182.30
182.30 search
182.30 run=17 nbConstraintChecks=115158311 nbValidityChecks=226703469 nbPropagations=3136649 nbRevisions=40980287
182.30 nbUselessRevisions=32679339 nbAssignments=91305 nbFailedAssignments=61640 nbBacktracks=29541
182.30 nbVisitedNodes=173350 nbRestartNogoods=128
182.30 => wckTime=179.59 cpuTime=177.85 mem=66M426
281.70
281.70 search
281.70 run=18 nbConstraintChecks=177798904 nbValidityChecks=351351603 nbPropagations=4712312 nbRevisions=61936368
281.70 nbUselessRevisions=49453964 nbAssignments=133226 nbFailedAssignments=88775 nbBacktracks=44322
281.70 nbVisitedNodes=252956 nbRestartNogoods=146
281.70 => wckTime=278.992 cpuTime=276.34 mem=66M426
407.06
407.06 search
407.06 run=19 nbConstraintChecks=259884889 nbValidityChecks=513711156 nbPropagations=7102466 nbRevisions=93143809
407.06 nbUselessRevisions=74302311 nbAssignments=207047 nbFailedAssignments=140420 nbBacktracks=66493
407.06 nbVisitedNodes=392641 nbRestartNogoods=153
407.06 => wckTime=404.357 cpuTime=400.56 mem=66M426
582.92
582.92 search
582.92 run=20 nbConstraintChecks=370974752 nbValidityChecks=733312252 nbPropagations=10514714 nbRevisions=137574635
582.92 nbUselessRevisions=109741313 nbAssignments=290340 nbFailedAssignments=190453 nbBacktracks=99745
582.92 nbVisitedNodes=547869 nbRestartNogoods=166
582.92 => wckTime=580.216 cpuTime=574.82 mem=66M426
851.02
851.02 search
851.02 run=21 nbConstraintChecks=542445346 nbValidityChecks=1066292592 nbPropagations=15607912 nbRevisions=202677539
851.02 nbUselessRevisions=161606033 nbAssignments=412849 nbFailedAssignments=263078 nbBacktracks=149623
851.02 nbVisitedNodes=777901 nbRestartNogoods=184
851.02 => wckTime=848.309 cpuTime=840.47 mem=66M426
1351.97
1351.97 search
1351.97 run=22 nbConstraintChecks=854101368 nbValidityChecks=1677665582 nbPropagations=23292583 nbRevisions=302150312
1351.97 nbUselessRevisions=240916660 nbAssignments=602395 nbFailedAssignments=377800 nbBacktracks=224441
1351.97 nbVisitedNodes=1134680 nbRestartNogoods=203
1351.97 => wckTime=1349.261 cpuTime=1336.6 mem=66M426
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-203171-1168072946 -o ROOT/results/node55/solver-203171-1168072946 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203171-1168072946/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.01 1.67 1.29 4/80 11075
/proc/meminfo: memFree=1167904/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=18540 CPUtime=0
/proc/11074/stat : 11074 (runsolver) R 11072 11074 10819 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155692923 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11074/statm: 4635 279 244 17 0 2626 0
[startup+0.112787 s]
/proc/loadavg: 2.01 1.67 1.29 4/80 11075
/proc/meminfo: memFree=1167904/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=914988 CPUtime=0.08
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 2984 0 1 0 7 1 0 0 17 0 8 0 155692923 936947712 2730 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228747 2730 1425 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.524384 s]
/proc/loadavg: 2.01 1.67 1.29 4/80 11075
/proc/meminfo: memFree=1167904/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915328 CPUtime=0.49
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 7532 0 1 0 45 4 0 0 18 0 8 0 155692923 937295872 7271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228832 7271 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.35791 s]
/proc/loadavg: 2.01 1.67 1.29 3/87 11082
/proc/meminfo: memFree=1100776/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915328 CPUtime=1.32
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 19100 0 1 0 122 10 0 0 25 0 8 0 155692923 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228832 18838 2149 14 0 215302 0
[pid=11074/tid=11076] ppid=11072 vsize=915328 CPUtime=0.06
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 155692928 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915328 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915328 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915328 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915328 CPUtime=0.08
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155692932 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915328 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915328 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328
[startup+3.01112 s]
/proc/loadavg: 2.01 1.67 1.29 3/87 11082
/proc/meminfo: memFree=1059880/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=2.95
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32558 0 1 0 279 16 0 0 25 0 8 0 155692923 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32292 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.2
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 376 0 0 0 20 0 0 0 15 0 8 0 155692932 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) R 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440
[startup+6.29039 s]
/proc/loadavg: 2.09 1.69 1.30 3/87 11082
/proc/meminfo: memFree=1048232/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=6.21
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32577 0 1 0 604 17 0 0 25 0 8 0 155692923 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32309 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.24
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 395 0 0 0 24 0 0 0 15 0 8 0 155692932 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915440
[startup+12.786 s]
/proc/loadavg: 2.08 1.70 1.30 3/87 11082
/proc/meminfo: memFree=1048232/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=12.64
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32587 0 1 0 1247 17 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915440
[startup+25.6413 s]
/proc/loadavg: 2.06 1.71 1.31 3/87 11082
/proc/meminfo: memFree=1048424/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=25.38
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32587 0 1 0 2521 17 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915440
[startup+51.2748 s]
/proc/loadavg: 2.04 1.74 1.33 3/87 11082
/proc/meminfo: memFree=1048360/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=50.77
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32587 0 1 0 5060 17 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915440
[startup+102.532 s]
/proc/loadavg: 2.02 1.77 1.36 3/87 11082
/proc/meminfo: memFree=1048488/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=101.56
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 10139 17 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915440
[startup+162.547 s]
/proc/loadavg: 2.00 1.81 1.40 3/87 11082
/proc/meminfo: memFree=1048488/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=161.03
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 16086 17 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.67
Current children cumulated vsize (KiB) 915440
[startup+1482.95 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 11280
/proc/meminfo: memFree=1048040/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1469.13
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 146894 19 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.13
Current children cumulated vsize (KiB) 915440
[startup+1543.03 s]
/proc/loadavg: 2.00 2.00 1.84 4/87 11280
/proc/meminfo: memFree=1048104/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1528.67
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 152848 19 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.67
Current children cumulated vsize (KiB) 915440
[startup+1603.11 s]
/proc/loadavg: 2.00 2.00 1.84 3/87 11280
/proc/meminfo: memFree=1048104/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1588.46
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 158826 20 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.46
Current children cumulated vsize (KiB) 915440
[startup+1663.2 s]
/proc/loadavg: 2.00 2.00 1.85 3/87 11280
/proc/meminfo: memFree=1048104/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1648.27
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 164807 20 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.27
Current children cumulated vsize (KiB) 915440
[startup+1723.23 s]
/proc/loadavg: 1.96 1.98 1.85 3/87 11338
/proc/meminfo: memFree=1147360/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1708.21
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 170801 20 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.21
Current children cumulated vsize (KiB) 915440
[startup+1783.25 s]
/proc/loadavg: 1.98 1.98 1.86 3/87 11338
/proc/meminfo: memFree=1147424/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1768.22
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 176802 20 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.22
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.1 s]
/proc/loadavg: 1.99 1.98 1.86 3/87 11338
/proc/meminfo: memFree=1147424/2055920 swapFree=4192812/4192956
[pid=11074] ppid=11072 vsize=915440 CPUtime=1800.07
/proc/11074/stat : 11074 (java) R 11072 11074 10819 0 -1 0 32588 0 1 0 179987 20 0 0 25 0 8 0 155692923 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11074/statm: 228860 32317 2521 14 0 215330 0
[pid=11074/tid=11076] ppid=11072 vsize=915440 CPUtime=0.46
/proc/11074/task/11076/stat : 11076 (java) S 11072 11074 10819 0 -1 64 15583 0 0 0 40 6 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11077] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11077/stat : 11077 (java) S 11072 11074 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11078] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11078/stat : 11078 (java) S 11072 11074 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155692928 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11079] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11079/stat : 11079 (java) S 11072 11074 10819 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11080] ppid=11072 vsize=915440 CPUtime=0.26
/proc/11074/task/11080/stat : 11080 (java) S 11072 11074 10819 0 -1 64 404 0 0 0 26 0 0 0 16 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11081] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11081/stat : 11081 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11074/tid=11082] ppid=11072 vsize=915440 CPUtime=0
/proc/11074/task/11082/stat : 11082 (java) S 11072 11074 10819 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155692932 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.15
CPU time (s): 1800.12
CPU user time (s): 1799.89
CPU system time (s): 0.228965
CPU usage (%): 99.1719
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32604
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37878
involuntary context switches= 69219
runsolver used 2.30065 s user time and 5.57315 s system time
The end
Begin job on node55 on Sat Jan 6 08:42:27 UTC 2007
IDJOB= 203171
IDBENCH= 3924
FILE ID= node55/203171-1168072946
PBS_JOBID= 3475984
Free space on /tmp= 66531 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203171-1168072946/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-203171-1168072946 -o ROOT/results/node55/solver-203171-1168072946 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203171-1168072946/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cce2fe8a82350e68a666dd3adc81b815
RANDOM SEED= 943472002
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1168320 kB
Buffers: 54964 kB
Cached: 608988 kB
SwapCached: 0 kB
Active: 240048 kB
Inactive: 563892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1168320 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7484 kB
Writeback: 0 kB
Mapped: 160244 kB
Slab: 68856 kB
Committed_AS: 3787692 kB
PageTables: 2004 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= 66537 MiB
End job on node55 on Sat Jan 6 09:12:42 UTC 2007