runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282940-1304028708/watcher-3282940-1304028708 -o /tmp/evaluation-result-3282940-1304028708/solver-3282940-1304028708 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3282940-1304028708.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 495286151 52441088 347 33554432000 4194304 4627427 140735103011280 18446744073709551615 47877353400242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 12803 347 299 106 0 7774 0
[pid=1937/tid=1938] ppid=1935 vsize=208008 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) D 1935 1937 1895 0 -1 4202560 322 0 0 0 0 0 0 0 24 0 4 0 495286151 213000192 1340 33554432000 4194304 4627427 140735103011280 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=208008 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 321 0 0 0 0 0 0 0 24 0 4 0 495286151 213000192 1346 33554432000 4194304 4627427 140735103011280 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=208008 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 59 0 0 0 0 0 0 0 24 0 4 0 495286151 213000192 1358 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261616443 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.01795 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=287244 CPUtime=0.05 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 4626 0 0 0 4 1 0 0 18 0 4 0 495286151 294137856 4175 33554432000 4194304 4627427 140735103011280 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 71811 4201 341 106 0 66782 0
[pid=1937/tid=1938] ppid=1935 vsize=287532 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 1117 0 0 0 0 0 0 0 18 0 4 0 495286151 294432768 4211 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261313744 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=287532 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) S 1935 1937 1895 0 -1 4202560 1177 0 0 0 0 0 0 0 18 0 4 0 495286151 294432768 4227 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261721582 0 0 4096 2 18446604471126988928 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=287532 CPUtime=0 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) S 1935 1937 1895 0 -1 4202560 842 0 0 0 0 0 0 0 18 0 4 0 495286151 294432768 4242 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261721582 0 0 4096 2 18446604471126988928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 287244
[startup+0.105241 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=387584 CPUtime=0.72 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 24378 0 0 0 65 7 0 0 18 0 4 0 495286151 396886016 20289 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 98449 27064 368 106 0 93420 0
[pid=1937/tid=1938] ppid=1935 vsize=402560 CPUtime=0.93 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 10093 0 0 0 91 2 0 0 18 0 4 0 495286151 412221440 35424 33554432000 4194304 4627427 140735103011280 18446744073709551615 4462951 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=402560 CPUtime=0.97 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 12322 0 0 0 95 2 0 0 18 0 4 0 495286151 412221440 38012 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261313647 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=402560 CPUtime=0.97 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) S 1935 1937 1895 0 -1 4202560 7762 0 0 0 95 2 0 0 18 0 4 0 495286151 412221440 38040 33554432000 4194304 4627427 140735103011280 18446744073709551615 254261721582 0 0 4096 2 18446604471126988928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 387584
[startup+1.22337 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=405628 CPUtime=4.81 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 46186 0 0 0 469 12 0 0 18 0 4 0 495286151 415363072 38656 33554432000 4194304 4627427 140735103011280 18446744073709551615 4401538 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 101407 38656 388 106 0 96378 0
[pid=1937/tid=1938] ppid=1935 vsize=405628 CPUtime=1.2 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 12439 0 0 0 117 3 0 0 18 0 4 0 495286151 415363072 38656 33554432000 4194304 4627427 140735103011280 18446744073709551615 4400900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=405628 CPUtime=1.2 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 13587 0 0 0 117 3 0 0 18 0 4 0 495286151 415363072 38656 33554432000 4194304 4627427 140735103011280 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=405628 CPUtime=1.19 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 7813 0 0 0 117 2 0 0 19 0 4 0 495286151 415363072 38656 33554432000 4194304 4627427 140735103011280 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 405628
[startup+1.32335 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=405628 CPUtime=5.21 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 46282 0 0 0 509 12 0 0 18 0 4 0 495286151 415363072 38751 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 101407 38751 388 106 0 96378 0
[pid=1937/tid=1938] ppid=1935 vsize=405628 CPUtime=1.3 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 12465 0 0 0 127 3 0 0 18 0 4 0 495286151 415363072 38751 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=405628 CPUtime=1.3 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 13613 0 0 0 127 3 0 0 18 0 4 0 495286151 415363072 38751 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=405628 CPUtime=1.29 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 7833 0 0 0 127 2 0 0 19 0 4 0 495286151 415363072 38751 33554432000 4194304 4627427 140735103011280 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.21
Current children cumulated vsize (KiB) 405628
[startup+1.50032 s]
/proc/loadavg: 0.68 0.15 0.05 5/180 1937
/proc/meminfo: memFree=21840968/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=405628 CPUtime=5.92 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 46547 0 0 0 580 12 0 0 18 0 4 0 495286151 415363072 39016 33554432000 4194304 4627427 140735103011280 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 101407 39016 388 106 0 96378 0
[pid=1937/tid=1938] ppid=1935 vsize=405628 CPUtime=1.47 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 12516 0 0 0 144 3 0 0 18 0 4 0 495286151 415363072 39016 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=405628 CPUtime=1.48 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 13731 0 0 0 145 3 0 0 18 0 4 0 495286151 415363072 39016 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=405628 CPUtime=1.47 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 7877 0 0 0 145 2 0 0 19 0 4 0 495286151 415363072 39016 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 405628
[startup+3.10104 s]
/proc/loadavg: 0.68 0.15 0.05 9/184 1941
/proc/meminfo: memFree=21579536/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=417520 CPUtime=12.32 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 63248 0 0 0 1218 14 0 0 21 0 4 0 495286151 427540480 40198 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 104380 40198 390 106 0 99351 0
[pid=1937/tid=1938] ppid=1935 vsize=417520 CPUtime=3.08 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 16644 0 0 0 304 4 0 0 21 0 4 0 495286151 427540480 40200 33554432000 4194304 4627427 140735103011280 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=417520 CPUtime=3.08 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 17582 0 0 0 305 3 0 0 21 0 4 0 495286151 427540480 40200 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=417520 CPUtime=3.07 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 12248 0 0 0 304 3 0 0 23 0 4 0 495286151 427540480 40200 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 417520
[startup+6.30047 s]
/proc/loadavg: 1.27 0.28 0.09 9/184 1941
/proc/meminfo: memFree=21522016/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=412824 CPUtime=25.09 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 77184 0 0 0 2492 17 0 0 25 0 4 0 495286151 422731776 48118 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308285 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 103206 48118 391 106 0 98177 0
[pid=1937/tid=1938] ppid=1935 vsize=412824 CPUtime=6.27 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 20320 0 0 0 622 5 0 0 25 0 4 0 495286151 422731776 48118 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=412824 CPUtime=6.27 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 20388 0 0 0 624 3 0 0 25 0 4 0 495286151 422731776 48118 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=412824 CPUtime=6.24 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 15768 0 0 0 621 3 0 0 25 0 4 0 495286151 422731776 48118 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 412824
[startup+12.7003 s]
/proc/loadavg: 1.81 0.41 0.13 9/184 1941
/proc/meminfo: memFree=21042012/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=433448 CPUtime=50.65 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 93595 0 0 0 5044 21 0 0 25 0 4 0 495286151 443850752 59352 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 108362 59352 391 106 0 103333 0
[pid=1937/tid=1938] ppid=1935 vsize=433448 CPUtime=12.67 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 22839 0 0 0 1262 5 0 0 25 0 4 0 495286151 443850752 59352 33554432000 4194304 4627427 140735103011280 18446744073709551615 4324344 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=433448 CPUtime=12.68 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 23101 0 0 0 1264 4 0 0 25 0 4 0 495286151 443850752 59352 33554432000 4194304 4627427 140735103011280 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=433448 CPUtime=12.61 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 23918 0 0 0 1256 5 0 0 25 0 4 0 495286151 443850752 59352 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 433448
[startup+25.5011 s]
/proc/loadavg: 3.31 0.81 0.27 9/184 1942
/proc/meminfo: memFree=20911660/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=543156 CPUtime=101.78 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 108617 0 0 0 10153 25 0 0 25 0 4 0 495286151 556191744 67132 33554432000 4194304 4627427 140735103011280 18446744073709551615 4333052 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 135789 67132 391 106 0 130760 0
[pid=1937/tid=1938] ppid=1935 vsize=543156 CPUtime=25.47 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 26134 0 0 0 2541 6 0 0 25 0 4 0 495286151 556191744 67132 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=543156 CPUtime=25.48 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 26297 0 0 0 2543 5 0 0 25 0 4 0 495286151 556191744 67132 33554432000 4194304 4627427 140735103011280 18446744073709551615 4310847 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=543156 CPUtime=25.33 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 27739 0 0 0 2528 5 0 0 25 0 4 0 495286151 556191744 67132 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 543156
[startup+51.1006 s]
/proc/loadavg: 4.91 1.38 0.47 9/184 1943
/proc/meminfo: memFree=20836732/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=500156 CPUtime=204.04 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 129019 0 0 0 20373 31 0 0 25 0 4 0 495286151 512159744 67426 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 125039 67426 391 106 0 120010 0
[pid=1937/tid=1938] ppid=1935 vsize=500156 CPUtime=51.07 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 31558 0 0 0 5099 8 0 0 25 0 4 0 495286151 512159744 67426 33554432000 4194304 4627427 140735103011280 18446744073709551615 4322044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=500156 CPUtime=51.07 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 29039 0 0 0 5102 5 0 0 25 0 4 0 495286151 512159744 67426 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=500156 CPUtime=50.8 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 37142 0 0 0 5072 8 0 0 25 0 4 0 495286151 512159744 67426 33554432000 4194304 4627427 140735103011280 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 500156
[startup+102.301 s]
/proc/loadavg: 6.75 2.43 0.87 9/184 1944
/proc/meminfo: memFree=20768192/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=513004 CPUtime=408.55 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 163786 0 0 0 40812 43 0 0 25 0 4 0 495286151 525316096 76844 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 128251 76844 392 106 0 123222 0
[pid=1937/tid=1938] ppid=1935 vsize=513004 CPUtime=102.27 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 38898 0 0 0 10217 10 0 0 25 0 4 0 495286151 525316096 76844 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=513004 CPUtime=102.27 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 34898 0 0 0 10220 7 0 0 25 0 4 0 495286151 525316096 76844 33554432000 4194304 4627427 140735103011280 18446744073709551615 4322223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=513004 CPUtime=101.72 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 51424 0 0 0 10158 14 0 0 25 0 4 0 495286151 525316096 76844 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 513004
[startup+162.301 s]
/proc/loadavg: 7.63 3.47 1.33 9/184 1945
/proc/meminfo: memFree=20718456/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=556916 CPUtime=648.24 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 204789 0 0 0 64766 58 0 0 25 0 4 0 495286151 570281984 80672 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 139229 80672 391 106 0 134200 0
[pid=1937/tid=1938] ppid=1935 vsize=556916 CPUtime=162.28 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 47619 0 0 0 16214 14 0 0 25 0 4 0 495286151 570281984 80672 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=556916 CPUtime=162.27 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 42787 0 0 0 16217 10 0 0 25 0 4 0 495286151 570281984 80672 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=556916 CPUtime=161.4 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 65221 0 0 0 16122 18 0 0 25 0 4 0 495286151 570281984 80672 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 556916
Solver just ended. Dumping a history of the last processes samples
[startup+180.101 s]
/proc/loadavg: 7.71 3.69 1.43 9/184 1946
/proc/meminfo: memFree=20686712/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=558264 CPUtime=719.34 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 214600 0 0 0 71872 62 0 0 25 0 4 0 495286151 571662336 80338 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 139566 80338 391 106 0 134537 0
[pid=1937/tid=1938] ppid=1935 vsize=558264 CPUtime=180.07 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 50703 0 0 0 17992 15 0 0 25 0 4 0 495286151 571662336 80338 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=558264 CPUtime=180.08 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 44559 0 0 0 17996 12 0 0 25 0 4 0 495286151 571662336 80338 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=558264 CPUtime=179.1 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 68242 0 0 0 17891 19 0 0 25 0 4 0 495286151 571662336 80338 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 719.34
Current children cumulated vsize (KiB) 558264
[startup+192.901 s]
/proc/loadavg: 7.84 3.92 1.54 9/184 1946
/proc/meminfo: memFree=20691920/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=558372 CPUtime=770.48 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 222694 0 0 0 76983 65 0 0 25 0 4 0 495286151 571772928 81893 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 139593 81893 391 106 0 134564 0
[pid=1937/tid=1938] ppid=1935 vsize=558372 CPUtime=192.87 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 52600 0 0 0 19271 16 0 0 25 0 4 0 495286151 571772928 81893 33554432000 4194304 4627427 140735103011280 18446744073709551615 4327756 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=558372 CPUtime=192.88 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46036 0 0 0 19276 12 0 0 25 0 4 0 495286151 571772928 81893 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=558372 CPUtime=191.82 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 71809 0 0 0 19162 20 0 0 25 0 4 0 495286151 571772928 81893 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 770.48
Current children cumulated vsize (KiB) 558372
[startup+205.7 s]
/proc/loadavg: 7.88 4.12 1.65 9/184 1947
/proc/meminfo: memFree=20698740/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=505432 CPUtime=821.6 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 229100 0 0 0 82093 67 0 0 25 0 4 0 495286151 517562368 81168 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 126358 81168 391 106 0 121329 0
[pid=1937/tid=1938] ppid=1935 vsize=505432 CPUtime=205.67 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 20551 16 0 0 25 0 4 0 495286151 517562368 81168 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=505432 CPUtime=205.67 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46575 0 0 0 20555 12 0 0 25 0 4 0 495286151 517562368 81168 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=505432 CPUtime=204.56 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 74767 0 0 0 20434 22 0 0 25 0 4 0 495286151 517562368 81168 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 821.6
Current children cumulated vsize (KiB) 505432
[startup+208.907 s]
/proc/loadavg: 7.88 4.12 1.65 9/184 1947
/proc/meminfo: memFree=20699484/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=491860 CPUtime=834.41 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 230720 0 0 0 83373 68 0 0 25 0 4 0 495286151 503664640 80216 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 122965 80216 391 106 0 117936 0
[pid=1937/tid=1938] ppid=1935 vsize=491860 CPUtime=208.87 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 20871 16 0 0 25 0 4 0 495286151 503664640 80216 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=491860 CPUtime=208.88 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46575 0 0 0 20876 12 0 0 25 0 4 0 495286151 503664640 80216 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=491860 CPUtime=207.74 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 76112 0 0 0 20752 22 0 0 25 0 4 0 495286151 503664640 80216 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 834.41
Current children cumulated vsize (KiB) 491860
[startup+212.101 s]
/proc/loadavg: 7.89 4.18 1.68 9/184 1947
/proc/meminfo: memFree=20692912/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=491860 CPUtime=847.18 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 231249 0 0 0 84650 68 0 0 25 0 4 0 495286151 503664640 80745 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309982 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 122965 80745 391 106 0 117936 0
[pid=1937/tid=1938] ppid=1935 vsize=491860 CPUtime=212.07 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 21191 16 0 0 25 0 4 0 495286151 503664640 80745 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=491860 CPUtime=212.08 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46575 0 0 0 21196 12 0 0 25 0 4 0 495286151 503664640 80745 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=491860 CPUtime=210.92 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 76397 0 0 0 21070 22 0 0 25 0 4 0 495286151 503664640 80745 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 847.18
Current children cumulated vsize (KiB) 491860
[startup+212.901 s]
/proc/loadavg: 7.89 4.18 1.68 9/184 1947
/proc/meminfo: memFree=20692912/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=491860 CPUtime=850.36 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 231544 0 0 0 84968 68 0 0 25 0 4 0 495286151 503664640 81040 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 122965 81040 391 106 0 117936 0
[pid=1937/tid=1938] ppid=1935 vsize=491860 CPUtime=212.87 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 21271 16 0 0 25 0 4 0 495286151 503664640 81040 33554432000 4194304 4627427 140735103011280 18446744073709551615 4222675 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=491860 CPUtime=212.87 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46607 0 0 0 21275 12 0 0 25 0 4 0 495286151 503664640 81040 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=491860 CPUtime=211.72 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 76592 0 0 0 21150 22 0 0 25 0 4 0 495286151 503664640 81040 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 850.36
Current children cumulated vsize (KiB) 491860
[startup+213.701 s]
/proc/loadavg: 7.89 4.18 1.68 9/184 1947
/proc/meminfo: memFree=20694648/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=491860 CPUtime=853.56 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 231744 0 0 0 85287 69 0 0 25 0 4 0 495286151 503664640 81240 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 122965 81240 391 106 0 117936 0
[pid=1937/tid=1938] ppid=1935 vsize=491860 CPUtime=213.67 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 21351 16 0 0 25 0 4 0 495286151 503664640 81240 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=491860 CPUtime=213.67 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46636 0 0 0 21355 12 0 0 25 0 4 0 495286151 503664640 81240 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=491860 CPUtime=212.51 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 76672 0 0 0 21229 22 0 0 25 0 4 0 495286151 503664640 81240 33554432000 4194304 4627427 140735103011280 18446744073709551615 4321474 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 853.56
Current children cumulated vsize (KiB) 491860
[startup+214.101 s]
/proc/loadavg: 7.89 4.18 1.68 9/184 1947
/proc/meminfo: memFree=20694648/32951124 swapFree=67111528/67111528
[pid=1937] ppid=1935 vsize=491860 CPUtime=855.16 cores=1,3,5,7
/proc/1937/stat : 1937 (strangenight2-m) R 1935 1937 1895 0 -1 4202496 231828 0 0 0 85447 69 0 0 25 0 4 0 495286151 503664640 81324 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1937/statm: 122965 81324 391 106 0 117936 0
[pid=1937/tid=1938] ppid=1935 vsize=491860 CPUtime=214.07 cores=1,3,5,7
/proc/1937/task/1938/stat : 1938 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 53520 0 0 0 21391 16 0 0 25 0 4 0 495286151 503664640 81324 33554432000 4194304 4627427 140735103011280 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1937/tid=1939] ppid=1935 vsize=491860 CPUtime=214.07 cores=1,3,5,7
/proc/1937/task/1939/stat : 1939 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 46662 0 0 0 21395 12 0 0 25 0 4 0 495286151 503664640 81324 33554432000 4194304 4627427 140735103011280 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1937/tid=1940] ppid=1935 vsize=491860 CPUtime=212.91 cores=1,3,5,7
/proc/1937/task/1940/stat : 1940 (strangenight2-m) R 1935 1937 1895 0 -1 4202560 76696 0 0 0 21269 22 0 0 25 0 4 0 495286151 503664640 81324 33554432000 4194304 4627427 140735103011280 18446744073709551615 4324267 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 855.16
Current children cumulated vsize (KiB) 491860
Child status: 20
Real time (s): 214.173
CPU time (s): 855.413
CPU user time (s): 854.707
CPU system time (s): 0.705892
CPU usage (%): 399.402
Max. virtual memory (cumulated for all children) (KiB): 623828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 854.707
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7257
involuntary context switches= 5672
runsolver used 0.359945 second user time and 0.822874 second system time
The end