0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278146-1169276270/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.092 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=1727 nbRelationTypes=43 nbExtensionStructures=43 nbSharedExtensionStructures=1684
0.68 nbConflictsStructures=43 nbSharedConflictsStructures=1684 nbSharedBinaryRepresentations=0 maxDegree=155
0.68 maxArity=3
0.68 => wckTime=0.351 cpuTime=0.23 mem=11M812
0.73
0.73 solver LocalSearchSolver being built...
0.77 => wckTime=0.444 cpuTime=0.27 mem=6M279
0.77
0.77 s SATISFIABLE
0.77 o 1515
0.78 c 212
0.78 o 1518
0.78 c 209
0.78 o 1522
0.78 c 205
0.78 o 1527
0.78 c 200
0.78 o 1528
0.78 c 199
0.79 o 1530
0.79 c 197
0.79 o 1531
0.79 c 196
0.79 o 1535
0.79 c 192
0.79 o 1538
0.79 c 189
0.79 o 1539
0.79 c 188
0.79 o 1542
0.79 c 185
0.80 o 1550
0.80 c 177
0.84 o 1552
0.84 c 175
0.84 o 1557
0.84 c 170
0.87 o 1559
0.87 c 168
0.98 o 1560
0.98 c 167
0.98 o 1568
0.98 c 159
0.98 o 1572
0.98 c 155
4.44 o 1574
4.44 c 153
7.44
7.44 search
7.44 run=0 nbConstraintChecks=40461563 nbAssignments=10000
7.44 => wckTime=6.672 cpuTime=6.59 mem=6M279
13.31 o 1575
13.31 c 152
14.12
14.12 search
14.12 run=1 nbConstraintChecks=81940309 nbAssignments=20000
14.12 => wckTime=13.351 cpuTime=13.21 mem=6M279
20.69
20.69 search
20.69 run=2 nbConstraintChecks=122421122 nbAssignments=30000
20.69 => wckTime=19.923 cpuTime=19.72 mem=6M279
27.35
27.35 search
27.35 run=3 nbConstraintChecks=163895141 nbAssignments=40000
27.35 => wckTime=26.587 cpuTime=26.33 mem=6M279
33.87
33.87 search
33.87 run=4 nbConstraintChecks=204344330 nbAssignments=50000
33.87 => wckTime=33.107 cpuTime=32.8 mem=6M279
40.59
40.59 search
40.59 run=5 nbConstraintChecks=245839960 nbAssignments=60000
40.59 => wckTime=39.825 cpuTime=39.45 mem=6M279
43.59
43.59 search
43.59 run=6 nbConstraintChecks=264290186 nbAssignments=64673
43.59 => wckTime=42.821 cpuTime=42.42 mem=6M279
43.59
43.59 global
43.59 nbConstraintChecks=264290186 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.59 solvingWckTime=42.82 solvingCpuTime=42.42 expiredTime=no totalExploration=no nbFoundSolutions=0
43.59 globalCpuTime=42.74
43.59 => wckTime=43.265 cpuTime=42.69 mem=6M279
43.59
43.59 solver IterativeSystematicSolver being built...
43.78 => wckTime=43.456 cpuTime=42.84 mem=26M5
43.91
43.91 preprocessing
43.91 nbConstraintChecks=16137 nbValidityChecks=37892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.91 nbRemovedValues=0 detectedInconsistency=no
43.91 => wckTime=0.124 cpuTime=0.11 mem=26M5
44.01
44.01 search
44.01 run=0 nbConstraintChecks=36191 nbValidityChecks=86808 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.01 nbAssignments=43 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=62 nbRestartNogoods=0
44.01 => wckTime=0.23 cpuTime=0.2 mem=26M980
44.15
44.15 search
44.15 run=1 nbConstraintChecks=77576 nbValidityChecks=198143 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.15 nbAssignments=90 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=134 nbRestartNogoods=2
44.15 => wckTime=0.371 cpuTime=0.32 mem=26M980
44.31
44.31 search
44.31 run=2 nbConstraintChecks=142088 nbValidityChecks=366296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.31 nbAssignments=151 nbFailedAssignments=33 nbBacktracks=48 nbVisitedNodes=233 nbRestartNogoods=3
44.31 => wckTime=0.524 cpuTime=0.48 mem=26M980
44.50
44.50 search
44.50 run=3 nbConstraintChecks=230774 nbValidityChecks=584972 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.50 nbAssignments=226 nbFailedAssignments=52 nbBacktracks=81 nbVisitedNodes=360 nbRestartNogoods=6
44.50 => wckTime=0.724 cpuTime=0.67 mem=26M980
44.82
44.82 search
44.82 run=4 nbConstraintChecks=352700 nbValidityChecks=953096 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.82 nbAssignments=336 nbFailedAssignments=91 nbBacktracks=131 nbVisitedNodes=557 nbRestartNogoods=8
44.82 => wckTime=1.04 cpuTime=0.99 mem=26M980
45.28
45.28 search
45.28 run=5 nbConstraintChecks=539052 nbValidityChecks=1502890 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.28 nbAssignments=490 nbFailedAssignments=149 nbBacktracks=206 nbVisitedNodes=844 nbRestartNogoods=10
45.28 => wckTime=1.496 cpuTime=1.44 mem=26M980
45.95
45.95 search
45.95 run=6 nbConstraintChecks=801153 nbValidityChecks=2316241 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.95 nbAssignments=711 nbFailedAssignments=236 nbBacktracks=319 nbVisitedNodes=1257 nbRestartNogoods=15
45.95 => wckTime=2.169 cpuTime=2.1 mem=26M980
47.02
47.02 search
47.02 run=7 nbConstraintChecks=1161799 nbValidityChecks=3505453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.02 nbAssignments=1029 nbFailedAssignments=366 nbBacktracks=489 nbVisitedNodes=1868 nbRestartNogoods=19
47.02 => wckTime=3.243 cpuTime=3.16 mem=26M980
48.50
48.50 search
48.50 run=8 nbConstraintChecks=1751910 nbValidityChecks=5301011 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
48.50 nbAssignments=1484 nbFailedAssignments=542 nbBacktracks=746 nbVisitedNodes=2753 nbRestartNogoods=23
48.50 => wckTime=4.717 cpuTime=4.61 mem=26M980
50.69
50.69 search
50.69 run=9 nbConstraintChecks=2622408 nbValidityChecks=8006183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
50.69 nbAssignments=2171 nbFailedAssignments=820 nbBacktracks=1131 nbVisitedNodes=4089 nbRestartNogoods=27
50.69 => wckTime=6.907 cpuTime=6.76 mem=26M980
54.03
54.03 search
54.03 run=10 nbConstraintChecks=3803149 nbValidityChecks=12076880 nbPropagations=0 nbRevisions=0
54.03 nbUselessRevisions=0 nbAssignments=3166 nbFailedAssignments=1223 nbBacktracks=1707 nbVisitedNodes=6053
54.03 nbRestartNogoods=31
54.03 => wckTime=10.251 cpuTime=10.06 mem=26M980
59.24
59.24 search
59.24 run=11 nbConstraintChecks=5627881 nbValidityChecks=18338304 nbPropagations=0 nbRevisions=0
59.24 nbUselessRevisions=0 nbAssignments=4705 nbFailedAssignments=1876 nbBacktracks=2571 nbVisitedNodes=9075
59.24 nbRestartNogoods=34
59.24 => wckTime=15.461 cpuTime=15.22 mem=26M980
66.93
66.93 search
66.93 run=12 nbConstraintChecks=8432956 nbValidityChecks=27997059 nbPropagations=0 nbRevisions=0
66.93 nbUselessRevisions=0 nbAssignments=6998 nbFailedAssignments=2853 nbBacktracks=3868 nbVisitedNodes=13588
66.93 nbRestartNogoods=36
66.93 => wckTime=23.152 cpuTime=22.84 mem=26M980
77.95
77.95 search
77.95 run=13 nbConstraintChecks=12526808 nbValidityChecks=41944947 nbPropagations=0 nbRevisions=0
77.95 nbUselessRevisions=0 nbAssignments=10347 nbFailedAssignments=4236 nbBacktracks=5815 nbVisitedNodes=20206
77.95 nbRestartNogoods=41
77.95 => wckTime=34.166 cpuTime=33.76 mem=26M980
94.63
94.63 search
94.63 run=14 nbConstraintChecks=18653003 nbValidityChecks=63195439 nbPropagations=0 nbRevisions=0
94.63 nbUselessRevisions=0 nbAssignments=15399 nbFailedAssignments=6350 nbBacktracks=8734 nbVisitedNodes=30180
94.63 nbRestartNogoods=48
94.63 => wckTime=50.85 cpuTime=50.28 mem=26M980
121.31
121.31 search
121.31 run=15 nbConstraintChecks=27533464 nbValidityChecks=95958864 nbPropagations=0 nbRevisions=0
121.31 nbUselessRevisions=0 nbAssignments=23044 nbFailedAssignments=9597 nbBacktracks=13112 nbVisitedNodes=45297
121.31 nbRestartNogoods=52
121.31 => wckTime=77.527 cpuTime=76.7 mem=26M980
161.80
161.80 search
161.80 run=16 nbConstraintChecks=40384957 nbValidityChecks=144920309 nbPropagations=0 nbRevisions=0
161.80 nbUselessRevisions=0 nbAssignments=34598 nbFailedAssignments=14565 nbBacktracks=19680 nbVisitedNodes=68125
161.80 nbRestartNogoods=56
161.80 => wckTime=118.022 cpuTime=116.82 mem=26M980
222.11
222.11 search
222.11 run=17 nbConstraintChecks=59824336 nbValidityChecks=218778769 nbPropagations=0 nbRevisions=0
222.11 nbUselessRevisions=0 nbAssignments=51956 nbFailedAssignments=22054 nbBacktracks=29532 nbVisitedNodes=102268
222.11 nbRestartNogoods=62
222.11 => wckTime=178.325 cpuTime=176.42 mem=26M980
319.22
319.22 search
319.22 run=18 nbConstraintChecks=88363113 nbValidityChecks=332921227 nbPropagations=0 nbRevisions=0
319.22 nbUselessRevisions=0 nbAssignments=78575 nbFailedAssignments=33883 nbBacktracks=44310 nbVisitedNodes=154722
319.22 nbRestartNogoods=66
319.22 => wckTime=275.437 cpuTime=272.55 mem=26M980
458.04
458.04 search
458.04 run=19 nbConstraintChecks=131705563 nbValidityChecks=501435849 nbPropagations=0 nbRevisions=0
458.04 nbUselessRevisions=0 nbAssignments=117399 nbFailedAssignments=50521 nbBacktracks=66478 nbVisitedNodes=231413
458.04 nbRestartNogoods=75
458.04 => wckTime=414.255 cpuTime=410.05 mem=26M980
663.00
663.00 search
663.00 run=20 nbConstraintChecks=197650716 nbValidityChecks=749931905 nbPropagations=0 nbRevisions=0
663.00 nbUselessRevisions=0 nbAssignments=175755 nbFailedAssignments=75600 nbBacktracks=99731 nbVisitedNodes=346348
663.00 nbRestartNogoods=83
663.00 => wckTime=619.223 cpuTime=613.2 mem=26M980
967.83
967.83 search
967.83 run=21 nbConstraintChecks=294698883 nbValidityChecks=1116268853 nbPropagations=0 nbRevisions=0
967.83 nbUselessRevisions=0 nbAssignments=263582 nbFailedAssignments=113534 nbBacktracks=149609 nbVisitedNodes=518459
967.83 nbRestartNogoods=85
967.83 => wckTime=924.051 cpuTime=915.33 mem=26M980
1398.24
1398.24 search
1398.24 run=22 nbConstraintChecks=444990372 nbValidityChecks=1623838480 nbPropagations=0 nbRevisions=0
1398.24 nbUselessRevisions=0 nbAssignments=391627 nbFailedAssignments=166739 nbBacktracks=224428 nbVisitedNodes=768695
1398.24 nbRestartNogoods=94
1398.24 => wckTime=1354.462 cpuTime=1341.93 mem=26M980
1980.08
1980.08 search
1980.08 run=23 nbConstraintChecks=682415295 nbValidityChecks=2346183852 nbPropagations=0 nbRevisions=0
1980.08 nbUselessRevisions=0 nbAssignments=580931 nbFailedAssignments=243798 nbBacktracks=336655 nbVisitedNodes=1134563
1980.08 nbRestartNogoods=101
1980.08 => wckTime=1936.304 cpuTime=1920.07 mem=26M980
2418.68 v 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-278146-1169276270 -o ROOT/results/node16/solver-278146-1169276270 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278146-1169276270/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.99 1.80 1.48 2/94 26305
/proc/meminfo: memFree=1190360/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=18540 CPUtime=0
/proc/26304/stat : 26304 (runsolver) R 26302 26304 25660 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 276021903 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26304/statm: 4635 279 244 17 0 2626 0
[startup+0.102652 s]
/proc/loadavg: 1.99 1.80 1.48 2/94 26305
/proc/meminfo: memFree=1190360/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=913236 CPUtime=0.08
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 2920 0 1 0 7 1 0 0 17 0 8 0 276021903 935153664 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228309 2666 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.514573 s]
/proc/loadavg: 1.99 1.80 1.48 2/94 26305
/proc/meminfo: memFree=1190360/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915332 CPUtime=0.49
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 6260 0 1 0 45 4 0 0 18 0 8 0 276021903 937299968 5999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228833 5999 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34342 s]
/proc/loadavg: 1.99 1.81 1.49 3/101 26312
/proc/meminfo: memFree=1168352/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=1.3
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 8171 0 1 0 120 10 0 0 25 0 8 0 276021903 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 7909 2476 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.17
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 276021911 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 7909 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915444
[startup+2.98211 s]
/proc/loadavg: 1.99 1.81 1.49 3/101 26312
/proc/meminfo: memFree=1168288/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915448 CPUtime=2.93
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 8178 0 1 0 272 21 0 0 25 0 8 0 276021903 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228862 7915 2478 14 0 215332 0
[pid=26304/tid=26306] ppid=26302 vsize=915448 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 276021907 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915448 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915448 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915448 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915448 CPUtime=0.18
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 276021911 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915448 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915448 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937418752 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448
[startup+6.2605 s]
/proc/loadavg: 1.99 1.81 1.49 3/101 26312
/proc/meminfo: memFree=1168224/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=6.18
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 8178 0 1 0 577 41 0 0 25 0 8 0 276021903 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 7915 2478 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.18
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 276021911 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 7915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915444
[startup+12.7483 s]
/proc/loadavg: 1.99 1.81 1.49 3/101 26312
/proc/meminfo: memFree=1168352/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=12.6
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 8181 0 1 0 1172 88 0 0 25 0 8 0 276021903 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 7918 2478 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.19
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 376 0 0 0 19 0 0 0 17 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915444
[startup+25.6094 s]
/proc/loadavg: 1.99 1.82 1.50 3/101 26312
/proc/meminfo: memFree=1168416/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=25.35
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 8181 0 1 0 2366 169 0 0 25 0 8 0 276021903 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 7918 2478 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 343 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.19
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 376 0 0 0 19 0 0 0 17 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 7918 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915444
[startup+51.2396 s]
/proc/loadavg: 2.06 1.85 1.52 3/101 26312
/proc/meminfo: memFree=1154912/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=50.74
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11624 0 1 0 4791 283 0 0 25 0 8 0 276021903 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074017049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 11355 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 17 0 8 0 276021907 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.3
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 439 0 0 0 29 1 0 0 15 0 8 0 276021911 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11355 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.518 s]
/proc/loadavg: 2.02 1.87 1.54 3/101 26312
/proc/meminfo: memFree=1154848/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=101.54
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11642 0 1 0 9870 284 0 0 25 0 8 0 276021903 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 11371 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 444 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11371 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915444
[startup+162.555 s]
/proc/loadavg: 2.01 1.89 1.57 3/101 26312
/proc/meminfo: memFree=1154784/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=161.02
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11647 0 1 0 15817 285 0 0 25 0 8 0 276021903 937414656 11376 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2007.97
Current children cumulated vsize (KiB) 915444
[startup+2084.76 s]
/proc/loadavg: 2.03 2.03 1.93 3/101 26512
/proc/meminfo: memFree=1154528/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2067.75
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11666 0 1 0 206475 300 0 0 25 0 8 0 276021903 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073909399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 11395 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 445 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.75
Current children cumulated vsize (KiB) 915444
[startup+2144.8 s]
/proc/loadavg: 2.01 2.02 1.93 4/101 26512
/proc/meminfo: memFree=1154528/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2127.54
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11666 0 1 0 212453 301 0 0 25 0 8 0 276021903 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26304/statm: 228861 11395 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 445 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11395 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.54
Current children cumulated vsize (KiB) 915444
[startup+2204.85 s]
/proc/loadavg: 1.95 2.00 1.92 3/93 26560
/proc/meminfo: memFree=1158048/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2187.27
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11669 0 1 0 218425 302 0 0 25 0 8 0 276021903 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073976424 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26304/statm: 228861 11397 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.27
Current children cumulated vsize (KiB) 915444
[startup+2264.91 s]
/proc/loadavg: 1.98 2.00 1.92 3/93 26560
/proc/meminfo: memFree=1158112/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2247.04
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11669 0 1 0 224402 302 0 0 25 0 8 0 276021903 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26304/statm: 228861 11397 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.04
Current children cumulated vsize (KiB) 915444
[startup+2324.98 s]
/proc/loadavg: 1.99 2.00 1.92 3/93 26560
/proc/meminfo: memFree=1158112/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2306.79
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11669 0 1 0 230376 303 0 0 25 0 8 0 276021903 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26304/statm: 228861 11397 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0.01
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.79
Current children cumulated vsize (KiB) 915444
[startup+2385.04 s]
/proc/loadavg: 1.99 2.00 1.92 3/93 26560
/proc/meminfo: memFree=1158112/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2366.55
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11669 0 1 0 236352 303 0 0 25 0 8 0 276021903 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074016496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26304/statm: 228861 11397 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0.01
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2366.55
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.67 s]
/proc/loadavg: 1.99 2.00 1.92 3/93 26560
/proc/meminfo: memFree=1158112/2055920 swapFree=4191880/4192956
[pid=26304] ppid=26302 vsize=915444 CPUtime=2400
/proc/26304/stat : 26304 (java) R 26302 26304 25660 0 -1 0 11669 0 1 0 239697 303 0 0 25 0 8 0 276021903 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073948062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26304/statm: 228861 11397 2534 14 0 215331 0
[pid=26304/tid=26306] ppid=26302 vsize=915444 CPUtime=0.03
/proc/26304/task/26306/stat : 26306 (java) S 26302 26304 25660 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 276021907 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26307] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26307/stat : 26307 (java) S 26302 26304 25660 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26308] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26308/stat : 26308 (java) S 26302 26304 25660 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276021908 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26309] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26309/stat : 26309 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26310] ppid=26302 vsize=915444 CPUtime=0.31
/proc/26304/task/26310/stat : 26310 (java) S 26302 26304 25660 0 -1 64 446 0 0 0 30 1 0 0 16 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26304/tid=26311] ppid=26302 vsize=915444 CPUtime=0
/proc/26304/task/26311/stat : 26311 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26304/tid=26312] ppid=26302 vsize=915444 CPUtime=0.01
/proc/26304/task/26312/stat : 26312 (java) S 26302 26304 25660 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 276021911 937414656 11397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2418.71
CPU time (s): 2400.04
CPU user time (s): 2397
CPU system time (s): 3.04154
CPU usage (%): 99.2282
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397
system time used= 3.04154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11689
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= 50254
involuntary context switches= 132562
runsolver used 3.00354 s user time and 7.9158 s system time
The end
Begin job on node16 on Sat Jan 20 06:57:51 UTC 2007
IDJOB= 278146
IDBENCH= 8066
IDSOLVER= 68
FILE ID= node16/278146-1169276270
PBS_JOBID= 3609473
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1900-793221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278146-1169276270/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-278146-1169276270 -o ROOT/results/node16/solver-278146-1169276270 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278146-1169276270/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1bfd821571f2ed493fb9aed6526d588b
RANDOM SEED= 228357577
TIME LIMIT= 2400 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.220
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.220
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: 1190840 kB
Buffers: 54296 kB
Cached: 676776 kB
SwapCached: 268 kB
Active: 304624 kB
Inactive: 483908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1190840 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 83440 kB
Slab: 60964 kB
Committed_AS: 7763328 kB
PageTables: 2456 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= 66561 MiB
End job on node16 on Sat Jan 20 07:38:09 UTC 2007