5.28/5.33 c CPU-LOAD 3.92
5.28/5.33 c LOADED 680 V (32 E), 4103 ExtensionConstraint2D, arity 2, 3.92 cpu
5.98/6.04 s UNSATISFIABLE
5.98/6.04 d NODES 144
5.98/6.04 d CHECKS 55192
5.98/6.04 c gac3-effective-revisions: 7145
5.98/6.04 c gac3-useless-revisions: 9107
5.98/6.04 c heuristic-cpu: 0.0
5.98/6.04 c prepro-constraint-ccks: 0
5.98/6.04 c prepro-constraint-presenceccks: 0
5.98/6.04 c prepro-cpu: 0.05
5.98/6.04 c prepro-matrix2d-ccks: 19636
5.98/6.04 c prepro-matrix2d-presenceccks: 19636
5.98/6.04 c prepro-removed: 6324
5.98/6.04 c search-cpu: 0.51
5.98/6.04 c total-assgn: 144
5.98/6.04 c total-constraint-ccks: 0
5.98/6.04 c total-constraint-presence-ccks: 0
5.98/6.04 c total-cpu: 0.56
5.98/6.04 c total-matrix2d-ccks: 55192
5.98/6.04 c total-matrix2d-presence-ccks: 233621
5.98/6.04 c tuples: 0
5.98/6.04 c tuples-collisions: 0
5.98/6.04 c TOTAL-NODES 144
5.98/6.04 c TOTAL-CPU 0.56
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088161-1215245818/watcher-1088161-1215245818 -o /tmp/evaluation-result-1088161-1215245818/solver-1088161-1215245818 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1088161-1215245818.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.12 2.23 4/82 4256
/proc/meminfo: memFree=1914368/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=1804 CPUtime=0
/proc/4258/stat : 4258 (java) D 4256 4256 2317 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 636829077 1847296 139 996147200 134512640 134550740 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/4258/statm: 451 144 106 9 0 93 0
[startup+0.103385 s]
/proc/loadavg: 2.00 2.12 2.23 4/82 4256
/proc/meminfo: memFree=1914368/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=843140 CPUtime=0.08
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 3422 0 1 0 7 1 0 0 18 0 9 0 636829077 863375360 2878 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 210785 2878 1671 9 0 205362 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 848496
[startup+0.201393 s]
/proc/loadavg: 2.00 2.12 2.23 4/82 4256
/proc/meminfo: memFree=1914368/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=843640 CPUtime=0.18
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 4070 0 1 0 16 2 0 0 18 0 9 0 636829077 863887360 3485 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 210910 3487 1808 9 0 205478 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 848996
[startup+0.301405 s]
/proc/loadavg: 2.00 2.12 2.23 4/82 4256
/proc/meminfo: memFree=1914368/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=844228 CPUtime=0.28
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 4572 0 1 0 25 3 0 0 18 0 9 0 636829077 864489472 3960 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 211057 3960 1892 9 0 205618 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 849584
[startup+0.701452 s]
/proc/loadavg: 2.00 2.12 2.23 4/82 4256
/proc/meminfo: memFree=1914368/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=844228 CPUtime=0.68
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 5107 0 1 0 64 4 0 0 18 0 9 0 636829077 864489472 4465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 211057 4465 1899 9 0 205618 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 849584
[startup+1.50154 s]
/proc/loadavg: 2.00 2.12 2.23 3/92 4267
/proc/meminfo: memFree=1902576/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=844228 CPUtime=1.48
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 5637 0 1 0 143 5 0 0 18 0 9 0 636829077 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 211057 4899 1900 9 0 205618 0
[pid=4258/tid=4260] ppid=4256 vsize=844228 CPUtime=1.22
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 3461 0 1 0 120 2 0 0 25 0 9 0 636829078 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4125955022 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=844228 CPUtime=0.1
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 944 0 0 0 9 1 0 0 16 0 9 0 636829079 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=844228 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636829079 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=844228 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 636829079 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=844228 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 636829081 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=844228 CPUtime=0.13
/proc/4258/task/4265/stat : 4265 (java) S 4256 4256 2317 0 -1 64 500 0 0 0 13 0 0 0 16 0 9 0 636829081 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=844228 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 636829081 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=844228 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 636829081 864489472 4899 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 849584
[startup+3.10334 s]
/proc/loadavg: 2.00 2.12 2.23 3/92 4267
/proc/meminfo: memFree=1899952/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=846828 CPUtime=3.08
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 8037 0 1 0 300 8 0 0 18 0 10 0 636829077 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 211707 6973 2577 9 0 206268 0
[pid=4258/tid=4260] ppid=4256 vsize=846828 CPUtime=2.46
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 3623 0 1 0 243 3 0 0 25 0 10 0 636829078 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=846828 CPUtime=0.24
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 2653 0 0 0 23 1 0 0 16 0 10 0 636829079 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 636829079 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 636829079 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 636829081 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=846828 CPUtime=0.34
/proc/4258/task/4265/stat : 4265 (java) R 4256 4256 2317 0 -1 64 1025 0 0 0 33 1 0 0 16 0 10 0 636829081 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 101455635 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636829081 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 636829081 867151872 6973 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 852184
Solver just ended. Dumping a history of the last processes samples
[startup+3.20174 s]
/proc/loadavg: 2.00 2.12 2.23 3/92 4267
/proc/meminfo: memFree=1899952/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=846828 CPUtime=3.18
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 8109 0 1 0 310 8 0 0 18 0 10 0 636829077 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 211707 7033 2577 9 0 206268 0
[pid=4258/tid=4260] ppid=4256 vsize=846828 CPUtime=2.54
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 3635 0 1 0 251 3 0 0 25 0 10 0 636829078 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4126196384 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=846828 CPUtime=0.24
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 2706 0 0 0 23 1 0 0 16 0 10 0 636829079 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 636829079 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 636829079 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 636829081 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=846828 CPUtime=0.35
/proc/4258/task/4265/stat : 4265 (java) S 4256 4256 2317 0 -1 64 1032 0 0 0 34 1 0 0 16 0 10 0 636829081 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636829081 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=846828 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 636829081 867151872 7033 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 852184
[startup+4.80292 s]
/proc/loadavg: 2.00 2.12 2.23 4/93 4268
/proc/meminfo: memFree=1886312/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=851020 CPUtime=4.78
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 13695 0 1 0 465 13 0 0 18 0 10 0 636829077 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 212755 11181 2585 9 0 207315 0
[pid=4258/tid=4260] ppid=4256 vsize=851020 CPUtime=3.47
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 4108 0 1 0 342 5 0 0 25 0 10 0 636829078 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4127408475 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=851020 CPUtime=0.69
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 6516 0 0 0 65 4 0 0 15 0 10 0 636829079 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 636829079 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 636829079 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 636829081 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=851020 CPUtime=0.59
/proc/4258/task/4265/stat : 4265 (java) S 4256 4256 2317 0 -1 64 2333 0 0 0 57 2 0 0 16 0 10 0 636829081 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636829081 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 636829081 871444480 11181 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 856376
[startup+5.60802 s]
/proc/loadavg: 2.00 2.12 2.23 4/93 4270
/proc/meminfo: memFree=1877920/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=851020 CPUtime=5.58
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 14001 0 1 0 545 13 0 0 18 0 9 0 636829077 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 212755 11479 2585 9 0 207315 0
[pid=4258/tid=4260] ppid=4256 vsize=851020 CPUtime=4.14
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 4118 0 1 0 409 5 0 0 25 0 9 0 636829078 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4127473077 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=851020 CPUtime=0.8
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 6796 0 0 0 76 4 0 0 16 0 9 0 636829079 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636829079 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 636829079 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 636829081 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=851020 CPUtime=0.61
/proc/4258/task/4265/stat : 4265 (java) S 4256 4256 2317 0 -1 64 2347 0 0 0 59 2 0 0 15 0 9 0 636829081 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 636829081 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 636829081 871444480 11479 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 856376
[startup+6.00206 s]
/proc/loadavg: 2.00 2.12 2.23 4/93 4270
/proc/meminfo: memFree=1877920/2055920 swapFree=4179952/4192956
[pid=4256] ppid=4254 vsize=5356 CPUtime=0
/proc/4256/stat : 4256 (concrete.sh) S 4254 4256 2317 0 -1 4194304 316 128 0 0 0 0 0 0 17 0 1 0 636829076 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4256/statm: 1339 242 201 169 0 50 0
[pid=4258] ppid=4256 vsize=851020 CPUtime=5.98
/proc/4258/stat : 4258 (java) S 4256 4256 2317 0 -1 0 14037 0 1 0 584 14 0 0 18 0 9 0 636829077 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4258/statm: 212755 11510 2585 9 0 207315 0
[pid=4258/tid=4260] ppid=4256 vsize=851020 CPUtime=4.52
/proc/4258/task/4260/stat : 4260 (java) R 4256 4256 2317 0 -1 64 4123 0 1 0 447 5 0 0 25 0 9 0 636829078 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4127460422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4261] ppid=4256 vsize=851020 CPUtime=0.8
/proc/4258/task/4261/stat : 4261 (java) S 4256 4256 2317 0 -1 64 6823 0 0 0 76 4 0 0 16 0 9 0 636829079 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4262] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4262/stat : 4262 (java) S 4256 4256 2317 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636829079 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4263] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4263/stat : 4263 (java) S 4256 4256 2317 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 636829079 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4264] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4264/stat : 4264 (java) S 4256 4256 2317 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 636829081 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4265] ppid=4256 vsize=851020 CPUtime=0.61
/proc/4258/task/4265/stat : 4265 (java) S 4256 4256 2317 0 -1 64 2351 0 0 0 59 2 0 0 15 0 9 0 636829081 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4258/tid=4266] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4266/stat : 4266 (java) S 4256 4256 2317 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 636829081 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4258/tid=4267] ppid=4256 vsize=851020 CPUtime=0
/proc/4258/task/4267/stat : 4267 (java) S 4256 4256 2317 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 636829081 871444480 11510 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 856376
Child status: 0
Real time (s): 6.05647
CPU time (s): 6.04208
CPU user time (s): 5.8911
CPU system time (s): 0.150977
CPU usage (%): 99.7624
Max. virtual memory (cumulated for all children) (KiB): 857664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.8911
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14496
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= 5202
involuntary context switches= 5097
runsolver used 0.011998 second user time and 0.026995 second system time
The end
Begin job on node88 at 2008-07-05 10:16:58
IDJOB=1088161
IDBENCH=58069
IDSOLVER=305
FILE ID=node88/1088161-1215245818
PBS_JOBID= 7881928
Free space on /tmp= 66496 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f12.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1088161-1215245818/watcher-1088161-1215245818 -o /tmp/evaluation-result-1088161-1215245818/solver-1088161-1215245818 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1088161-1215245818.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 923ef4c26cd9096899ec03d5df91c70b
RANDOM SEED=1660478985
node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1914784 kB
Buffers: 3792 kB
Cached: 44304 kB
SwapCached: 6780 kB
Active: 82432 kB
Inactive: 10972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1914784 kB
SwapTotal: 4192956 kB
SwapFree: 4179952 kB
Dirty: 1284 kB
Writeback: 0 kB
Mapped: 61748 kB
Slab: 32728 kB
Committed_AS: 1103480 kB
PageTables: 1984 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= 66496 MiB
End job on node88 at 2008-07-05 10:17:04