0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/229661-1168080995/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.55
0.55 constraints being loaded...
0.68 nbConstraints=469 nbRelationTypes=469 nbExtensionStructures=469 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=469 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2398 maxDegree=28
0.68 maxArity=2
0.68 => wckTime=0.371 cpuTime=0.29 mem=17M695
0.72
0.72 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.559 cpuTime=0.4 mem=15M372
0.88
0.88 preprocessing
0.88 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.88 detectedInconsistency=no
0.88 => wckTime=0.0080 cpuTime=0.0 mem=15M372
0.92
0.92 search
0.92 run=0 nbConstraintChecks=42521 nbPropagations=605 nbRevisions=6376 nbUselessRevisions=5354 nbAssignments=30
0.92 nbFailedAssignments=5 nbBacktracks=15 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.053 cpuTime=0.03 mem=15M372
0.95
0.95 search
0.95 run=1 nbConstraintChecks=100176 nbPropagations=1903 nbRevisions=21140 nbUselessRevisions=17618
0.95 nbAssignments=64 nbFailedAssignments=12 nbBacktracks=33 nbVisitedNodes=92 nbRestartNogoods=2 mapSize=22
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.077 cpuTime=0.04 mem=15M372
0.96
0.96 search
0.97 run=2 nbConstraintChecks=178980 nbPropagations=4103 nbRevisions=48249 nbUselessRevisions=39882
0.97 nbAssignments=116 nbFailedAssignments=32 nbBacktracks=58 nbVisitedNodes=175 nbRestartNogoods=4 mapSize=42
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.096 cpuTime=0.06 mem=15M372
0.99
0.99 search
0.99 run=3 nbConstraintChecks=290139 nbPropagations=7615 nbRevisions=93070 nbUselessRevisions=76339
0.99 nbAssignments=177 nbFailedAssignments=49 nbBacktracks=91 nbVisitedNodes=271 nbRestartNogoods=6 mapSize=71
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.117 cpuTime=0.08 mem=15M372
1.01
1.01 search
1.01 run=4 nbConstraintChecks=448599 nbPropagations=13063 nbRevisions=166478 nbUselessRevisions=136505
1.01 nbAssignments=278 nbFailedAssignments=87 nbBacktracks=141 nbVisitedNodes=439 nbRestartNogoods=10 mapSize=119
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.145 cpuTime=0.11 mem=15M372
1.05
1.05 search
1.05 run=5 nbConstraintChecks=606473 nbPropagations=20746 nbRevisions=271630 nbUselessRevisions=223063
1.05 nbAssignments=400 nbFailedAssignments=124 nbBacktracks=216 nbVisitedNodes=634 nbRestartNogoods=13 mapSize=181
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.178 cpuTime=0.14 mem=15M372
1.10
1.10 search
1.10 run=6 nbConstraintChecks=919221 nbPropagations=32361 nbRevisions=437089 nbUselessRevisions=359404
1.10 nbAssignments=601 nbFailedAssignments=201 nbBacktracks=329 nbVisitedNodes=976 nbRestartNogoods=18 mapSize=280
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.235 cpuTime=0.2 mem=15M372
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1276954 nbPropagations=48916 nbRevisions=672333 nbUselessRevisions=552730
1.18 nbAssignments=873 nbFailedAssignments=290 nbBacktracks=502 nbVisitedNodes=1416 nbRestartNogoods=24 mapSize=405
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.306 cpuTime=0.27 mem=15M372
1.30
1.30 search
1.30 run=8 nbConstraintChecks=1907714 nbPropagations=73514 nbRevisions=1034867 nbUselessRevisions=851828
1.30 nbAssignments=1313 nbFailedAssignments=460 nbBacktracks=758 nbVisitedNodes=2167 nbRestartNogoods=30
1.30 mapSize=619 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.429 cpuTime=0.38 mem=15M372
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2915811 nbPropagations=110721 nbRevisions=1591585 nbUselessRevisions=1311417
1.48 nbAssignments=1957 nbFailedAssignments=709 nbBacktracks=1143 nbVisitedNodes=3271 nbRestartNogoods=38
1.48 mapSize=933 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.611 cpuTime=0.55 mem=15M372
1.53
1.53 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=15M372)
1.70
1.70 search
1.70 run=10 nbConstraintChecks=4292942 nbPropagations=165125 nbRevisions=2411370 nbUselessRevisions=1986746
1.70 nbAssignments=2877 nbFailedAssignments=1044 nbBacktracks=1719 nbVisitedNodes=4834 nbRestartNogoods=47
1.70 => wckTime=0.834 cpuTime=0.76 mem=15M372
2.04
2.04 search
2.04 run=11 nbConstraintChecks=6635559 nbPropagations=247335 nbRevisions=3666337 nbUselessRevisions=3019725
2.04 nbAssignments=4311 nbFailedAssignments=1602 nbBacktracks=2583 nbVisitedNodes=7285 nbRestartNogoods=52
2.04 => wckTime=1.172 cpuTime=1.1 mem=15M372
2.54
2.54 search
2.54 run=12 nbConstraintChecks=9854520 nbPropagations=370293 nbRevisions=5550190 nbUselessRevisions=4572415
2.54 nbAssignments=6458 nbFailedAssignments=2441 nbBacktracks=3880 nbVisitedNodes=10984 nbRestartNogoods=59
2.54 => wckTime=1.671 cpuTime=1.59 mem=15M372
3.30
3.30 search
3.30 run=13 nbConstraintChecks=14845283 nbPropagations=552715 nbRevisions=8350967 nbUselessRevisions=6876434
3.30 nbAssignments=9552 nbFailedAssignments=3577 nbBacktracks=5829 nbVisitedNodes=16223 nbRestartNogoods=67
3.30 => wckTime=2.428 cpuTime=2.35 mem=15M372
4.46
4.46 search
4.46 run=14 nbConstraintChecks=22439704 nbPropagations=827222 nbRevisions=12587941 nbUselessRevisions=10364177
4.46 nbAssignments=14323 nbFailedAssignments=5418 nbBacktracks=8751 nbVisitedNodes=24370 nbRestartNogoods=79
4.46 => wckTime=3.586 cpuTime=3.51 mem=15M372
6.35
6.35 search
6.35 run=15 nbConstraintChecks=35197422 nbPropagations=1247726 nbRevisions=19201270 nbUselessRevisions=15819679
6.35 nbAssignments=21643 nbFailedAssignments=8348 nbBacktracks=13132 nbVisitedNodes=37033 nbRestartNogoods=88
6.35 => wckTime=5.481 cpuTime=5.4 mem=15M372
9.03
9.03 search
9.03 run=16 nbConstraintChecks=52325602 nbPropagations=1881432 nbRevisions=29156364 nbUselessRevisions=24034318
9.03 nbAssignments=32570 nbFailedAssignments=12696 nbBacktracks=19702 nbVisitedNodes=55836 nbRestartNogoods=97
9.03 => wckTime=8.162 cpuTime=8.08 mem=15M372
13.14
13.14 search
13.14 run=17 nbConstraintChecks=78662577 nbPropagations=2835216 nbRevisions=44298217 nbUselessRevisions=36554558
13.14 nbAssignments=48801 nbFailedAssignments=19067 nbBacktracks=29555 nbVisitedNodes=83860 nbRestartNogoods=114
13.14 => wckTime=12.274 cpuTime=12.19 mem=15M372
18.59
18.59 search
18.59 run=18 nbConstraintChecks=113612611 nbPropagations=4222987 nbRevisions=65986974 nbUselessRevisions=54438173
18.59 nbAssignments=71587 nbFailedAssignments=27066 nbBacktracks=44334 nbVisitedNodes=121832 nbRestartNogoods=122
18.59 => wckTime=17.723 cpuTime=17.63 mem=15M372
27.32
27.32 search
27.32 run=19 nbConstraintChecks=172282197 nbPropagations=6288770 nbRevisions=98270375 nbUselessRevisions=81025283
27.32 nbAssignments=106582 nbFailedAssignments=39882 nbBacktracks=66506 nbVisitedNodes=180947 nbRestartNogoods=131
27.32 => wckTime=26.456 cpuTime=26.36 mem=15M372
40.97
40.97 search
40.97 run=20 nbConstraintChecks=263735885 nbPropagations=9421161 nbRevisions=147111301 nbUselessRevisions=121172134
40.97 nbAssignments=160334 nbFailedAssignments=60372 nbBacktracks=99761 nbVisitedNodes=272874 nbRestartNogoods=133
40.97 => wckTime=40.096 cpuTime=39.98 mem=15M372
58.83
58.83 search
58.83 run=21 nbConstraintChecks=376829175 nbPropagations=13996394 nbRevisions=217991505 nbUselessRevisions=179465180
58.83 nbAssignments=238313 nbFailedAssignments=88464 nbBacktracks=149639 nbVisitedNodes=404353 nbRestartNogoods=142
58.83 => wckTime=57.957 cpuTime=57.83 mem=15M372
86.84
86.84 search
86.84 run=22 nbConstraintChecks=557367288 nbPropagations=20814960 nbRevisions=323271058 nbUselessRevisions=266028547
86.84 nbAssignments=357060 nbFailedAssignments=132381 nbBacktracks=224458 nbVisitedNodes=605076 nbRestartNogoods=153
86.84 => wckTime=85.97 cpuTime=85.82 mem=15M372
134.28
134.28 search
134.28 run=23 nbConstraintChecks=877868769 nbPropagations=31275130 nbRevisions=486453500 nbUselessRevisions=400202487
134.28 nbAssignments=539370 nbFailedAssignments=202453 nbBacktracks=336685 nbVisitedNodes=917509 nbRestartNogoods=165
134.28 => wckTime=133.409 cpuTime=133.24 mem=15M372
199.95
199.95 search
199.95 run=24 nbConstraintChecks=1301020003 nbPropagations=46957955 nbRevisions=731113697 nbUselessRevisions=601597255
199.95 nbAssignments=809613 nbFailedAssignments=304345 nbBacktracks=505029 nbVisitedNodes=1378842 nbRestartNogoods=179
199.95 => wckTime=199.083 cpuTime=198.87 mem=15M372
300.73
300.73 search
300.73 run=25 nbConstraintChecks=1954363868 nbPropagations=70597484 nbRevisions=1100147326
300.73 nbUselessRevisions=905453616 nbAssignments=1217471 nbFailedAssignments=459680 nbBacktracks=757542
300.73 nbVisitedNodes=2076322 nbRestartNogoods=188
300.73 => wckTime=299.858 cpuTime=299.5 mem=15M372
443.11
443.11 search
443.11 run=26 nbConstraintChecks=2884393510 nbPropagations=105471847 nbRevisions=1642075213
443.11 nbUselessRevisions=1351234011 nbAssignments=1810863 nbFailedAssignments=674294 nbBacktracks=1136310
443.11 nbVisitedNodes=3078101 nbRestartNogoods=203
443.11 => wckTime=442.24 cpuTime=441.77 mem=15M372
469.26
469.26 search
469.26 run=27 nbConstraintChecks=3054840526 nbPropagations=142414699 nbRevisions=2215794965
469.26 nbUselessRevisions=1823060777 nbAssignments=1922021 nbFailedAssignments=714124 nbBacktracks=1207588
469.26 nbVisitedNodes=3264213 nbRestartNogoods=217
469.26 => wckTime=468.389 cpuTime=467.91 mem=15M372
469.26
469.26 global
469.26 nbConstraintChecks=3054840526 nbPropagations=142414749 nbRevisions=2215794965 nbUselessRevisions=1823060777
469.26 nbRestartNogoods=217 solvingWckTime=468.391 solvingCpuTime=467.91 expiredTime=no totalExploration=no
469.26 nbFoundSolutions=1 globalCpuTime=468.35
469.26 => wckTime=468.952 cpuTime=468.31 mem=15M372
469.26
469.26 s SATISFIABLE
469.26 v 18 11 15 15 18 12 22 6 2 7 5 7 14 9 9 17 3 19 2 15 9 14 20 17 5 2 16 0 19 6 13 12 4 18 8 16 4 19 18 1 16 10 7 14 4 18 5 3 7 18
469.26 d NODES 1922021
469.26 d CHECKS 3054840526
469.26
469.26 totalWckTime=469.028 totalCpuTime=468.36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-229661-1168080995 -o ROOT/results/node15/solver-229661-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229661-1168080995/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.11 0.73 1.38 1/81 16118
/proc/meminfo: memFree=1003224/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=1784 CPUtime=0
/proc/16117/stat : 16117 (java) D 16115 16117 16049 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156496189 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16117/statm: 446 136 102 14 0 91 0
[startup+0.102781 s]
/proc/loadavg: 0.11 0.73 1.38 1/81 16118
/proc/meminfo: memFree=1003224/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=914988 CPUtime=0.07
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 2954 0 1 0 6 1 0 0 23 0 8 0 156496189 936947712 2700 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.510851 s]
/proc/loadavg: 0.11 0.73 1.38 1/81 16118
/proc/meminfo: memFree=1003224/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915328 CPUtime=0.48
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 7149 0 1 0 44 4 0 0 16 0 8 0 156496189 937295872 6888 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16117/statm: 228832 6888 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33899 s]
/proc/loadavg: 0.11 0.73 1.38 2/88 16125
/proc/meminfo: memFree=975584/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=1.28
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9624 0 1 0 122 6 0 0 17 0 8 0 156496189 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9362 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 156496193 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.19
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 381 0 0 0 18 1 0 0 15 0 8 0 156496197 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915460
[startup+2.97527 s]
/proc/loadavg: 0.11 0.73 1.38 2/88 16125
/proc/meminfo: memFree=975456/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=2.92
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9640 0 1 0 286 6 0 0 18 0 8 0 156496189 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9376 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 156496193 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.22
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26983 s]
/proc/loadavg: 0.18 0.74 1.38 2/88 16125
/proc/meminfo: memFree=975456/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=6.21
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9641 0 1 0 615 6 0 0 25 0 8 0 156496189 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9376 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.22
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 396 0 0 0 21 1 0 0 15 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9376 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+12.7399 s]
/proc/loadavg: 0.25 0.74 1.38 2/88 16126
/proc/meminfo: memFree=975392/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=12.68
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9642 0 1 0 1262 6 0 0 25 0 8 0 156496189 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877406 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9377 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.22
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 397 0 0 0 21 1 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.5822 s]
/proc/loadavg: 0.42 0.75 1.37 2/88 16127
/proc/meminfo: memFree=975456/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=25.51
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9643 0 1 0 2545 6 0 0 25 0 8 0 156496189 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9377 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.22
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 397 0 0 0 21 1 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915460
[startup+51.2746 s]
/proc/loadavg: 0.61 0.77 1.36 2/88 16160
/proc/meminfo: memFree=973088/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=51.18
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9643 0 1 0 5110 8 0 0 25 0 8 0 156496189 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9377 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.22
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 397 0 0 0 21 1 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915460
[startup+102.551 s]
/proc/loadavg: 0.83 0.81 1.34 2/88 16180
/proc/meminfo: memFree=973152/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=102.43
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 10235 8 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915460
[startup+162.652 s]
/proc/loadavg: 0.94 0.84 1.32 2/88 16228
/proc/meminfo: memFree=972768/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=162.5
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 16241 9 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (KiB) 915460
[startup+222.652 s]
/proc/loadavg: 0.97 0.86 1.29 2/88 16237
/proc/meminfo: memFree=974752/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=222.47
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 22238 9 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 915460
[startup+282.703 s]
/proc/loadavg: 1.38 0.98 1.30 3/106 16408
/proc/meminfo: memFree=847328/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=282.4
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 28230 10 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.4
Current children cumulated vsize (KiB) 915460
[startup+342.757 s]
/proc/loadavg: 1.77 1.16 1.34 3/100 16482
/proc/meminfo: memFree=848344/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=342.35
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 34225 10 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 915460
[startup+402.789 s]
/proc/loadavg: 1.91 1.31 1.38 3/100 16482
/proc/meminfo: memFree=848352/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=402.36
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 40226 10 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073830211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 915460
[startup+462.85 s]
/proc/loadavg: 2.00 1.45 1.42 3/100 16482
/proc/meminfo: memFree=848352/2055920 swapFree=4174172/4192956
[pid=16117] ppid=16115 vsize=915460 CPUtime=462.4
/proc/16117/stat : 16117 (java) R 16115 16117 16049 0 -1 0 9644 0 1 0 46229 11 0 0 25 0 8 0 156496189 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16117/statm: 228865 9378 2513 14 0 215335 0
[pid=16117/tid=16119] ppid=16115 vsize=915460 CPUtime=0.03
/proc/16117/task/16119/stat : 16119 (java) S 16115 16117 16049 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156496193 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16120] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16120/stat : 16120 (java) S 16115 16117 16049 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16121] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16121/stat : 16121 (java) S 16115 16117 16049 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496194 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16122] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16122/stat : 16122 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16123] ppid=16115 vsize=915460 CPUtime=0.23
/proc/16117/task/16123/stat : 16123 (java) S 16115 16117 16049 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16117/tid=16124] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16124/stat : 16124 (java) S 16115 16117 16049 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16117/tid=16125] ppid=16115 vsize=915460 CPUtime=0
/proc/16117/task/16125/stat : 16125 (java) S 16115 16117 16049 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156496197 937431040 9378 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 469.28
CPU time (s): 468.835
CPU user time (s): 468.71
CPU system time (s): 0.124981
CPU usage (%): 99.905
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 468.71
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9648
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= 10366
involuntary context switches= 19594
runsolver used 0.504923 s user time and 1.3288 s system time
The end
Begin job on node15 on Sat Jan 6 10:56:46 UTC 2007
IDJOB= 229661
IDBENCH= 6344
FILE ID= node15/229661-1168080995
PBS_JOBID= 3475882
Free space on /tmp= 66285 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-15_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229661-1168080995/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-229661-1168080995 -o ROOT/results/node15/solver-229661-1168080995 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229661-1168080995/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5cc12fe96e96e3e2b22efc716ea94d96
RANDOM SEED= 641304579
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.276
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.276
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: 1003832 kB
Buffers: 85548 kB
Cached: 826752 kB
SwapCached: 7128 kB
Active: 353048 kB
Inactive: 595836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1003832 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 45168 kB
Slab: 88232 kB
Committed_AS: 4174416 kB
PageTables: 2220 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= 66283 MiB
End job on node15 on Sat Jan 6 11:04:43 UTC 2007