0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278245-1169282868/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.38 => wckTime=0.086 cpuTime=0.09 mem=6M887
0.38
0.38 relations being loaded...
0.40
0.40 constraints being loaded...
0.64 nbConstraints=2435 nbRelationTypes=55 nbExtensionStructures=55 nbSharedExtensionStructures=2380
0.64 nbConflictsStructures=55 nbSharedConflictsStructures=2380 nbSharedBinaryRepresentations=0 maxDegree=203
0.64 maxArity=3
0.64 => wckTime=0.349 cpuTime=0.25 mem=13M746
0.70
0.70 solver LocalSearchSolver being built...
0.74 => wckTime=0.442 cpuTime=0.3 mem=6M663
0.74
0.74 s SATISFIABLE
0.74 o 2102
0.74 c 333
0.75 o 2115
0.75 c 320
0.75 o 2126
0.75 c 309
0.75 o 2134
0.75 c 301
0.75 o 2135
0.75 c 300
0.75 o 2142
0.75 c 293
0.75 o 2148
0.75 c 287
0.75 o 2152
0.75 c 283
0.75 o 2156
0.75 c 279
0.75 o 2163
0.75 c 272
0.75 o 2167
0.75 c 268
0.75 o 2177
0.75 c 258
0.99 o 2178
0.99 c 257
0.99 o 2184
0.99 c 251
1.30 o 2186
1.30 c 249
2.17 o 2189
2.17 c 246
2.18 o 2190
2.18 c 245
3.35 o 2191
3.35 c 244
10.69
10.69 search
10.69 run=0 nbConstraintChecks=58721944 nbAssignments=10000
10.69 => wckTime=9.951 cpuTime=9.92 mem=6M663
20.54
20.54 search
20.54 run=1 nbConstraintChecks=118851067 nbAssignments=20000
20.54 => wckTime=19.802 cpuTime=19.77 mem=6M663
30.14
30.14 search
30.14 run=2 nbConstraintChecks=177604377 nbAssignments=30000
30.14 => wckTime=29.409 cpuTime=29.38 mem=6M663
33.37
33.37 search
33.37 run=3 nbConstraintChecks=197243155 nbAssignments=33267
33.37 => wckTime=32.636 cpuTime=32.6 mem=6M663
33.37
33.37 global
33.37 nbConstraintChecks=197243155 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.37 solvingWckTime=32.635 solvingCpuTime=32.6 expiredTime=no totalExploration=no nbFoundSolutions=0
33.37 globalCpuTime=32.94
33.37 => wckTime=33.079 cpuTime=32.9 mem=6M663
33.37
33.37 solver IterativeSystematicSolver being built...
33.57 => wckTime=33.277 cpuTime=33.07 mem=30M314
33.74
33.74 preprocessing
33.74 nbConstraintChecks=27046 nbValidityChecks=64632 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.74 nbRemovedValues=0 detectedInconsistency=no
33.74 => wckTime=0.172 cpuTime=0.15 mem=30M314
33.90
33.90 search
33.90 run=0 nbConstraintChecks=54889 nbValidityChecks=134131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.90 nbAssignments=45 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=64 nbRestartNogoods=0
33.90 => wckTime=0.332 cpuTime=0.3 mem=31M321
34.10
34.10 search
34.10 run=1 nbConstraintChecks=133002 nbValidityChecks=306312 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.10 nbAssignments=97 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=143 nbRestartNogoods=2
34.10 => wckTime=0.531 cpuTime=0.49 mem=31M321
34.34
34.34 search
34.34 run=2 nbConstraintChecks=222663 nbValidityChecks=544947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.34 nbAssignments=158 nbFailedAssignments=35 nbBacktracks=49 nbVisitedNodes=241 nbRestartNogoods=3
34.34 => wckTime=0.773 cpuTime=0.73 mem=31M321
34.71
34.71 search
34.71 run=3 nbConstraintChecks=359238 nbValidityChecks=913033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.71 nbAssignments=242 nbFailedAssignments=62 nbBacktracks=82 nbVisitedNodes=385 nbRestartNogoods=6
34.71 => wckTime=1.14 cpuTime=1.09 mem=31M321
35.17
35.17 search
35.17 run=4 nbConstraintChecks=547285 nbValidityChecks=1404528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.17 nbAssignments=347 nbFailedAssignments=94 nbBacktracks=133 nbVisitedNodes=572 nbRestartNogoods=8
35.17 => wckTime=1.601 cpuTime=1.55 mem=31M321
35.91
35.91 search
35.91 run=5 nbConstraintChecks=841358 nbValidityChecks=2209946 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.91 nbAssignments=507 nbFailedAssignments=156 nbBacktracks=208 nbVisitedNodes=867 nbRestartNogoods=12
35.91 => wckTime=2.341 cpuTime=2.29 mem=31M321
36.98
36.98 search
36.98 run=6 nbConstraintChecks=1255687 nbValidityChecks=3382289 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.98 nbAssignments=731 nbFailedAssignments=244 nbBacktracks=321 nbVisitedNodes=1289 nbRestartNogoods=16
36.98 => wckTime=3.406 cpuTime=3.35 mem=31M321
38.61
38.61 search
38.61 run=7 nbConstraintChecks=1850077 nbValidityChecks=5160076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.61 nbAssignments=1048 nbFailedAssignments=371 nbBacktracks=491 nbVisitedNodes=1899 nbRestartNogoods=20
38.61 => wckTime=5.04 cpuTime=4.99 mem=31M321
40.83
40.83 search
40.83 run=8 nbConstraintChecks=2787579 nbValidityChecks=7663518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.83 nbAssignments=1503 nbFailedAssignments=546 nbBacktracks=747 nbVisitedNodes=2782 nbRestartNogoods=23
40.83 => wckTime=7.262 cpuTime=7.19 mem=31M321
44.31
44.31 search
44.31 run=9 nbConstraintChecks=4084738 nbValidityChecks=11569393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
44.31 nbAssignments=2190 nbFailedAssignments=827 nbBacktracks=1132 nbVisitedNodes=4131 nbRestartNogoods=27
44.31 => wckTime=10.734 cpuTime=10.66 mem=31M321
49.84
49.84 search
49.84 run=10 nbConstraintChecks=6049182 nbValidityChecks=17749431 nbPropagations=0 nbRevisions=0
49.84 nbUselessRevisions=0 nbAssignments=3246 nbFailedAssignments=1287 nbBacktracks=1708 nbVisitedNodes=6203
49.84 nbRestartNogoods=29
49.84 => wckTime=16.265 cpuTime=16.18 mem=31M321
57.88
57.88 search
57.88 run=11 nbConstraintChecks=8911391 nbValidityChecks=26993841 nbPropagations=0 nbRevisions=0
57.88 nbUselessRevisions=0 nbAssignments=4804 nbFailedAssignments=1960 nbBacktracks=2572 nbVisitedNodes=9266
57.88 nbRestartNogoods=36
57.88 => wckTime=24.305 cpuTime=24.21 mem=31M321
69.97
69.97 search
69.97 run=12 nbConstraintChecks=13347433 nbValidityChecks=40801342 nbPropagations=0 nbRevisions=0
69.97 nbUselessRevisions=0 nbAssignments=7123 nbFailedAssignments=2957 nbBacktracks=3871 nbVisitedNodes=13830
69.97 nbRestartNogoods=41
69.97 => wckTime=36.395 cpuTime=36.3 mem=31M321
87.60
87.60 search
87.60 run=13 nbConstraintChecks=19771609 nbValidityChecks=61450612 nbPropagations=0 nbRevisions=0
87.60 nbUselessRevisions=0 nbAssignments=10530 nbFailedAssignments=4397 nbBacktracks=5817 nbVisitedNodes=20595
87.60 nbRestartNogoods=45
87.60 => wckTime=54.032 cpuTime=53.93 mem=31M321
114.85
114.85 search
114.85 run=14 nbConstraintChecks=29108130 nbValidityChecks=92073196 nbPropagations=0 nbRevisions=0
114.85 nbUselessRevisions=0 nbAssignments=15613 nbFailedAssignments=6541 nbBacktracks=8737 nbVisitedNodes=30663
114.85 nbRestartNogoods=49
114.85 => wckTime=81.275 cpuTime=81.16 mem=31M321
157.31
157.32 search
157.32 run=15 nbConstraintChecks=43459613 nbValidityChecks=139929867 nbPropagations=0 nbRevisions=0
157.32 nbUselessRevisions=0 nbAssignments=23485 nbFailedAssignments=10013 nbBacktracks=13115 nbVisitedNodes=46274
157.32 nbRestartNogoods=56
157.32 => wckTime=123.742 cpuTime=123.62 mem=31M321
221.80
221.80 search
221.80 run=16 nbConstraintChecks=65262606 nbValidityChecks=213247525 nbPropagations=0 nbRevisions=0
221.80 nbUselessRevisions=0 nbAssignments=35424 nbFailedAssignments=15364 nbBacktracks=19684 nbVisitedNodes=69929
221.80 nbRestartNogoods=60
221.80 => wckTime=188.231 cpuTime=188.09 mem=31M321
315.52
315.52 search
315.52 run=17 nbConstraintChecks=96615543 nbValidityChecks=318643242 nbPropagations=0 nbRevisions=0
315.52 nbUselessRevisions=0 nbAssignments=52346 nbFailedAssignments=22414 nbBacktracks=29536 nbVisitedNodes=103494
315.52 nbRestartNogoods=66
315.52 => wckTime=281.945 cpuTime=281.78 mem=31M321
461.93
461.93 search
461.93 run=18 nbConstraintChecks=142615174 nbValidityChecks=480899002 nbPropagations=0 nbRevisions=0
461.93 nbUselessRevisions=0 nbAssignments=78216 nbFailedAssignments=33486 nbBacktracks=44314 nbVisitedNodes=154776
461.93 nbRestartNogoods=73
461.93 => wckTime=428.357 cpuTime=428.16 mem=31M321
694.68
694.68 search
694.68 run=19 nbConstraintChecks=210694362 nbValidityChecks=737315609 nbPropagations=0 nbRevisions=0
694.68 nbUselessRevisions=0 nbAssignments=118297 nbFailedAssignments=51378 nbBacktracks=66483 nbVisitedNodes=234200
694.68 nbRestartNogoods=79
694.68 => wckTime=661.109 cpuTime=660.85 mem=31M321
1027.94
1027.94 search
1027.94 run=20 nbConstraintChecks=311314480 nbValidityChecks=1114564763 nbPropagations=0 nbRevisions=0
1027.94 nbUselessRevisions=0 nbAssignments=177536 nbFailedAssignments=77347 nbBacktracks=99736 nbVisitedNodes=351261
1027.94 nbRestartNogoods=84
1027.94 => wckTime=994.367 cpuTime=993.92 mem=31M321
1536.70
1536.70 search
1536.70 run=21 nbConstraintChecks=464263763 nbValidityChecks=1668359960 nbPropagations=0 nbRevisions=0
1536.70 nbUselessRevisions=0 nbAssignments=265827 nbFailedAssignments=115741 nbBacktracks=149614 nbVisitedNodes=526345
1536.70 nbRestartNogoods=92
1536.70 => wckTime=1503.13 cpuTime=1502.55 mem=31M321
2296.10
2296.10 search
2296.10 run=22 nbConstraintChecks=689469002 nbValidityChecks=2516966164 nbPropagations=0 nbRevisions=0
2296.10 nbUselessRevisions=0 nbAssignments=398503 nbFailedAssignments=173579 nbBacktracks=224432 nbVisitedNodes=789096
2296.10 nbRestartNogoods=100
2296.10 => wckTime=2262.532 cpuTime=2261.77 mem=31M321
2400.73 v 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-278245-1169282868 -o ROOT/results/node18/solver-278245-1169282868 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278245-1169282868/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.00 1.00 1.12 3/78 11555
/proc/meminfo: memFree=1301920/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=308 CPUtime=0
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 276681538 315392 40 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0
/proc/11554/statm: 77 40 31 14 0 5 0
[startup+0.102997 s]
/proc/loadavg: 1.00 1.00 1.12 3/78 11555
/proc/meminfo: memFree=1301920/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=914988 CPUtime=0.09
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 3071 0 1 0 8 1 0 0 17 0 8 0 276681538 936947712 2817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511034 s]
/proc/loadavg: 1.00 1.00 1.12 3/78 11555
/proc/meminfo: memFree=1301920/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915332 CPUtime=0.5
/proc/11554/stat : 11554 (java) S 11552 11554 10343 0 -1 0 6500 0 1 0 46 4 0 0 16 0 8 0 276681538 937299968 6239 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228833 6239 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33411 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 11562
/proc/meminfo: memFree=1277736/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=1.34
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 8734 0 1 0 124 10 0 0 17 0 8 0 276681538 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 8472 2477 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 439 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.16
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 367 0 0 0 15 1 0 0 15 0 8 0 276681545 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 8472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 915444
[startup+2.97827 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 11562
/proc/meminfo: memFree=1277672/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2.98
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 8741 0 1 0 282 16 0 0 17 0 8 0 276681538 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 8478 2479 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 439 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.17
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 373 0 0 0 16 1 0 0 15 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 915444
[startup+6.25458 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 11562
/proc/meminfo: memFree=1277624/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=6.26
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 8741 0 1 0 593 33 0 0 17 0 8 0 276681538 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 8478 2479 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 439 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915448 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937418752 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.17
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 373 0 0 0 16 1 0 0 15 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 8478 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915444
[startup+12.7362 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 11562
/proc/meminfo: memFree=1277640/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=12.73
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 8744 0 1 0 1210 63 0 0 19 0 8 0 276681538 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 8481 2479 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 439 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.17
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 376 0 0 0 16 1 0 0 16 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915444
[startup+25.5694 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 11562
/proc/meminfo: memFree=1277704/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=25.56
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 8744 0 1 0 2433 123 0 0 25 0 8 0 276681538 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 8481 2479 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 439 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.17
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 376 0 0 0 16 1 0 0 16 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 8481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915444
[startup+51.2549 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 11562
/proc/meminfo: memFree=1262600/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=51.23
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12630 0 1 0 4956 167 0 0 17 0 8 0 276681538 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074021031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12352 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.27
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 441 0 0 0 26 1 0 0 16 0 8 0 276681545 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915444
[startup+102.52 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 11562
/proc/meminfo: memFree=1262536/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=102.49
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12640 0 1 0 10081 168 0 0 25 0 8 0 276681538 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12362 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 443 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12362 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.49
Current children cumulated vsize (KiB) 915444
[startup+162.619 s]
/proc/loadavg: 1.00 1.00 1.09 2/85 11562
/proc/meminfo: memFree=1262472/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=162.57
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12646 0 1 0 16089 168 0 0 25 0 8 0 276681538 937414656 12368 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.8
Current children cumulated vsize (KiB) 915444
[startup+2085.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262344/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2084.88
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12661 0 1 0 208305 183 0 0 25 0 8 0 276681538 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12383 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.88
Current children cumulated vsize (KiB) 915444
[startup+2145.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262344/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2144.96
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12661 0 1 0 214313 183 0 0 25 0 8 0 276681538 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12383 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.96
Current children cumulated vsize (KiB) 915444
[startup+2205.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262344/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2205.05
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12661 0 1 0 220321 184 0 0 25 0 8 0 276681538 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12383 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2205.05
Current children cumulated vsize (KiB) 915444
[startup+2265.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262344/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2265.14
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12661 0 1 0 226330 184 0 0 25 0 8 0 276681538 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12383 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2265.14
Current children cumulated vsize (KiB) 915444
[startup+2325.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262344/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2325.12
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12664 0 1 0 232328 184 0 0 25 0 8 0 276681538 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12386 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2325.12
Current children cumulated vsize (KiB) 915444
[startup+2385.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262280/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2385.21
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12664 0 1 0 238336 185 0 0 25 0 8 0 276681538 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12386 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2385.21
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 11762
/proc/meminfo: memFree=1262280/2055920 swapFree=4192812/4192956
[pid=11554] ppid=11552 vsize=915444 CPUtime=2400.01
/proc/11554/stat : 11554 (java) R 11552 11554 10343 0 -1 0 12664 0 1 0 239816 185 0 0 25 0 8 0 276681538 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11554/statm: 228861 12386 2536 14 0 215331 0
[pid=11554/tid=11556] ppid=11552 vsize=915444 CPUtime=0.04
/proc/11554/task/11556/stat : 11556 (java) S 11552 11554 10343 0 -1 64 440 0 0 0 4 0 0 0 16 0 8 0 276681541 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11557] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11557/stat : 11557 (java) S 11552 11554 10343 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11558] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11558/stat : 11558 (java) S 11552 11554 10343 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 276681542 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11559] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11559/stat : 11559 (java) S 11552 11554 10343 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11560] ppid=11552 vsize=915444 CPUtime=0.28
/proc/11554/task/11560/stat : 11560 (java) S 11552 11554 10343 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11561] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11561/stat : 11561 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11554/tid=11562] ppid=11552 vsize=915444 CPUtime=0
/proc/11554/task/11562/stat : 11562 (java) S 11552 11554 10343 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 276681545 937414656 12386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.76
CPU time (s): 2400.06
CPU user time (s): 2398.2
CPU system time (s): 1.86072
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.2
system time used= 1.86072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12686
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= 49534
involuntary context switches= 48507
runsolver used 2.19766 s user time and 6.34504 s system time
The end
Begin job on node18 on Sat Jan 20 08:47:48 UTC 2007
IDJOB= 278245
IDBENCH= 8177
IDSOLVER= 68
FILE ID= node18/278245-1169282868
PBS_JOBID= 3609471
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2800-324521_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278245-1169282868/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-278245-1169282868 -o ROOT/results/node18/solver-278245-1169282868 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278245-1169282868/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6122293044833ab2aa76fe502d29c123
RANDOM SEED= 66853007
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.231
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.231
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: 1302336 kB
Buffers: 53092 kB
Cached: 565300 kB
SwapCached: 0 kB
Active: 246616 kB
Inactive: 427832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1302336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2004 kB
Writeback: 0 kB
Mapped: 75076 kB
Slab: 64680 kB
Committed_AS: 8433236 kB
PageTables: 1724 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= 66563 MiB
End job on node18 on Sat Jan 20 09:27:49 UTC 2007