runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118504-1467238637/watcher-4118504-1467238637 -o /tmp/evaluation-result-4118504-1467238637/solver-4118504-1467238637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467233234-10820 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118504-1467238637.opb 

pid=11341
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/170 11344
/proc/meminfo: memFree=30916416/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=7416 CPUtime=0 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 13891974 7593984 393 33554432000 4194304 5796924 140736031869584 140734941555832 4621249 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 1854 393 128 392 0 1453 0

[startup+0.100111 s]
/proc/loadavg: 2.00 2.00 2.00 2/170 11344
/proc/meminfo: memFree=30916416/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=9540 CPUtime=0.09 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 1115 0 0 0 9 0 0 0 20 0 1 0 13891974 9768960 950 33554432000 4194304 5796924 140736031869584 140734941555832 4425326 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 2385 950 139 392 0 1984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9540

[startup+0.200287 s]
/proc/loadavg: 2.00 2.00 2.00 2/170 11344
/proc/meminfo: memFree=30916416/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=7484 CPUtime=0.19 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 1817 0 0 0 19 0 0 0 20 0 1 0 13891974 7663616 1532 33554432000 4194304 5796924 140736031869584 140734941555832 4809377 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 1871 1532 160 392 0 1470 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7484

[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 2.00 2/170 11344
/proc/meminfo: memFree=30916416/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=23904 CPUtime=0.29 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 4898 0 0 0 28 1 0 0 20 0 1 0 13891974 24477696 5124 33554432000 4194304 5796924 140736031869584 140734941555832 4247793 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 5976 5125 167 392 0 5575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23904

[startup+0.700304 s]
/proc/loadavg: 2.00 2.00 2.00 2/170 11344
/proc/meminfo: memFree=30916416/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=134616 CPUtime=0.69 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 28344 0 0 0 64 5 0 0 20 0 1 0 13891974 137846784 31818 33554432000 4194304 5796924 140736031869584 140734941555832 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 33654 31820 167 392 0 33253 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134616

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 11360
/proc/meminfo: memFree=30687644/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=288536 CPUtime=1.49 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 45953 0 0 0 141 8 0 0 20 0 1 0 13891974 295460864 65298 33554432000 4194304 5796924 140736031869584 140736031863208 4633897 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 72134 65298 167 392 0 71733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288536

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11406
/proc/meminfo: memFree=30565216/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=317904 CPUtime=3.09 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 51677 0 0 0 299 10 0 0 20 0 1 0 13891974 325533696 73827 33554432000 4194304 5796924 140736031869584 140736031866552 4637619 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 79476 73827 167 392 0 79075 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 317904

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11406
/proc/meminfo: memFree=30434932/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=438944 CPUtime=6.29 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 68039 0 0 0 613 16 0 0 20 0 1 0 13891974 449478656 99982 33554432000 4194304 5796924 140736031869584 140736031866440 4606507 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/11344/statm: 109736 99982 177 392 0 109335 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 438944

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11406
/proc/meminfo: memFree=30431716/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=439608 CPUtime=12.68 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 68209 0 0 0 1252 16 0 0 20 0 1 0 13891974 450158592 100673 33554432000 4194304 5796924 140736031869584 140736031866696 4606410 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/11344/statm: 109902 100673 179 392 0 109501 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 439608

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11407
/proc/meminfo: memFree=30390548/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=470400 CPUtime=25.47 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 69206 0 0 0 2530 17 0 0 20 0 1 0 13891974 481689600 108059 33554432000 4194304 5796924 140736031869584 140736031867048 4606555 0 0 4096 17954 0 0 0 17 1 0 0 0 0 0
/proc/11344/statm: 117600 108059 179 392 0 117199 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 470400

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11407
/proc/meminfo: memFree=30384456/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=470400 CPUtime=51.07 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 69587 0 0 0 5089 18 0 0 20 0 1 0 13891974 481689600 108727 33554432000 4194304 5796924 140736031869584 140736031867048 4568957 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 117600 108727 179 392 0 117199 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 470400

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11408
/proc/meminfo: memFree=30367172/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=470400 CPUtime=102.26 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 70029 0 0 0 10207 19 0 0 20 0 1 0 13891974 481689600 108848 33554432000 4194304 5796924 140736031869584 140736031867048 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 117600 108848 179 392 0 117199 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 470400

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11409
/proc/meminfo: memFree=30317600/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=519720 CPUtime=162.23 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 70682 0 0 0 16202 21 0 0 20 0 1 0 13891974 532193280 119165 33554432000 4194304 5796924 140736031869584 140736031866872 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 129930 119165 179 392 0 129529 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 519720

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11413
/proc/meminfo: memFree=30299300/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=519720 CPUtime=222.22 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 71123 0 0 0 22200 22 0 0 20 0 1 0 13891974 532193280 119165 33554432000 4194304 5796924 140736031869584 140736031866872 4606469 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 129930 119165 179 392 0 129529 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 519720

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11414
/proc/meminfo: memFree=30253160/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=557572 CPUtime=282.21 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 74619 0 0 0 28195 26 0 0 20 0 1 0 13891974 570953728 130168 33554432000 4194304 5796924 140736031869584 140736031866696 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 139393 130168 180 392 0 138992 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 557572

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11416
/proc/meminfo: memFree=30236676/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=560532 CPUtime=342.19 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 76268 0 0 0 34190 29 0 0 20 0 1 0 13891974 573984768 129707 33554432000 4194304 5796924 140736031869584 140736031867048 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 140133 129707 180 392 0 139732 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 560532

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11417
/proc/meminfo: memFree=30227612/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=564280 CPUtime=402.19 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 77614 0 0 0 40188 31 0 0 20 0 1 0 13891974 577822720 132549 33554432000 4194304 5796924 140736031869584 140736031866696 4606645 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 141070 132549 180 392 0 140669 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 564280

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11418
/proc/meminfo: memFree=30221656/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=565192 CPUtime=462.17 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 79438 0 0 0 46184 33 0 0 20 0 1 0 13891974 578756608 133464 33554432000 4194304 5796924 140736031869584 140736031866696 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 141298 133464 180 392 0 140897 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 565192

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11419
/proc/meminfo: memFree=30219948/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=567292 CPUtime=522.17 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 81529 0 0 0 52180 37 0 0 20 0 1 0 13891974 580907008 133925 33554432000 4194304 5796924 140736031869584 140736031866696 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 141823 133925 180 392 0 141422 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 567292

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11420
/proc/meminfo: memFree=30206124/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=571224 CPUtime=582.16 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 83168 0 0 0 58177 39 0 0 20 0 1 0 13891974 584933376 133218 33554432000 4194304 5796924 140736031869584 140736031867048 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 142806 133218 180 392 0 142405 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 571224

################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11429
/proc/meminfo: memFree=30195264/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=574188 CPUtime=882.11 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 86428 0 0 0 88166 45 0 0 20 0 1 0 13891974 587968512 135945 33554432000 4194304 5796924 140736031869584 140736031866696 4606825 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 143547 135945 180 392 0 143146 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 574188

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11430
/proc/meminfo: memFree=30191064/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=607984 CPUtime=942.1 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 88273 0 0 0 94162 48 0 0 20 0 1 0 13891974 622575616 137471 33554432000 4194304 5796924 140736031869584 140736031867224 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 151996 137471 180 392 0 151595 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 607984

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11432
/proc/meminfo: memFree=30158628/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=609848 CPUtime=1002.09 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 89443 0 0 0 100159 50 0 0 20 0 1 0 13891974 624484352 137321 33554432000 4194304 5796924 140736031869584 140736031866696 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 152462 137321 180 392 0 152061 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 609848

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11433
/proc/meminfo: memFree=30163544/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=609848 CPUtime=1062.08 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 89474 0 0 0 106158 50 0 0 20 0 1 0 13891974 624484352 140929 33554432000 4194304 5796924 140736031869584 140736031866696 4583342 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 152462 140929 180 392 0 152061 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 609848

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11434
/proc/meminfo: memFree=30177032/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=579520 CPUtime=1122.06 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 90130 0 0 0 112155 51 0 0 20 0 1 0 13891974 593428480 137429 33554432000 4194304 5796924 140736031869584 140736031866696 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 144880 137429 180 392 0 144479 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 579520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11435
/proc/meminfo: memFree=30161080/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=610928 CPUtime=1182.06 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 90528 0 0 0 118154 52 0 0 20 0 1 0 13891974 625590272 141401 33554432000 4194304 5796924 140736031869584 140736031866696 4606721 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 152732 141401 180 392 0 152331 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 610928

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11436
/proc/meminfo: memFree=30124044/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=612272 CPUtime=1242.04 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 91640 0 0 0 124151 53 0 0 20 0 1 0 13891974 626966528 139652 33554432000 4194304 5796924 140736031869584 140736031866696 4606534 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 153068 139652 180 392 0 152667 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 612272

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11438
/proc/meminfo: memFree=30141884/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=583108 CPUtime=1302.04 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 92392 0 0 0 130150 54 0 0 20 0 1 0 13891974 597102592 137038 33554432000 4194304 5796924 140736031869584 140736031867048 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 145777 137038 180 392 0 145376 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 583108

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 11439
/proc/meminfo: memFree=30122452/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=614196 CPUtime=1362.03 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 92889 0 0 0 136148 55 0 0 20 0 1 0 13891974 628936704 141104 33554432000 4194304 5796924 140736031869584 140736031866696 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 153549 141104 180 392 0 153148 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 614196

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 11443
/proc/meminfo: memFree=30127032/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=586452 CPUtime=1422.03 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 93884 0 0 0 142146 57 0 0 20 0 1 0 13891974 600526848 137709 33554432000 4194304 5796924 140736031869584 140736031867048 4593783 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 146613 137709 180 392 0 146212 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 586452

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11444
/proc/meminfo: memFree=30159072/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=617272 CPUtime=1482.01 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 94307 0 0 0 148144 57 0 0 20 0 1 0 13891974 632086528 141704 33554432000 4194304 5796924 140736031869584 140736031867224 4607192 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 154318 141704 180 392 0 153917 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 617272

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11445
/proc/meminfo: memFree=30144752/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=617272 CPUtime=1542.01 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 94318 0 0 0 154144 57 0 0 20 0 1 0 13891974 632086528 145292 33554432000 4194304 5796924 140736031869584 140736031867224 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 154318 145292 180 392 0 153917 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 617272

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11447
/proc/meminfo: memFree=30112276/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=586452 CPUtime=1602 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 94949 0 0 0 160140 60 0 0 20 0 1 0 13891974 600526848 138239 33554432000 4194304 5796924 140736031869584 140736031867048 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 146613 138239 180 392 0 146212 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 586452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11448
/proc/meminfo: memFree=30106952/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=617272 CPUtime=1661.99 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 95627 0 0 0 166138 61 0 0 20 0 1 0 13891974 632086528 142486 33554432000 4194304 5796924 140736031869584 140736031867224 4607232 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 154318 142486 180 392 0 153917 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 617272

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11449
/proc/meminfo: memFree=30106652/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=617272 CPUtime=1721.98 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 95650 0 0 0 172137 61 0 0 20 0 1 0 13891974 632086528 146086 33554432000 4194304 5796924 140736031869584 140736031867224 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 154318 146086 180 392 0 153917 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 617272

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11450
/proc/meminfo: memFree=30169332/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=586620 CPUtime=1781.97 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 96542 0 0 0 178134 63 0 0 20 0 1 0 13891974 600698880 139089 33554432000 4194304 5796924 140736031869584 140736031867048 4606480 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 146655 139089 180 392 0 146254 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 586620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11450
/proc/meminfo: memFree=30163376/32872528 swapFree=8284/8284
[pid=11344] ppid=11341 vsize=617576 CPUtime=1800.07 cores=1,3,5,7
/proc/11344/stat : 11344 (naps-1.02) R 11341 11344 7449 0 -1 4202496 96961 0 0 0 179943 64 0 0 20 0 1 0 13891974 632397824 140520 33554432000 4194304 5796924 140736031869584 140736031867224 4592584 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11344/statm: 154394 140520 180 392 0 153993 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 617576

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11344 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.43
CPU system time (s): 0.647901
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 716848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.647901
maximum resident set size= 633584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96973
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= 97
involuntary context switches= 1918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.29935 second user time and 7.51486 second system time

The end