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-3286300-1304040936/watcher-3286300-1304040936 -o /tmp/evaluation-result-3286300-1304040936/solver-3286300-1304040936 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3286300-1304040936.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.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 515691591 52465664 356 33554432000 4194304 4650419 140737476171936 18446744073709551615 47491780466608 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 12809 356 306 112 0 7774 0
[pid=18227/tid=18228] ppid=18225 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 515691591 52465664 356 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122714043 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515691591 52465664 356 33554432000 4194304 4650419 140737476171936 18446744073709551615 47491780466604 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515691591 52465664 356 33554432000 4194304 4650419 140737476171936 18446744073709551615 228117761110 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.012627 s]
/proc/loadavg: 7.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=256056 CPUtime=0.01 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 4742 0 0 0 1 0 0 0 18 0 4 0 515691591 262201344 3990 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122411119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 64014 4015 343 112 0 58979 0
[pid=18227/tid=18228] ppid=18225 vsize=256056 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 1291 0 0 0 0 0 0 0 18 0 4 0 515691591 262201344 4030 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122411127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=256056 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 1143 0 0 0 0 0 0 0 18 0 4 0 515691591 262201344 4055 33554432000 4194304 4650419 140737476171936 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=256624 CPUtime=0 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) D 18225 18227 17518 0 -1 4202560 502 0 0 0 0 0 0 0 18 0 4 0 515691591 262782976 4062 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122411200 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 256056
[startup+0.101272 s]
/proc/loadavg: 7.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=328364 CPUtime=0.28 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) D 18225 18227 17518 0 -1 4202496 24530 0 0 0 21 7 0 0 18 0 4 0 515691591 336244736 20840 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122375201 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 82157 21065 345 112 0 77122 0
[pid=18227/tid=18228] ppid=18225 vsize=328628 CPUtime=0.09 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 6029 0 0 0 8 1 0 0 18 0 4 0 515691591 336515072 21065 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122369036 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=328892 CPUtime=0.05 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) D 18225 18227 17518 0 -1 4202560 6223 0 0 0 5 0 0 0 18 0 4 0 515691591 336785408 21358 33554432000 4194304 4650419 140737476171936 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=329024 CPUtime=0.06 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 6027 0 0 0 4 2 0 0 18 0 4 0 515691591 336920576 21434 33554432000 4194304 4650419 140737476171936 18446744073709551615 4545770 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 328364
[startup+0.627447 s]
/proc/loadavg: 7.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=354648 CPUtime=2.39 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 41028 0 0 0 222 17 0 0 18 0 4 0 515691591 363159552 36615 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122757303 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 89252 37972 373 112 0 84217 0
[pid=18227/tid=18228] ppid=18225 vsize=357948 CPUtime=0.67 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 11782 0 0 0 64 3 0 0 18 0 4 0 515691591 366538752 38701 33554432000 4194304 4650419 140737476171936 18446744073709551615 4370318 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=359232 CPUtime=0.62 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) D 18225 18227 17518 0 -1 4202560 12564 0 0 0 61 1 0 0 18 0 4 0 515691591 367853568 39523 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122374853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=360088 CPUtime=0.66 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 6647 0 0 0 64 2 0 0 18 0 4 0 515691591 368730112 40129 33554432000 4194304 4650419 140737476171936 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 354648
[startup+0.893032 s]
/proc/loadavg: 7.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=374800 CPUtime=3.4 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 54043 0 0 0 315 25 0 0 18 0 4 0 515691591 383795200 49630 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122757303 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 94480 52138 373 112 0 89445 0
[pid=18227/tid=18228] ppid=18225 vsize=381920 CPUtime=0.98 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 16909 0 0 0 94 4 0 0 18 0 4 0 515691591 391086080 54794 33554432000 4194304 4650419 140737476171936 18446744073709551615 4245065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=384416 CPUtime=0.92 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) D 18225 18227 17518 0 -1 4202560 18160 0 0 0 90 2 0 0 18 0 4 0 515691591 393641984 56008 33554432000 4194304 4650419 140737476171936 18446744073709551615 4241552 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=521540 CPUtime=1.03 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 6860 0 0 0 101 2 0 0 19 0 4 0 515691591 534056960 59990 33554432000 4194304 4650419 140737476171936 18446744073709551615 4315071 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 374800
[startup+1.62089 s]
/proc/loadavg: 7.59 6.89 6.96 2/174 18227
/proc/meminfo: memFree=18789408/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=578484 CPUtime=6.48 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 99915 0 0 0 612 36 0 0 18 0 4 0 515691591 592367616 94922 33554432000 4194304 4650419 140737476171936 18446744073709551615 4243563 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18227/statm: 146305 99285 376 112 0 141270 0
[pid=18227/tid=18228] ppid=18225 vsize=722536 CPUtime=1.77 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 32537 0 0 0 170 7 0 0 18 0 4 0 515691591 739876864 103253 33554432000 4194304 4650419 140737476171936 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=736180 CPUtime=1.82 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) D 18225 18227 17518 0 -1 4202560 37014 0 0 0 177 5 0 0 19 0 4 0 515691591 753848320 112468 33554432000 4194304 4650419 140737476171936 18446744073709551615 4241552 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=745336 CPUtime=1.93 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 8309 0 0 0 191 2 0 0 21 0 4 0 515691591 763224064 117623 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 578484
[startup+3.1717 s]
/proc/loadavg: 7.70 6.93 6.97 7/184 18240
/proc/meminfo: memFree=17547560/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=1148908 CPUtime=12.48 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 204464 0 0 0 1194 54 0 0 19 0 4 0 515691591 1176481792 198369 33554432000 4194304 4650419 140737476171936 18446744073709551615 4241552 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 287227 198369 376 112 0 282192 0
[pid=18227/tid=18228] ppid=18225 vsize=1148908 CPUtime=3.15 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 64311 0 0 0 303 12 0 0 18 0 4 0 515691591 1176481792 198369 33554432000 4194304 4650419 140737476171936 18446744073709551615 4244897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=1148908 CPUtime=3.07 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 65726 0 0 0 298 9 0 0 19 0 4 0 515691591 1176481792 198369 33554432000 4194304 4650419 140737476171936 18446744073709551615 4244897 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=1148908 CPUtime=3.13 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 9385 0 0 0 310 3 0 0 25 0 4 0 515691591 1176481792 198369 33554432000 4194304 4650419 140737476171936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 1148908
[startup+6.30041 s]
/proc/loadavg: 7.70 6.93 6.97 9/184 18241
/proc/meminfo: memFree=16861264/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=1756576 CPUtime=24.99 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 331689 0 0 0 2426 73 0 0 25 0 4 0 515691591 1798733824 324084 33554432000 4194304 4650419 140737476171936 18446744073709551615 4370249 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 439144 324084 376 112 0 434109 0
[pid=18227/tid=18228] ppid=18225 vsize=1756576 CPUtime=6.28 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 106615 0 0 0 609 19 0 0 25 0 4 0 515691591 1798733824 324084 33554432000 4194304 4650419 140737476171936 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=1756576 CPUtime=6.2 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 106580 0 0 0 606 14 0 0 25 0 4 0 515691591 1798733824 324084 33554432000 4194304 4650419 140737476171936 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=1756576 CPUtime=6.26 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 11339 0 0 0 623 3 0 0 25 0 4 0 515691591 1798733824 324084 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364871 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 1756576
[startup+12.7003 s]
/proc/loadavg: 7.82 6.98 6.98 9/184 18241
/proc/meminfo: memFree=16778508/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=1901336 CPUtime=50.53 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 357042 0 0 0 4975 78 0 0 25 0 4 0 515691591 1946968064 339581 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 475334 339581 394 112 0 470299 0
[pid=18227/tid=18228] ppid=18225 vsize=1901336 CPUtime=12.67 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 113752 0 0 0 1246 21 0 0 25 0 4 0 515691591 1946968064 339581 33554432000 4194304 4650419 140737476171936 18446744073709551615 4311188 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=1901336 CPUtime=12.59 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112583 0 0 0 1245 14 0 0 25 0 4 0 515691591 1946968064 339581 33554432000 4194304 4650419 140737476171936 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=1901336 CPUtime=12.65 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 16493 0 0 0 1260 5 0 0 25 0 4 0 515691591 1946968064 339581 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 1901336
[startup+25.5009 s]
/proc/loadavg: 7.85 7.01 7.00 9/184 18241
/proc/meminfo: memFree=16321064/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2242072 CPUtime=101.66 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 449535 0 0 0 10071 95 0 0 25 0 4 0 515691591 2295881728 428905 33554432000 4194304 4650419 140737476171936 18446744073709551615 4345789 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 560518 428905 395 112 0 555483 0
[pid=18227/tid=18228] ppid=18225 vsize=2242072 CPUtime=25.48 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 118600 0 0 0 2526 22 0 0 25 0 4 0 515691591 2295881728 428905 33554432000 4194304 4650419 140737476171936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2242072 CPUtime=25.39 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 117229 0 0 0 2524 15 0 0 25 0 4 0 515691591 2295881728 428905 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2242072 CPUtime=25.46 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 94518 0 0 0 2526 20 0 0 25 0 4 0 515691591 2295881728 428905 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 2242072
[startup+51.1003 s]
/proc/loadavg: 7.71 7.04 7.01 9/184 18272
/proc/meminfo: memFree=15905532/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2316476 CPUtime=203.88 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 467196 0 0 0 20283 105 0 0 25 0 4 0 515691591 2372071424 438847 33554432000 4194304 4650419 140737476171936 18446744073709551615 4369169 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 579119 438847 395 112 0 574084 0
[pid=18227/tid=18228] ppid=18225 vsize=2316476 CPUtime=51.08 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 123163 0 0 0 5085 23 0 0 25 0 4 0 515691591 2372071424 438847 33554432000 4194304 4650419 140737476171936 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2316476 CPUtime=50.96 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 119487 0 0 0 5078 18 0 0 25 0 4 0 515691591 2372071424 438847 33554432000 4194304 4650419 140737476171936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2316476 CPUtime=51.05 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 101174 0 0 0 5083 22 0 0 25 0 4 0 515691591 2372071424 438847 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 2316476
[startup+102.301 s]
/proc/loadavg: 7.54 7.12 7.03 9/184 18303
/proc/meminfo: memFree=16521320/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=408.41 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 501312 0 0 0 40725 116 0 0 25 0 4 0 515691591 2521403392 452649 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364871 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 452649 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=102.27 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 136099 0 0 0 10202 25 0 0 25 0 4 0 515691591 2521403392 452649 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=102.15 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 123591 0 0 0 10196 19 0 0 25 0 4 0 515691591 2521403392 452649 33554432000 4194304 4650419 140737476171936 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=102.25 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 110578 0 0 0 10200 25 0 0 25 0 4 0 515691591 2521403392 452649 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 2462308
Solver just ended. Dumping a history of the last processes samples
[startup+104.307 s]
/proc/loadavg: 7.54 7.12 7.03 9/184 18303
/proc/meminfo: memFree=16515368/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=416.42 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 501860 0 0 0 41526 116 0 0 25 0 4 0 515691591 2521403392 453197 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 453197 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=104.28 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 136099 0 0 0 10403 25 0 0 25 0 4 0 515691591 2521403392 453197 33554432000 4194304 4650419 140737476171936 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=104.16 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 124139 0 0 0 10397 19 0 0 25 0 4 0 515691591 2521403392 453197 33554432000 4194304 4650419 140737476171936 18446744073709551615 4369373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=104.25 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 110578 0 0 0 10400 25 0 0 25 0 4 0 515691591 2521403392 453197 33554432000 4194304 4650419 140737476171936 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 416.42
Current children cumulated vsize (KiB) 2462308
[startup+110.701 s]
/proc/loadavg: 7.66 7.15 7.04 9/184 18303
/proc/meminfo: memFree=16366464/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=441.96 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 505787 0 0 0 44079 117 0 0 25 0 4 0 515691591 2521403392 457124 33554432000 4194304 4650419 140737476171936 18446744073709551615 4528981 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 457124 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=110.68 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 136785 0 0 0 11042 26 0 0 25 0 4 0 515691591 2521403392 457124 33554432000 4194304 4650419 140737476171936 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=110.55 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 124811 0 0 0 11035 20 0 0 25 0 4 0 515691591 2521403392 457124 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=110.65 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 111682 0 0 0 11040 25 0 0 25 0 4 0 515691591 2521403392 457124 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 441.96
Current children cumulated vsize (KiB) 2462308
[startup+117.1 s]
/proc/loadavg: 7.68 7.16 7.05 9/184 18304
/proc/meminfo: memFree=16325084/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=467.52 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 507977 0 0 0 46635 117 0 0 25 0 4 0 515691591 2521403392 457168 33554432000 4194304 4650419 140737476171936 18446744073709551615 4439432 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 457168 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=117.08 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 137304 0 0 0 11682 26 0 0 25 0 4 0 515691591 2521403392 457168 33554432000 4194304 4650419 140737476171936 18446744073709551615 4314419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=116.95 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 125113 0 0 0 11675 20 0 0 25 0 4 0 515691591 2521403392 457168 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=117.06 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112750 0 0 0 11680 26 0 0 25 0 4 0 515691591 2521403392 457168 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 467.52
Current children cumulated vsize (KiB) 2462308
[startup+118.701 s]
/proc/loadavg: 7.71 7.18 7.05 6/179 18307
/proc/meminfo: memFree=16921680/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=473.92 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 508267 0 0 0 47274 118 0 0 25 0 4 0 515691591 2521403392 456245 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 456245 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=118.68 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 137473 0 0 0 11842 26 0 0 25 0 4 0 515691591 2521403392 456245 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=118.55 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 125113 0 0 0 11835 20 0 0 25 0 4 0 515691591 2521403392 456245 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=118.66 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112750 0 0 0 11840 26 0 0 25 0 4 0 515691591 2521403392 456245 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 473.92
Current children cumulated vsize (KiB) 2462308
[startup+119.501 s]
/proc/loadavg: 7.71 7.18 7.05 6/179 18307
/proc/meminfo: memFree=16921680/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=477.12 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 508318 0 0 0 47594 118 0 0 25 0 4 0 515691591 2521403392 456296 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 456296 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=119.48 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 137473 0 0 0 11922 26 0 0 25 0 4 0 515691591 2521403392 456296 33554432000 4194304 4650419 140737476171936 18446744073709551615 4528900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=119.35 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 125113 0 0 0 11915 20 0 0 25 0 4 0 515691591 2521403392 456296 33554432000 4194304 4650419 140737476171936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=119.46 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112750 0 0 0 11920 26 0 0 25 0 4 0 515691591 2521403392 456296 33554432000 4194304 4650419 140737476171936 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 477.12
Current children cumulated vsize (KiB) 2462308
[startup+120.301 s]
/proc/loadavg: 7.71 7.18 7.05 6/178 18307
/proc/meminfo: memFree=16924292/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=480.31 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 508505 0 0 0 47913 118 0 0 25 0 4 0 515691591 2521403392 456483 33554432000 4194304 4650419 140737476171936 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 456483 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=120.28 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 137473 0 0 0 12002 26 0 0 25 0 4 0 515691591 2521403392 456483 33554432000 4194304 4650419 140737476171936 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=120.15 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 125209 0 0 0 11995 20 0 0 25 0 4 0 515691591 2521403392 456483 33554432000 4194304 4650419 140737476171936 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=120.26 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112750 0 0 0 12000 26 0 0 25 0 4 0 515691591 2521403392 456483 33554432000 4194304 4650419 140737476171936 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 480.31
Current children cumulated vsize (KiB) 2462308
[startup+120.701 s]
/proc/loadavg: 7.71 7.18 7.05 6/178 18307
/proc/meminfo: memFree=16923424/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=2462308 CPUtime=481.92 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4202496 508559 0 0 0 48074 118 0 0 25 0 4 0 515691591 2521403392 456537 33554432000 4194304 4650419 140737476171936 18446744073709551615 4363768 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 615577 456537 395 112 0 610542 0
[pid=18227/tid=18228] ppid=18225 vsize=2462308 CPUtime=120.68 cores=0,2,4,6
/proc/18227/task/18228/stat : 18228 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 137473 0 0 0 12042 26 0 0 25 0 4 0 515691591 2521403392 456537 33554432000 4194304 4650419 140737476171936 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18227/tid=18229] ppid=18225 vsize=2462308 CPUtime=120.56 cores=0,2,4,6
/proc/18227/task/18229/stat : 18229 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 125212 0 0 0 12036 20 0 0 25 0 4 0 515691591 2521403392 456537 33554432000 4194304 4650419 140737476171936 18446744073709551615 4528981 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18227/tid=18230] ppid=18225 vsize=2462308 CPUtime=120.66 cores=0,2,4,6
/proc/18227/task/18230/stat : 18230 (strangenight1-m) R 18225 18227 17518 0 -1 4202560 112750 0 0 0 12040 26 0 0 25 0 4 0 515691591 2521403392 456537 33554432000 4194304 4650419 140737476171936 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 481.92
Current children cumulated vsize (KiB) 2462308
[startup+120.807 s]
/proc/loadavg: 7.71 7.18 7.05 6/178 18307
/proc/meminfo: memFree=16923424/32951124 swapFree=67111528/67111528
[pid=18227] ppid=18225 vsize=0 CPUtime=482.29 cores=0,2,4,6
/proc/18227/stat : 18227 (strangenight1-m) R 18225 18227 17518 0 -1 4203524 508575 0 0 0 48111 118 0 0 25 0 1 0 515691591 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18227/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 482.29
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 120.885
CPU time (s): 482.388
CPU user time (s): 481.12
CPU system time (s): 1.26781
CPU usage (%): 399.046
Max. virtual memory (cumulated for all children) (KiB): 2462308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 481.12
system time used= 1.26781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508575
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= 6508
involuntary context switches= 3187
runsolver used 0.188971 second user time and 0.498924 second system time
The end