28.80/29.13 c CPU-LOAD 23.35
28.80/29.13 c LOADED 350 V (302 E), 2387 ExtensionConstraint2D, arity 2, 23.35 cpu
29.30/29.68 s UNSATISFIABLE
29.30/29.68 d NODES 0
29.30/29.68 d CHECKS 42068
29.30/29.68 c prepro-constraint-ccks: 0
29.30/29.68 c prepro-constraint-presenceccks: 0
29.30/29.68 c prepro-cpu: 0.17999999
29.30/29.68 c prepro-matrix2d-ccks: 42068
29.30/29.68 c prepro-matrix2d-presenceccks: 32452
29.30/29.68 c prepro-removed: 14947
29.30/29.68 c total-assgn: 0
29.30/29.68 c total-constraint-ccks: 0
29.30/29.68 c total-constraint-presence-ccks: 0
29.30/29.68 c total-cpu: 0.38
29.30/29.68 c total-matrix2d-ccks: 42068
29.30/29.68 c total-matrix2d-presence-ccks: 32452
29.30/29.68 c TOTAL-NODES 0
29.30/29.68 c TOTAL-CPU 0.38
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2088040-1247728786/watcher-2088040-1247728786 -o /tmp/evaluation-result-2088040-1247728786/solver-2088040-1247728786 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2088040-1247728786.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): 2000 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
[startup+0 s]
/proc/loadavg: 1.95 2.00 2.00 4/72 15004
/proc/meminfo: memFree=1471912/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 59945501 5484544 230 996147200 4194304 4889804 548682068816 18446744073709551615 231962542162 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/15004/statm: 1339 230 191 169 0 50 0
[pid=15005] ppid=15004 vsize=5356 CPUtime=0
/proc/15005/stat : 15005 (concrete.sh) R 15004 15004 14779 0 -1 4194368 1 0 0 0 0 0 0 0 21 0 1 0 59945501 5484544 230 996147200 4194304 4889804 548682068816 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15005/statm: 1339 230 191 169 0 50 0
[startup+0.0591 s]
/proc/loadavg: 1.95 2.00 2.00 4/72 15004
/proc/meminfo: memFree=1471912/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.105086 s]
/proc/loadavg: 1.95 2.00 2.00 4/72 15004
/proc/meminfo: memFree=1471912/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30103 s]
/proc/loadavg: 1.95 2.00 2.00 4/72 15004
/proc/meminfo: memFree=1471912/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701915 s]
/proc/loadavg: 1.95 2.00 2.00 4/72 15004
/proc/meminfo: memFree=1471912/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50268 s]
/proc/loadavg: 1.95 2.00 2.00 4/82 15017
/proc/meminfo: memFree=1456856/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=847556 CPUtime=1.46
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 8299 0 1 0 140 6 0 0 18 0 9 0 59945502 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 211889 7137 2624 9 0 206367 0
[pid=15009/tid=15010] ppid=15004 vsize=847556 CPUtime=0.98
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 3913 0 1 0 95 3 0 0 22 0 9 0 59945503 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4126420768 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=847556 CPUtime=0.11
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 2158 0 0 0 11 0 0 0 16 0 9 0 59945504 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=847556 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 59945505 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=847556 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59945505 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=847556 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 59945507 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=847556 CPUtime=0.33
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 1530 0 0 0 32 1 0 0 15 0 9 0 59945511 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=847556 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 59945511 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=847556 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59945511 867897344 7137 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852912
[startup+3.10222 s]
/proc/loadavg: 1.95 2.00 2.00 4/83 15018
/proc/meminfo: memFree=1450064/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851080 CPUtime=3.05
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 10215 0 1 0 296 9 0 0 18 0 10 0 59945502 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212770 8873 2628 9 0 207248 0
[pid=15009/tid=15010] ppid=15004 vsize=851080 CPUtime=2.04
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 4044 0 1 0 200 4 0 0 25 0 10 0 59945503 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4126644023 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851080 CPUtime=0.28
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 2982 0 0 0 27 1 0 0 16 0 10 0 59945504 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59945505 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851080 CPUtime=0.69
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 2487 0 0 0 67 2 0 0 16 0 10 0 59945511 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851080 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871505920 8873 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 856436
[startup+6.30131 s]
/proc/loadavg: 1.96 2.00 2.00 4/83 15018
/proc/meminfo: memFree=1439696/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=6.21
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 12910 0 1 0 607 14 0 0 18 0 10 0 59945502 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 10856 2633 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=4.53
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 4400 0 1 0 447 6 0 0 25 0 10 0 59945503 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4125190770 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=0.64
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 5107 0 0 0 61 3 0 0 16 0 10 0 59945504 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=1.02
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 2701 0 0 0 99 3 0 0 15 0 10 0 59945511 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871686144 10856 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 856612
[startup+12.7025 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 15018
/proc/meminfo: memFree=1414224/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=12.55
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 19217 0 1 0 1233 22 0 0 18 0 10 0 59945502 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 17130 2633 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=9.69
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 5091 0 1 0 959 10 0 0 25 0 10 0 59945503 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4127685324 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=1.2
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 10559 0 0 0 115 5 0 0 16 0 10 0 59945504 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=1.62
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 2865 0 0 0 158 4 0 0 15 0 10 0 59945511 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871686144 17130 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856612
[startup+25.5028 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 15018
/proc/meminfo: memFree=1358480/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=25.23
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 33311 0 1 0 2483 40 0 0 18 0 10 0 59945502 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 31196 2633 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=20.61
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 5990 0 1 0 2041 20 0 0 25 0 10 0 59945503 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4127968770 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=1.83
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 23326 0 0 0 171 12 0 0 16 0 10 0 59945504 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=2.75
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 3293 0 0 0 269 6 0 0 15 0 10 0 59945511 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871686144 31196 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 856612
Solver just ended. Dumping a history of the last processes samples
[startup+27.1023 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 15018
/proc/meminfo: memFree=1346384/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=26.81
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 35220 0 1 0 2640 41 0 0 18 0 10 0 59945502 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 33104 2633 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=21.72
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 6473 0 1 0 2152 20 0 0 25 0 10 0 59945503 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4127968748 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=2.31
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 24752 0 0 0 218 13 0 0 16 0 10 0 59945504 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=2.75
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 3293 0 0 0 269 6 0 0 15 0 10 0 59945511 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) R 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871686144 33104 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.81
Current children cumulated vsize (KiB) 856612
[startup+28.7029 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 15018
/proc/meminfo: memFree=1326480/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=28.39
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 39554 0 1 0 2796 43 0 0 18 0 10 0 59945502 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 37436 2633 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=23.2
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 6617 0 1 0 2300 20 0 0 25 0 10 0 59945503 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4127686606 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=2.4
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 28942 0 0 0 225 15 0 0 17 0 10 0 59945504 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=2.76
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 3293 0 0 0 270 6 0 0 15 0 10 0 59945511 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15018] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15018/stat : 15018 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 59945668 871686144 37436 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 856612
[startup+29.5026 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 15018
/proc/meminfo: memFree=1326480/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=851256 CPUtime=29.2
/proc/15009/stat : 15009 (java) S 15004 15004 14779 0 -1 0 41918 0 1 0 2876 44 0 0 18 0 10 0 59945502 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 212814 39795 2634 9 0 207292 0
[pid=15009/tid=15010] ppid=15004 vsize=851256 CPUtime=23.6
/proc/15009/task/15010/stat : 15010 (java) R 15004 15004 14779 0 -1 64 6626 0 1 0 2340 20 0 0 25 0 10 0 59945503 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4127919897 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15011] ppid=15004 vsize=851256 CPUtime=2.78
/proc/15009/task/15011/stat : 15011 (java) S 15004 15004 14779 0 -1 64 31296 0 0 0 263 15 0 0 16 0 10 0 59945504 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15012] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15012/stat : 15012 (java) S 15004 15004 14779 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15013] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15013/stat : 15013 (java) S 15004 15004 14779 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 59945505 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15014] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15014/stat : 15014 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 59945507 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15015] ppid=15004 vsize=851256 CPUtime=2.77
/proc/15009/task/15015/stat : 15015 (java) S 15004 15004 14779 0 -1 64 3293 0 0 0 271 6 0 0 15 0 10 0 59945511 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15016] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15016/stat : 15016 (java) S 15004 15004 14779 0 -1 64 2 0 0 0 0 0 0 0 20 0 10 0 59945511 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15009/tid=15017] ppid=15004 vsize=851256 CPUtime=0
/proc/15009/task/15017/stat : 15017 (java) S 15004 15004 14779 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59945511 871686144 39795 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.2
Current children cumulated vsize (KiB) 856612
[startup+29.7077 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 15019
/proc/meminfo: memFree=1317000/2055920 swapFree=4192812/4192956
[pid=15004] ppid=15002 vsize=5356 CPUtime=0
/proc/15004/stat : 15004 (concrete.sh) S 15002 15004 14779 0 -1 4194304 341 291 0 0 0 0 0 0 18 0 1 0 59945501 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15004/statm: 1339 244 201 169 0 50 0
[pid=15009] ppid=15004 vsize=0 CPUtime=29.37
/proc/15009/stat : 15009 (java) Z 15004 15004 14779 0 -1 12 41926 0 1 0 2893 44 0 0 16 0 2 0 59945502 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15009/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 29.37
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 29.7344
CPU time (s): 29.4155
CPU user time (s): 28.9426
CPU system time (s): 0.472928
CPU usage (%): 98.9276
Max. virtual memory (cumulated for all children) (KiB): 857292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9426
system time used= 0.472928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42568
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= 13982
involuntary context switches= 14385
runsolver used 0.045993 second user time and 0.114982 second system time
The end
Begin job on node16 at 2009-07-16 09:19:46
IDJOB=2088040
IDBENCH=58855
IDSOLVER=735
FILE ID=node16/2088040-1247728786
PBS_JOBID= 9521638
Free space on /tmp= 66412 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/fapp/fapp18/normalized-fapp18-0350-3.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2088040-1247728786/watcher-2088040-1247728786 -o /tmp/evaluation-result-2088040-1247728786/solver-2088040-1247728786 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2088040-1247728786.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 75e1db7383da88119e757b40e890b46a
RANDOM SEED=222579373
node16.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.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: 1472392 kB
Buffers: 75080 kB
Cached: 399900 kB
SwapCached: 0 kB
Active: 86824 kB
Inactive: 427568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1472392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1760 kB
Writeback: 0 kB
Mapped: 50984 kB
Slab: 54592 kB
Committed_AS: 519104 kB
PageTables: 1848 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= 66412 MiB
End job on node16 at 2009-07-16 09:20:16