runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61831 MiB free)
  memory of node 1: 64507 MiB (60089 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521138-1751581469/watcher-4521138-1751581469 -o /tmp/evaluation-result-4521138-1751581469/solver-4521138-1751581469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751577855-86680 --watchdog 3760 toulbar2.sh toulbar2 HOME/instance-4521138-1751581469.opb -timer=3600 -hve=512 -f=3 -n: -precision=0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87169, runsolver pid=87166

[startup+0.100067 s]*
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=124731016/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=50784 memory=41088 CPUtime=0.08 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 9458 0 0 0 7 1 0 0 20 0 1 0 73824658 52002816 10272 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 12696 10272 928 1162 0 11305 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54976 KiB
Current children cumulated memory: 44160 KiB

[startup+0.205885 s]*
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=124594180/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=92716 memory=82944 CPUtime=0.19 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 19956 0 0 0 16 3 0 0 20 0 1 0 73824658 94941184 20736 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 23179 20736 928 1162 0 21788 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96908 KiB
Current children cumulated memory: 86016 KiB

[startup+0.30577 s]*
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=124473472/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=132580 memory=123008 CPUtime=0.29 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 29949 0 0 0 25 4 0 0 20 0 1 0 73824658 135761920 30720 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 33145 30752 928 1162 0 31754 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 136772 KiB
Current children cumulated memory: 126080 KiB

[startup+0.700213 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=124240120/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=288892 memory=279192 CPUtime=0.67 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 69081 0 0 0 57 10 0 0 20 0 1 0 73824658 295825408 69798 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 72223 69798 928 1162 0 70832 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 293084 KiB
Current children cumulated memory: 282264 KiB

[startup+1.50021 s]
/proc/loadavg: 4.04 4.09 4.04 5/268 87171
/proc/meminfo: memFree=123643888/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=609268 memory=598168 CPUtime=1.47 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 149198 0 0 0 124 23 0 0 20 0 1 0 73824658 623890432 149542 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 152317 149542 928 1162 0 150926 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 613460 KiB
Current children cumulated memory: 601240 KiB

[startup+3.10566 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=121118000/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1394972 memory=1382976 CPUtime=3.06 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 344850 0 0 0 254 52 0 0 20 0 1 0 73824658 1428451328 345744 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 348743 345744 992 1162 0 347352 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1399164 KiB
Current children cumulated memory: 1386048 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 87171
/proc/meminfo: memFree=118226688/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1471732 memory=1459520 CPUtime=6.25 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 363940 0 0 0 569 56 0 0 20 0 1 0 73824658 1507053568 364880 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 367933 364880 1024 1162 0 366542 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1475924 KiB
Current children cumulated memory: 1462592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.04 5/268 87171
/proc/meminfo: memFree=117896080/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1481120 memory=1471016 CPUtime=12.64 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366323 0 0 0 1206 58 0 0 20 0 1 0 73824658 1516666880 367754 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 370280 367754 1024 1162 0 368889 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1485312 KiB
Current children cumulated memory: 1474088 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 87171
/proc/meminfo: memFree=117880040/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1489320 memory=1477752 CPUtime=25.38 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366827 0 0 0 2480 58 0 0 20 0 1 0 73824658 1525063680 369438 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372330 369438 1184 1162 0 370939 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1493512 KiB
Current children cumulated memory: 1480824 KiB

[startup+51.106 s]
/proc/loadavg: 4.14 4.10 4.04 5/268 87172
/proc/meminfo: memFree=117839484/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1489320 memory=1477880 CPUtime=50.88 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366849 0 0 0 5030 58 0 0 20 0 1 0 73824658 1525063680 369470 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372330 369470 1184 1162 0 370939 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1493512 KiB
Current children cumulated memory: 1480952 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/269 87175
/proc/meminfo: memFree=117740696/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1489320 memory=1477880 CPUtime=101.86 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366859 0 0 0 10128 58 0 0 20 0 1 0 73824658 1525063680 369470 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372330 369470 1184 1162 0 370939 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1493512 KiB
Current children cumulated memory: 1480952 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/269 87177
/proc/meminfo: memFree=117739056/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1489320 memory=1477880 CPUtime=161.61 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366865 0 0 0 16103 58 0 0 20 0 1 0 73824658 1525063680 369470 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372330 369470 1184 1162 0 370939 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 1493512 KiB
Current children cumulated memory: 1480952 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.04 5/268 87179
/proc/meminfo: memFree=117738384/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1489320 memory=1477880 CPUtime=221.36 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 366878 0 0 0 22078 58 0 0 20 0 1 0 73824658 1525063680 369470 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372330 369470 1184 1162 0 370939 0
Current children cumulated CPU time: 221.36 s

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

/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367453 0 0 0 338709 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3387.76 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/267 87348
/proc/meminfo: memFree=117746812/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3447.51 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367460 0 0 0 344684 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3447.51 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/268 87355
/proc/meminfo: memFree=117745172/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3507.25 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367470 0 0 0 350658 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3507.25 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/267 87357
/proc/meminfo: memFree=117720580/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3567 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367482 0 0 0 356633 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3567 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3615.29 s]
# the end of solver process 87169 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.12 s, system=0.733791 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.21 4.17 4.11 5/267 87357
/proc/meminfo: memFree=117720580/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3568.69 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367482 0 0 0 356802 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3568.69 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3596.8 s]
/proc/loadavg: 4.18 4.16 4.11 5/268 87359
/proc/meminfo: memFree=117721204/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3581.43 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367484 0 0 0 358076 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3581.43 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3603.2 s]
/proc/loadavg: 4.15 4.16 4.11 5/268 87359
/proc/meminfo: memFree=117722620/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3587.81 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367484 0 0 0 358714 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3609.6 s]
/proc/loadavg: 4.14 4.15 4.11 5/268 87360
/proc/meminfo: memFree=117746440/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3594.18 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367484 0 0 0 359351 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3594.18 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3612.8 s]
/proc/loadavg: 4.13 4.15 4.11 3/258 87376
/proc/meminfo: memFree=121481788/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3597.37 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367486 0 0 0 359670 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3597.37 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3614.4 s]
/proc/loadavg: 4.13 4.15 4.11 4/261 87428
/proc/meminfo: memFree=124491516/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3598.96 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367486 0 0 0 359829 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3614.8 s]
/proc/loadavg: 4.13 4.15 4.11 4/261 87428
/proc/meminfo: memFree=124491516/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3599.36 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367486 0 0 0 359869 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3599.36 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

[startup+3615.2 s]
/proc/loadavg: 4.13 4.15 4.11 5/267 87467
/proc/meminfo: memFree=124454340/131249996 swapFree=33010672/33010684
[pid=87169] ppid=87166 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/87169/stat : 87169 (toulbar2.sh) S 87166 87169 86667 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 73824656 4292608 768 18446744073709551615 93843209281536 93843210176069 140725134067920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93843210415120 93843210462864 93843231961088 140725134076215 140725134076391 140725134076391 140725134081993 0
/proc/87169/statm: 1048 768 704 219 0 110 0
[pid=87171] ppid=87169 vsize=1491712 memory=1479416 CPUtime=3599.76 cores=5,7
/proc/87171/stat : 87171 (toulbar2) R 87169 87169 86667 0 -1 4194304 367486 0 0 0 359909 67 0 0 20 0 1 0 73824658 1527513088 369854 18446744073709551615 4198400 8956741 140731311553472 0 0 0 0 0 33570818 0 0 0 17 5 0 0 0 0 0 9785056 9890480 12533760 140731311561077 140731311561196 140731311561196 140731311566796 0
/proc/87171/statm: 372928 369854 1184 1162 0 371537 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 1495904 KiB
Current children cumulated memory: 1482488 KiB

Child status: 0

Real time (s): 3615.29
CPU time (s): 3599.86
CPU user time (s): 3599.12
CPU system time (s): 0.733791
CPU usage (%): 99.5732
Max. virtual memory (cumulated for all children) (KiB): 1495904
Max. memory (cumulated for all children) (KiB): 1482488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.733791
maximum resident set size= 1481000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367701
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= 65
involuntary context switches= 18885


# summary of solver processes directly reported to runsolver:
#   pid: 87169
#   total CPU time (s): 3599.86
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 0.733791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38405 second user time and 19.4373 second system time

The end