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-3289198-1304126936/watcher-3289198-1304126936 -o /tmp/evaluation-result-3289198-1304126936/solver-3289198-1304126936 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3289198-1304126936.cnf
running on 4 cores: 0,2,4,6
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: 7.33 7.88 7.97 4/176 6565
/proc/meminfo: memFree=29497224/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 412 0 0 0 0 0 0 0 19 0 4 0 602924325 52465664 352 33554432000 4194304 4650419 140733536394144 18446744073709551615 47289973921712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 12809 352 303 112 0 7774 0
[pid=6565/tid=6566] ppid=6561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 602924325 52465664 352 33554432000 4194304 4650419 140733536394144 18446744073709551615 47289973921704 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 602924325 52465664 352 33554432000 4194304 4650419 140733536394144 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 602924325 52465664 352 33554432000 4194304 4650419 140733536394144 18446744073709551615 47289973921714 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.353737 s]
/proc/loadavg: 7.33 7.88 7.97 4/176 6565
/proc/meminfo: memFree=29497224/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=303704 CPUtime=1.38 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) D 6561 6565 5921 0 -1 4202496 12971 0 0 0 136 2 0 0 18 0 4 0 602924325 310992896 10319 33554432000 4194304 4650419 140733536394144 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 75926 10319 373 112 0 70891 0
[pid=6565/tid=6566] ppid=6561 vsize=303704 CPUtime=0.33 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) D 6561 6565 5921 0 -1 4202560 3134 0 0 0 33 0 0 0 18 0 4 0 602924325 310992896 10319 33554432000 4194304 4650419 140733536394144 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=303704 CPUtime=0.33 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3217 0 0 0 33 0 0 0 18 0 4 0 602924325 310992896 10319 33554432000 4194304 4650419 140733536394144 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=303704 CPUtime=0.34 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3028 0 0 0 34 0 0 0 18 0 4 0 602924325 310992896 10319 33554432000 4194304 4650419 140733536394144 18446744073709551615 4327534 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 303704
[startup+0.400377 s]
/proc/loadavg: 7.33 7.88 7.97 4/176 6565
/proc/meminfo: memFree=29497224/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=303704 CPUtime=1.57 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 15087 0 0 0 154 3 0 0 18 0 4 0 602924325 310992896 12435 33554432000 4194304 4650419 140733536394144 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 75926 12435 373 112 0 70891 0
[pid=6565/tid=6566] ppid=6561 vsize=303704 CPUtime=0.39 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3830 0 0 0 38 1 0 0 18 0 4 0 602924325 310992896 12435 33554432000 4194304 4650419 140733536394144 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=303704 CPUtime=0.38 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3925 0 0 0 38 0 0 0 18 0 4 0 602924325 310992896 12435 33554432000 4194304 4650419 140733536394144 18446744073709551615 4243596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=303704 CPUtime=0.38 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3038 0 0 0 38 0 0 0 18 0 4 0 602924325 310992896 12436 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 303704
[startup+0.500359 s]
/proc/loadavg: 7.33 7.88 7.97 4/176 6565
/proc/meminfo: memFree=29497224/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=303704 CPUtime=1.96 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 20184 0 0 0 191 5 0 0 18 0 4 0 602924325 310992896 17532 33554432000 4194304 4650419 140733536394144 18446744073709551615 4369390 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 75926 17536 373 112 0 70891 0
[pid=6565/tid=6566] ppid=6561 vsize=303704 CPUtime=0.48 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 5519 0 0 0 47 1 0 0 18 0 4 0 602924325 310992896 17538 33554432000 4194304 4650419 140733536394144 18446744073709551615 4241514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=303704 CPUtime=0.48 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 5618 0 0 0 47 1 0 0 18 0 4 0 602924325 310992896 17538 33554432000 4194304 4650419 140733536394144 18446744073709551615 4244991 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=303704 CPUtime=0.48 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3063 0 0 0 48 0 0 0 18 0 4 0 602924325 310992896 17538 33554432000 4194304 4650419 140733536394144 18446744073709551615 4514559 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 303704
[startup+0.700322 s]
/proc/loadavg: 7.33 7.88 7.97 4/176 6565
/proc/meminfo: memFree=29497224/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=303868 CPUtime=2.76 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 27721 0 0 0 267 9 0 0 18 0 4 0 602924325 311160832 25069 33554432000 4194304 4650419 140733536394144 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 75967 25069 373 112 0 70932 0
[pid=6565/tid=6566] ppid=6561 vsize=303868 CPUtime=0.68 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 8016 0 0 0 65 3 0 0 18 0 4 0 602924325 311160832 25069 33554432000 4194304 4650419 140733536394144 18446744073709551615 4369010 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=303868 CPUtime=0.68 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 8082 0 0 0 66 2 0 0 18 0 4 0 602924325 311160832 25069 33554432000 4194304 4650419 140733536394144 18446744073709551615 4370872 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=303868 CPUtime=0.68 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 3148 0 0 0 68 0 0 0 18 0 4 0 602924325 311160832 25069 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 303868
[startup+1.50117 s]
/proc/loadavg: 7.39 7.89 7.97 9/184 6573
/proc/meminfo: memFree=29260128/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=306436 CPUtime=5.96 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 37624 0 0 0 584 12 0 0 19 0 4 0 602924325 313790464 33247 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363756 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 76609 33247 395 112 0 71574 0
[pid=6565/tid=6566] ppid=6561 vsize=306436 CPUtime=1.48 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 11041 0 0 0 144 4 0 0 20 0 4 0 602924325 313790464 33247 33554432000 4194304 4650419 140733536394144 18446744073709551615 4367013 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=306436 CPUtime=1.48 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 11074 0 0 0 145 3 0 0 20 0 4 0 602924325 313790464 33247 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=306436 CPUtime=1.48 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 4013 0 0 0 148 0 0 0 19 0 4 0 602924325 313790464 33247 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 306436
[startup+3.10087 s]
/proc/loadavg: 7.39 7.89 7.97 9/184 6573
/proc/meminfo: memFree=29255916/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=309156 CPUtime=12.35 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 42554 0 0 0 1222 13 0 0 25 0 4 0 602924325 316575744 35228 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 77289 35228 395 112 0 72254 0
[pid=6565/tid=6566] ppid=6561 vsize=309156 CPUtime=3.08 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 12109 0 0 0 304 4 0 0 25 0 4 0 602924325 316575744 35228 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363935 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=309156 CPUtime=3.07 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 12383 0 0 0 304 3 0 0 25 0 4 0 602924325 316575744 35228 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=309156 CPUtime=3.08 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 5277 0 0 0 307 1 0 0 25 0 4 0 602924325 316575744 35229 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 309156
[startup+6.30027 s]
/proc/loadavg: 7.44 7.89 7.97 9/184 6573
/proc/meminfo: memFree=29232976/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=320336 CPUtime=25.13 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 51629 0 0 0 2497 16 0 0 25 0 4 0 602924325 328024064 37670 33554432000 4194304 4650419 140733536394144 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 80084 37670 396 112 0 75049 0
[pid=6565/tid=6566] ppid=6561 vsize=320336 CPUtime=6.28 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 14645 0 0 0 624 4 0 0 25 0 4 0 602924325 328024064 37670 33554432000 4194304 4650419 140733536394144 18446744073709551615 4230548 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=320336 CPUtime=6.25 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 14077 0 0 0 622 3 0 0 25 0 4 0 602924325 328024064 37670 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=320336 CPUtime=6.28 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 6694 0 0 0 626 2 0 0 25 0 4 0 602924325 328024064 37670 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363538 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 320336
[startup+12.7011 s]
/proc/loadavg: 7.48 7.89 7.97 9/184 6573
/proc/meminfo: memFree=29109636/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=406736 CPUtime=50.69 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 75468 0 0 0 5048 21 0 0 25 0 4 0 602924325 416497664 53494 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 101684 53494 396 112 0 96649 0
[pid=6565/tid=6566] ppid=6561 vsize=406736 CPUtime=12.68 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 22481 0 0 0 1262 6 0 0 25 0 4 0 602924325 416497664 53494 33554432000 4194304 4650419 140733536394144 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=406736 CPUtime=12.61 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 18725 0 0 0 1257 4 0 0 25 0 4 0 602924325 416497664 53494 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=406736 CPUtime=12.69 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 12534 0 0 0 1265 4 0 0 25 0 4 0 602924325 416497664 53494 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 406736
[startup+25.5007 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28918188/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=101.84 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 93206 0 0 0 10158 26 0 0 25 0 4 0 602924325 559349760 61464 33554432000 4194304 4650419 140733536394144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 61464 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=25.48 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 27865 0 0 0 2540 8 0 0 25 0 4 0 602924325 559349760 61464 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=25.35 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 22469 0 0 0 2530 5 0 0 25 0 4 0 602924325 559349760 61464 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=25.48 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15214 0 0 0 2544 4 0 0 25 0 4 0 602924325 559349760 61464 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 546240
Solver just ended. Dumping a history of the last processes samples
[startup+25.8006 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28918188/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=103.01 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 93346 0 0 0 10275 26 0 0 25 0 4 0 602924325 559349760 61604 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 61604 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=25.78 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 27923 0 0 0 2570 8 0 0 25 0 4 0 602924325 559349760 61604 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=25.64 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 22472 0 0 0 2559 5 0 0 25 0 4 0 602924325 559349760 61604 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=25.78 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15214 0 0 0 2574 4 0 0 25 0 4 0 602924325 559349760 61604 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 103.01
Current children cumulated vsize (KiB) 546240
[startup+29.001 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28902200/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=115.8 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 95482 0 0 0 11553 27 0 0 25 0 4 0 602924325 559349760 63677 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 63677 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=28.98 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 28206 0 0 0 2890 8 0 0 25 0 4 0 602924325 559349760 63677 33554432000 4194304 4650419 140733536394144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=28.83 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 23154 0 0 0 2877 6 0 0 25 0 4 0 602924325 559349760 63677 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363354 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=28.98 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15225 0 0 0 2894 4 0 0 25 0 4 0 602924325 559349760 63677 33554432000 4194304 4650419 140733536394144 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 115.8
Current children cumulated vsize (KiB) 546240
[startup+29.8009 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28902200/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=119 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 95897 0 0 0 11873 27 0 0 25 0 4 0 602924325 559349760 63219 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 63219 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=29.78 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 28362 0 0 0 2970 8 0 0 25 0 4 0 602924325 559349760 63219 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=29.63 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 23315 0 0 0 2957 6 0 0 25 0 4 0 602924325 559349760 63219 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=29.78 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15225 0 0 0 2974 4 0 0 25 0 4 0 602924325 559349760 63219 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 119
Current children cumulated vsize (KiB) 546240
[startup+30.2008 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28899844/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=120.59 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 95976 0 0 0 12032 27 0 0 25 0 4 0 602924325 559349760 63298 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 63298 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=30.18 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 28365 0 0 0 3010 8 0 0 25 0 4 0 602924325 559349760 63298 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=30.03 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 23391 0 0 0 2997 6 0 0 25 0 4 0 602924325 559349760 63298 33554432000 4194304 4650419 140733536394144 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=30.18 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15225 0 0 0 3014 4 0 0 25 0 4 0 602924325 559349760 63298 33554432000 4194304 4650419 140733536394144 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 120.59
Current children cumulated vsize (KiB) 546240
[startup+30.6007 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28899844/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=546240 CPUtime=122.19 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) R 6561 6565 5921 0 -1 4202496 96374 0 0 0 12192 27 0 0 25 0 4 0 602924325 559349760 63696 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364907 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 136560 63696 396 112 0 131525 0
[pid=6565/tid=6566] ppid=6561 vsize=546240 CPUtime=30.58 cores=0,2,4,6
/proc/6565/task/6566/stat : 6566 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 28368 0 0 0 3050 8 0 0 25 0 4 0 602924325 559349760 63696 33554432000 4194304 4650419 140733536394144 18446744073709551615 4367017 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6565/tid=6570] ppid=6561 vsize=546240 CPUtime=30.43 cores=0,2,4,6
/proc/6565/task/6570/stat : 6570 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 23786 0 0 0 3037 6 0 0 25 0 4 0 602924325 559349760 63696 33554432000 4194304 4650419 140733536394144 18446744073709551615 4363994 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=546240 CPUtime=30.58 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4202560 15225 0 0 0 3054 4 0 0 25 0 4 0 602924325 559349760 63696 33554432000 4194304 4650419 140733536394144 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 122.19
Current children cumulated vsize (KiB) 546240
[startup+30.7007 s]
/proc/loadavg: 7.74 7.93 7.98 9/184 6603
/proc/meminfo: memFree=28899844/32950928 swapFree=67111356/67111528
[pid=6565] ppid=6561 vsize=0 CPUtime=122.57 cores=0,2,4,6
/proc/6565/stat : 6565 (strangenight1-m) Z 6561 6565 5921 0 -1 4203548 96403 0 0 0 12230 27 0 0 25 0 2 0 602924325 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6565/statm: 0 0 0 0 0 0 0
[pid=6565/tid=6571] ppid=6561 vsize=0 CPUtime=30.68 cores=0,2,4,6
/proc/6565/task/6571/stat : 6571 (strangenight1-m) R 6561 6565 5921 0 -1 4203588 15225 0 0 0 3063 5 0 0 25 0 2 0 602924325 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 122.57
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 30.7086
CPU time (s): 122.593
CPU user time (s): 122.308
CPU system time (s): 0.284956
CPU usage (%): 399.215
Max. virtual memory (cumulated for all children) (KiB): 546240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.308
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96403
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= 2904
involuntary context switches= 852
runsolver used 0.067989 second user time and 0.100984 second system time
The end