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-4101643-1466231304/watcher-4101643-1466231304 -o /tmp/evaluation-result-4101643-1466231304/solver-4101643-1466231304 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466206079-966 --watchdog 1960 naps-1.02 HOME/instance-4101643-1466231304.opb 

pid=5460
running on 4 cores: 0,2,4,6

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 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: 2.31 2.32 2.30 3/176 5463
/proc/meminfo: memFree=28028764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=7296 CPUtime=0 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 25177259 7471104 375 33554432000 4194304 5796924 140736569106928 140735151817304 5096576 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 1824 375 116 392 0 1423 0

[startup+0.100157 s]
/proc/loadavg: 2.31 2.32 2.30 3/176 5463
/proc/meminfo: memFree=28028764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=7988 CPUtime=0.09 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 758 0 0 0 9 0 0 0 20 0 1 0 25177259 8179712 602 33554432000 4194304 5796924 140736569106928 140735151817304 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 1997 602 144 392 0 1596 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7988

[startup+0.200276 s]
/proc/loadavg: 2.31 2.32 2.30 3/176 5463
/proc/meminfo: memFree=28028764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=7988 CPUtime=0.19 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 759 0 0 0 19 0 0 0 20 0 1 0 25177259 8179712 603 33554432000 4194304 5796924 140736569106928 140736569103144 5092431 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 1997 603 145 392 0 1596 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7988

[startup+0.300259 s]
/proc/loadavg: 2.31 2.32 2.30 3/176 5463
/proc/meminfo: memFree=28028764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=7988 CPUtime=0.29 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 759 0 0 0 29 0 0 0 20 0 1 0 25177259 8179712 603 33554432000 4194304 5796924 140736569106928 140736569103144 4296071 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 1997 603 145 392 0 1596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7988

[startup+0.700276 s]
/proc/loadavg: 2.31 2.32 2.30 3/176 5463
/proc/meminfo: memFree=28028764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=7988 CPUtime=0.69 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 759 0 0 0 69 0 0 0 20 0 1 0 25177259 8179712 603 33554432000 4194304 5796924 140736569106928 140736569103144 5092545 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 1997 603 145 392 0 1596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7988

[startup+1.50023 s]
/proc/loadavg: 2.31 2.32 2.30 3/177 5464
/proc/meminfo: memFree=28026640/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=8116 CPUtime=1.49 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 776 0 0 0 149 0 0 0 20 0 1 0 25177259 8310784 620 33554432000 4194304 5796924 140736569106928 140736569101000 5100093 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 2029 620 145 392 0 1628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8116

[startup+3.10023 s]
/proc/loadavg: 2.31 2.32 2.30 3/177 5464
/proc/meminfo: memFree=28013184/32872528 swapFree=1497820/1644988
[pid=5463] ppid=5460 vsize=18872 CPUtime=3.08 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 3492 0 0 0 308 0 0 0 20 0 1 0 25177259 19324928 3294 33554432000 4194304 5796924 140736569106928 140736569103144 5092518 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 4718 3294 145 392 0 4317 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18872

[startup+6.30023 s]
/proc/loadavg: 2.36 2.33 2.31 3/177 5464
/proc/meminfo: memFree=28007328/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=22508 CPUtime=6.28 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 4642 0 0 0 628 0 0 0 20 0 1 0 25177259 23048192 4196 33554432000 4194304 5796924 140736569106928 140736569103144 4809286 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 5627 4196 145 392 0 5226 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22508

[startup+12.7003 s]
/proc/loadavg: 2.41 2.34 2.31 4/177 5464
/proc/meminfo: memFree=27997548/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=29396 CPUtime=12.69 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 6286 0 0 0 1268 1 0 0 20 0 1 0 25177259 30101504 5873 33554432000 4194304 5796924 140736569106928 140736569103144 5092902 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 7349 5873 145 392 0 6948 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29396

[startup+25.5004 s]
/proc/loadavg: 2.47 2.36 2.32 3/177 5464
/proc/meminfo: memFree=27606468/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=416928 CPUtime=25.48 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 72326 0 0 0 2533 15 0 0 20 0 1 0 25177259 426934272 99324 33554432000 4194304 5796924 140736569106928 140736569103976 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 104232 99324 178 392 0 103831 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416928

[startup+51.1004 s]
/proc/loadavg: 2.38 2.34 2.31 4/177 5510
/proc/meminfo: memFree=29658084/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=467624 CPUtime=51.08 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 72779 0 0 0 5092 16 0 0 20 0 1 0 25177259 478846976 109485 33554432000 4194304 5796924 140736569106928 140736569104216 4606518 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 116906 109485 180 392 0 116505 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 467624

[startup+102.3 s]
/proc/loadavg: 2.31 2.33 2.31 4/178 5513
/proc/meminfo: memFree=27530236/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=495316 CPUtime=102.26 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 74522 0 0 0 10208 18 0 0 20 0 1 0 25177259 507203584 115713 33554432000 4194304 5796924 140736569106928 140736569104216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 123829 115713 180 392 0 123428 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 495316

[startup+162.3 s]
/proc/loadavg: 2.29 2.32 2.30 3/177 5514
/proc/meminfo: memFree=27339772/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=495316 CPUtime=162.23 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 74543 0 0 0 16205 18 0 0 20 0 1 0 25177259 507203584 118926 33554432000 4194304 5796924 140736569106928 140736569104216 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 123829 118926 180 392 0 123428 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 495316

[startup+222.307 s]
/proc/loadavg: 2.32 2.32 2.30 3/177 5516
/proc/meminfo: memFree=27348828/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=495316 CPUtime=222.22 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 75542 0 0 0 22202 20 0 0 20 0 1 0 25177259 507203584 116410 33554432000 4194304 5796924 140736569106928 140736569104392 4591930 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 123829 116410 180 392 0 123428 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 495316

[startup+282.3 s]
/proc/loadavg: 2.38 2.33 2.30 4/176 5517
/proc/meminfo: memFree=27299736/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=549288 CPUtime=282.2 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 79135 0 0 0 28198 22 0 0 20 0 1 0 25177259 562470912 126897 33554432000 4194304 5796924 140736569106928 140736569104216 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 137322 126897 180 392 0 136921 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 549288

[startup+342.3 s]
/proc/loadavg: 2.30 2.32 2.29 4/177 5519
/proc/meminfo: memFree=27268972/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=342.19 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 79888 0 0 0 34196 23 0 0 20 0 1 0 25177259 591704064 132694 33554432000 4194304 5796924 140736569106928 140736569104216 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 132694 180 392 0 144058 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 577836

[startup+402.3 s]
/proc/loadavg: 2.27 2.30 2.29 3/177 5520
/proc/meminfo: memFree=27258124/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=402.19 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 79894 0 0 0 40195 24 0 0 20 0 1 0 25177259 591704064 135766 33554432000 4194304 5796924 140736569106928 140736569104216 4593521 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 135766 180 392 0 144058 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 577836

[startup+462.3 s]
/proc/loadavg: 2.33 2.31 2.29 4/177 5521
/proc/meminfo: memFree=27252656/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=462.17 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 80744 0 0 0 46193 24 0 0 20 0 1 0 25177259 623263744 138658 33554432000 4194304 5796924 140736569106928 140736569104568 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 138658 180 392 0 151763 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 608656

[startup+522.3 s]
/proc/loadavg: 2.39 2.32 2.29 4/177 5523
/proc/meminfo: memFree=27267272/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=522.17 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 80880 0 0 0 52191 26 0 0 20 0 1 0 25177259 591704064 132182 33554432000 4194304 5796924 140736569106928 140736569104216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 132182 180 392 0 144058 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 577836

[startup+582.3 s]
/proc/loadavg: 2.30 2.31 2.28 3/177 5524
/proc/meminfo: memFree=27248764/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=582.16 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 80885 0 0 0 58190 26 0 0 20 0 1 0 25177259 591704064 134742 33554432000 4194304 5796924 140736569106928 140736569104216 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 134742 180 392 0 144058 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 577836


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


[startup+882.307 s]
/proc/loadavg: 2.33 2.35 2.29 3/177 5533
/proc/meminfo: memFree=27207368/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=658744 CPUtime=882.11 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 83046 0 0 0 88182 29 0 0 20 0 1 0 25177259 674553856 145103 33554432000 4194304 5796924 140736569106928 140736569104568 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 164686 145103 180 392 0 164285 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 658744

[startup+942.3 s]
/proc/loadavg: 2.32 2.35 2.29 3/177 5534
/proc/meminfo: memFree=27257476/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=942.1 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 83531 0 0 0 94180 30 0 0 20 0 1 0 25177259 591704064 134537 33554432000 4194304 5796924 140736569106928 140736569104392 4592584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 134537 180 392 0 144058 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 577836

[startup+1002.3 s]
/proc/loadavg: 2.32 2.34 2.29 4/177 5535
/proc/meminfo: memFree=27213376/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1002.09 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 84115 0 0 0 100178 31 0 0 20 0 1 0 25177259 623263744 137676 33554432000 4194304 5796924 140736569106928 140736569104568 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 137676 180 392 0 151763 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 608656

[startup+1062.3 s]
/proc/loadavg: 2.30 2.32 2.28 3/177 5536
/proc/meminfo: memFree=27212192/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1062.08 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 84122 0 0 0 106177 31 0 0 20 0 1 0 25177259 623263744 141260 33554432000 4194304 5796924 140736569106928 140736569104568 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 141260 180 392 0 151763 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 608656

[startup+1122.3 s]
/proc/loadavg: 2.34 2.32 2.28 3/177 5538
/proc/meminfo: memFree=27157940/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1122.07 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 84128 0 0 0 112176 31 0 0 20 0 1 0 25177259 623263744 144332 33554432000 4194304 5796924 140736569106928 140736569104568 4591910 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 144332 180 392 0 151763 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 608656

[startup+1182.3 s]
/proc/loadavg: 2.28 2.31 2.27 4/177 5539
/proc/meminfo: memFree=27245356/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1182.06 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 84923 0 0 0 118173 33 0 0 20 0 1 0 25177259 591704064 134025 33554432000 4194304 5796924 140736569106928 140736569104392 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 134025 180 392 0 144058 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 577836

[startup+1242.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/177 5540
/proc/meminfo: memFree=27202636/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1242.05 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 84926 0 0 0 124172 33 0 0 20 0 1 0 25177259 591704064 135561 33554432000 4194304 5796924 140736569106928 140736569104392 4591877 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 135561 180 392 0 144058 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 577836

[startup+1302.3 s]
/proc/loadavg: 2.34 2.32 2.28 3/178 5544
/proc/meminfo: memFree=27231588/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1302.05 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 85511 0 0 0 130171 34 0 0 20 0 1 0 25177259 623263744 138700 33554432000 4194304 5796924 140736569106928 140736569104568 4594171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 138700 180 392 0 151763 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 608656

[startup+1362.3 s]
/proc/loadavg: 2.37 2.32 2.28 4/177 5545
/proc/meminfo: memFree=27183288/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1362.04 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 85518 0 0 0 136169 35 0 0 20 0 1 0 25177259 623263744 142284 33554432000 4194304 5796924 140736569106928 140736569104568 4592560 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 142284 180 392 0 151763 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 608656

[startup+1422.3 s]
/proc/loadavg: 2.34 2.32 2.28 4/177 5547
/proc/meminfo: memFree=27140436/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1422.04 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 85561 0 0 0 142169 35 0 0 20 0 1 0 25177259 623263744 144370 33554432000 4194304 5796924 140736569106928 140736569104568 4592577 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 144370 180 392 0 151763 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 608656

[startup+1482.3 s]
/proc/loadavg: 2.17 2.28 2.26 3/177 5548
/proc/meminfo: memFree=27234212/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1482.02 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 86312 0 0 0 148166 36 0 0 20 0 1 0 25177259 591704064 133001 33554432000 4194304 5796924 140736569106928 140736569104392 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 133001 180 392 0 144058 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 577836

[startup+1542.31 s]
/proc/loadavg: 2.30 2.30 2.27 4/177 5549
/proc/meminfo: memFree=27179736/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1542.02 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 86319 0 0 0 154166 36 0 0 20 0 1 0 25177259 591704064 136585 33554432000 4194304 5796924 140736569106928 140736569104392 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 136585 180 392 0 144058 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 577836

[startup+1602.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/177 5550
/proc/meminfo: memFree=27210908/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1602 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 86907 0 0 0 160163 37 0 0 20 0 1 0 25177259 623263744 139212 33554432000 4194304 5796924 140736569106928 140736569104568 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 139212 180 392 0 151763 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 608656

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/177 5551
/proc/meminfo: memFree=27165556/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1661.99 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 86911 0 0 0 166162 37 0 0 20 0 1 0 25177259 623263744 141260 33554432000 4194304 5796924 140736569106928 140736569104568 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 141260 180 392 0 151763 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 608656

[startup+1722.3 s]
/proc/loadavg: 2.31 2.31 2.27 4/177 5553
/proc/meminfo: memFree=27216196/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=608656 CPUtime=1721.98 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 86915 0 0 0 172161 37 0 0 20 0 1 0 25177259 623263744 143308 33554432000 4194304 5796924 140736569106928 140736569104568 4593546 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 152164 143308 180 392 0 151763 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 608656

[startup+1782.3 s]
/proc/loadavg: 2.38 2.32 2.28 3/177 5554
/proc/meminfo: memFree=27223276/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1781.97 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 87707 0 0 0 178158 39 0 0 20 0 1 0 25177259 591704064 133001 33554432000 4194304 5796924 140736569106928 140736569104392 4606708 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 133001 180 392 0 144058 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 577836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.32 2.28 3/177 5555
/proc/meminfo: memFree=27202852/32872528 swapFree=1497824/1644992
[pid=5463] ppid=5460 vsize=577836 CPUtime=1800.07 cores=0,2,4,6
/proc/5463/stat : 5463 (naps-1.02) R 5460 5463 950 0 -1 4202496 87710 0 0 0 179968 39 0 0 20 0 1 0 25177259 591704064 134537 33554432000 4194304 5796924 140736569106928 140736569104392 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/5463/statm: 144459 134537 180 392 0 144058 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 577836

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 5463 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.69
CPU system time (s): 0.396939
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 708064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.396939
maximum resident set size= 621176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87722
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= 84
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82527 second user time and 6.63499 second system time

The end