60.39/61.08 c CPU-LOAD 60.14
60.39/61.08 c LOADED 61 V (1001 E), 20 ExtensionConstraintGeneral, 210 ExtensionConstraint2D, arity 3, 60.14 cpu
60.99/61.67 v 17 13 13 11 20 8 15 8 19 0 9 6 6 5 12 4 16 12 5 4 18 9 7 11 14 2 8 3 4 3 2 1 3 4 10 11 1 13 11 3 24 32 40 40 46 51 55 67 71 80 91 93 96 99 100 104 115 128 131 131 0
60.99/61.68 s SATISFIABLE
60.99/61.68 d NODES 106
60.99/61.68 d CHECKS 7274287
60.99/61.68 c gac3-effective-revisions: 5502
60.99/61.68 c gac3-useless-revisions: 11074
60.99/61.68 c heuristic-cpu: 0.0
60.99/61.68 c prepro-constraint-ccks: 5894886
60.99/61.68 c prepro-constraint-presenceccks: 2790
60.99/61.68 c prepro-cpu: 0.38
60.99/61.68 c prepro-matrix2d-ccks: 24989
60.99/61.68 c prepro-matrix2d-presenceccks: 18392
60.99/61.68 c prepro-removed: 21775
60.99/61.68 c search-cpu: 0.13
60.99/61.68 c total-assgn: 106
60.99/61.68 c total-constraint-ccks: 7193388
60.99/61.68 c total-constraint-presence-ccks: 62968
60.99/61.68 c total-cpu: 0.52
60.99/61.68 c total-matrix2d-ccks: 80899
60.99/61.68 c total-matrix2d-presence-ccks: 54415
60.99/61.68 c tuples: 0
60.99/61.68 c tuples-collisions: 0
60.99/61.68 c TOTAL-NODES 106
60.99/61.68 c TOTAL-CPU 0.52
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1055690-1215060052/watcher-1055690-1215060052 -o /tmp/evaluation-result-1055690-1215060052/solver-1055690-1215060052 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1055690-1215060052.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: 1.92 1.98 1.99 4/81 5931
/proc/meminfo: memFree=1668872/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) R 5929 5931 2877 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/5931/statm: 1339 230 191 169 0 50 0
[startup+0.022666 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 5931
/proc/meminfo: memFree=1668872/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.103157 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 5931
/proc/meminfo: memFree=1668872/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301183 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 5931
/proc/meminfo: memFree=1668872/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701242 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 5931
/proc/meminfo: memFree=1668872/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50234 s]
/proc/loadavg: 1.92 1.98 1.99 3/92 5943
/proc/meminfo: memFree=1510128/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=1.46
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43322 0 1 0 127 19 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=1.24
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39793 0 1 0 106 18 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125966110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 850148
[startup+3.10156 s]
/proc/loadavg: 1.92 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1505960/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=3.05
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43323 0 1 0 286 19 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=2.82
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39794 0 1 0 264 18 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 103872465 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 850148
[startup+6.30298 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1502440/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=6.22
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 603 19 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=5.99
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 581 18 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 103282683 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 850148
[startup+12.7018 s]
/proc/loadavg: 1.93 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1496168/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=12.56
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 1236 20 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=12.32
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 1214 18 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125764942 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 850148
[startup+25.5025 s]
/proc/loadavg: 1.95 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1483496/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=25.24
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 2504 20 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=25
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 2482 18 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125966110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
################
# More data... #
################
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 5038 21 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=50.36
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 5016 20 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125966110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 850148
Solver just ended. Dumping a history of the last processes samples
[startup+57.5028 s]
/proc/loadavg: 1.97 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1451240/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=56.93
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 5672 21 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=56.7
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 5650 20 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125966110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.93
Current children cumulated vsize (KiB) 850148
[startup+59.103 s]
/proc/loadavg: 1.97 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1450088/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=58.51
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 5830 21 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=58.29
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 5809 20 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4125966110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 58.51
Current children cumulated vsize (KiB) 850148
[startup+60.7022 s]
/proc/loadavg: 1.97 1.98 1.99 3/92 5944
/proc/meminfo: memFree=1447720/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=60.09
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43324 0 1 0 5988 21 0 0 22 0 10 0 1535676960 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 42535 2566 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=59.87
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39795 0 1 0 5967 20 0 0 25 0 10 0 1535676961 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 103282681 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.09
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 2430 0 0 0 9 0 0 0 16 0 10 0 1535676962 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1535676963 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.11
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 362 0 0 0 11 0 0 0 16 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1535676965 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5944] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5944/stat : 5944 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1535677063 865067008 42535 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.09
Current children cumulated vsize (KiB) 850148
[startup+61.5023 s]
/proc/loadavg: 1.97 1.98 1.99 3/91 5945
/proc/meminfo: memFree=1443816/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=60.88
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 43983 0 1 0 6067 21 0 0 22 0 9 0 1535676960 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 43184 2567 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=60.6
/proc/5934/task/5935/stat : 5935 (java) R 5931 5931 2877 0 -1 64 39822 0 1 0 6040 20 0 0 25 0 9 0 1535676961 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4125981778 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.13
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 3049 0 0 0 13 0 0 0 16 0 9 0 1535676962 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1535676963 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1535676963 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1535676965 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.13
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 374 0 0 0 13 0 0 0 16 0 9 0 1535676965 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1535676965 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1535676965 865067008 43184 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 60.88
Current children cumulated vsize (KiB) 850148
[startup+61.7023 s]
/proc/loadavg: 1.97 1.98 1.99 3/91 5945
/proc/meminfo: memFree=1443816/2055920 swapFree=4180424/4192956
[pid=5931] ppid=5929 vsize=5356 CPUtime=0
/proc/5931/stat : 5931 (concrete.sh) S 5929 5931 2877 0 -1 4194304 316 128 0 0 0 0 0 0 20 0 1 0 1535676959 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5931/statm: 1339 242 201 169 0 50 0
[pid=5934] ppid=5931 vsize=844792 CPUtime=61.07
/proc/5934/stat : 5934 (java) S 5931 5931 2877 0 -1 0 44008 0 1 0 6085 22 0 0 22 0 9 0 1535676960 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5934/statm: 211198 43206 2570 9 0 205765 0
[pid=5934/tid=5935] ppid=5931 vsize=844792 CPUtime=60.75
/proc/5934/task/5935/stat : 5935 (java) S 5931 5931 2877 0 -1 64 39834 0 1 0 6055 20 0 0 25 0 9 0 1535676961 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5936] ppid=5931 vsize=844792 CPUtime=0.13
/proc/5934/task/5936/stat : 5936 (java) S 5931 5931 2877 0 -1 64 3049 0 0 0 13 0 0 0 16 0 9 0 1535676962 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5937] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5937/stat : 5937 (java) S 5931 5931 2877 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1535676963 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5938] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5938/stat : 5938 (java) S 5931 5931 2877 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1535676963 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5939] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5939/stat : 5939 (java) S 5931 5931 2877 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1535676965 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5940] ppid=5931 vsize=844792 CPUtime=0.15
/proc/5934/task/5940/stat : 5940 (java) S 5931 5931 2877 0 -1 64 387 0 0 0 15 0 0 0 16 0 9 0 1535676965 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5941] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5941/stat : 5941 (java) S 5931 5931 2877 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1535676965 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5934/tid=5942] ppid=5931 vsize=844792 CPUtime=0
/proc/5934/task/5942/stat : 5942 (java) S 5931 5931 2877 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1535676965 865067008 43206 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 61.07
Current children cumulated vsize (KiB) 850148
Child status: 0
Real time (s): 61.7503
CPU time (s): 61.1087
CPU user time (s): 60.8537
CPU system time (s): 0.254961
CPU usage (%): 98.9609
Max. virtual memory (cumulated for all children) (KiB): 850148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.8537
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44464
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= 2100
involuntary context switches= 3544
runsolver used 0.077988 second user time and 0.217966 second system time
The end
Begin job on node13 at 2008-07-03 06:40:52
IDJOB=1055690
IDBENCH=56967
IDSOLVER=305
FILE ID=node13/1055690-1215060052
PBS_JOBID= 7875147
Free space on /tmp= 66528 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/travellingSalesman-20/normalized-tsp-20-29_ext.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1055690-1215060052/watcher-1055690-1215060052 -o /tmp/evaluation-result-1055690-1215060052/solver-1055690-1215060052 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1055690-1215060052.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7ae50f6d6a62511b0bcb1887c36d915c
RANDOM SEED=1612968699
node13.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.238
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.238
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: 1669352 kB
Buffers: 44368 kB
Cached: 168468 kB
SwapCached: 6668 kB
Active: 208304 kB
Inactive: 100168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1669352 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 26028 kB
Writeback: 0 kB
Mapped: 109468 kB
Slab: 63100 kB
Committed_AS: 3635824 kB
PageTables: 2160 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= 66468 MiB
End job on node13 at 2008-07-03 06:41:54