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-4268347-1502529597/watcher-4268347-1502529597 -o /tmp/evaluation-result-4268347-1502529597/solver-4268347-1502529597 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268347-1502529597.xml
pid=29336
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 29339
/proc/meminfo: memFree=30542360/32770624 swapFree=0/523376
[pid=29339] ppid=29336 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/29339/stat : 29339 (runsolver) D 29336 29339 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 55180405 24240128 107 18446744073709551615 4194304 4338465 140733994771280 140733994768920 139732207534807 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31670272 140733994774721 140733994775113 140733994775113 140733994778570 0
/proc/29339/statm: 5918 107 54 36 0 2156 0
[startup+0.100167 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 29339
/proc/meminfo: memFree=30542360/32770624 swapFree=0/523376
[pid=29339] ppid=29336 vsize=27296 CPUtime=0.01 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 1026 0 0 0 1 0 0 0 20 0 1 0 55180405 27951104 832 18446744073709551615 4194304 5972588 140733563929888 140733563926536 5418913 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 6824 832 727 435 0 187 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27296
[startup+0.200266 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 29339
/proc/meminfo: memFree=30542360/32770624 swapFree=0/523376
[pid=29339] ppid=29336 vsize=28464 CPUtime=0.11 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 1423 0 0 0 11 0 0 0 20 0 1 0 55180405 29147136 1111 18446744073709551615 4194304 5972588 140733563929888 140733563926536 140206405094373 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 7116 1111 727 435 0 479 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28464
[startup+0.300261 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 29339
/proc/meminfo: memFree=30542360/32770624 swapFree=0/523376
[pid=29339] ppid=29336 vsize=29892 CPUtime=0.21 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 1872 0 0 0 21 0 0 0 20 0 1 0 55180405 30609408 1335 18446744073709551615 4194304 5972588 140733563929888 140733563926536 5418913 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 7473 1335 727 435 0 836 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29892
[startup+0.700227 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 29339
/proc/meminfo: memFree=30542360/32770624 swapFree=0/523376
[pid=29339] ppid=29336 vsize=33672 CPUtime=0.61 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 3291 0 0 0 61 0 0 0 20 0 1 0 55180405 34480128 2377 18446744073709551615 4194304 5972588 140733563929888 140733563926456 140206405094373 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 8418 2377 727 435 0 1781 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33672
[startup+1.50032 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29340
/proc/meminfo: memFree=30530840/32770624 swapFree=0/523212
[pid=29339] ppid=29336 vsize=139876 CPUtime=1.41 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 29488 0 0 0 138 3 0 0 20 0 1 0 55180405 143233024 28860 18446744073709551615 4194304 5972588 140733563929888 140733563926456 4935502 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28860 737 435 0 28332 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 139876
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29340
/proc/meminfo: memFree=30429716/32770624 swapFree=0/523212
[pid=29339] ppid=29336 vsize=139876 CPUtime=3.01 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 41192 0 0 0 298 3 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 139876
[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29340
/proc/meminfo: memFree=30429624/32770624 swapFree=0/523212
[pid=29339] ppid=29336 vsize=139876 CPUtime=6.21 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 52210 0 0 0 617 4 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 139876
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29340
/proc/meminfo: memFree=30429252/32770624 swapFree=0/523212
[pid=29339] ppid=29336 vsize=139876 CPUtime=12.61 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 63228 0 0 0 1256 5 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935454 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 139876
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 29341
/proc/meminfo: memFree=30429624/32770624 swapFree=0/523216
[pid=29339] ppid=29336 vsize=139876 CPUtime=25.41 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 85425 0 0 0 2535 6 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935471 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 139876
[startup+51.1004 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 29341
/proc/meminfo: memFree=30429616/32770624 swapFree=0/523224
[pid=29339] ppid=29336 vsize=139876 CPUtime=51.01 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 96603 0 0 0 5094 7 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935454 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 139876
[startup+102.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 29343
/proc/meminfo: memFree=30428700/32770624 swapFree=0/523232
[pid=29339] ppid=29336 vsize=139876 CPUtime=102.21 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 107731 0 0 0 10214 7 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935493 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 139876
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 29345
/proc/meminfo: memFree=30428544/32770624 swapFree=0/523228
[pid=29339] ppid=29336 vsize=139876 CPUtime=162.22 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 110659 0 0 0 16214 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935490 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 139876
[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 29347
/proc/meminfo: memFree=30429176/32770624 swapFree=0/523232
[pid=29339] ppid=29336 vsize=139876 CPUtime=222.23 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 111153 0 0 0 22215 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935454 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 139876
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29363
/proc/meminfo: memFree=30425532/32770624 swapFree=0/523256
[pid=29339] ppid=29336 vsize=139876 CPUtime=282.23 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 111153 0 0 0 28215 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 139876
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29365
/proc/meminfo: memFree=30425284/32770624 swapFree=0/523256
[pid=29339] ppid=29336 vsize=139876 CPUtime=342.24 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 111647 0 0 0 34216 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 139876
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29367
/proc/meminfo: memFree=30428668/32770624 swapFree=0/523268
[pid=29339] ppid=29336 vsize=139876 CPUtime=402.24 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 111647 0 0 0 40216 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4934322 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 139876
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29369
/proc/meminfo: memFree=30428916/32770624 swapFree=0/523264
[pid=29339] ppid=29336 vsize=139876 CPUtime=462.25 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 112141 0 0 0 46217 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935582 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 139876
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29371
/proc/meminfo: memFree=30428916/32770624 swapFree=0/523276
[pid=29339] ppid=29336 vsize=139876 CPUtime=522.26 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 112141 0 0 0 52218 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935596 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 139876
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29373
/proc/meminfo: memFree=30429288/32770624 swapFree=0/523296
[pid=29339] ppid=29336 vsize=139876 CPUtime=582.26 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 112635 0 0 0 58218 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935454 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 139876
[startup+642.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 29375
/proc/meminfo: memFree=30429532/32770624 swapFree=0/523300
[pid=29339] ppid=29336 vsize=139876 CPUtime=642.27 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 112635 0 0 0 64219 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4934247 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 139876
[startup+702.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 29438
/proc/meminfo: memFree=30878020/32770624 swapFree=0/523336
[pid=29339] ppid=29336 vsize=139876 CPUtime=702.28 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 113129 0 0 0 70220 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935490 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 139876
[startup+762.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 29440
/proc/meminfo: memFree=30878156/32770624 swapFree=0/523332
[pid=29339] ppid=29336 vsize=139876 CPUtime=762.29 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 113129 0 0 0 76221 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 139876
[startup+822.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 29442
/proc/meminfo: memFree=30876432/32770624 swapFree=0/523344
[pid=29339] ppid=29336 vsize=139876 CPUtime=822.29 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 113496 0 0 0 82221 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 139876
[startup+882.306 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 29458
/proc/meminfo: memFree=30871816/32770624 swapFree=0/523352
[pid=29339] ppid=29336 vsize=139876 CPUtime=882.3 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 113623 0 0 0 88222 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935454 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 139876
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 29460
/proc/meminfo: memFree=30872092/32770624 swapFree=0/523352
[pid=29339] ppid=29336 vsize=139876 CPUtime=942.3 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 94222 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 139876
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29339 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.206 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 29460
/proc/meminfo: memFree=30872092/32770624 swapFree=0/523352
[pid=29339] ppid=29336 vsize=139876 CPUtime=947.21 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 94713 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935428 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 947.21
Current children cumulated vsize (KiB) 139876
[startup+972.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29460
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523348
[pid=29339] ppid=29336 vsize=139876 CPUtime=972.8 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 97272 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935493 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 972.8
Current children cumulated vsize (KiB) 139876
[startup+979.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29461
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523348
[pid=29339] ppid=29336 vsize=139876 CPUtime=979.2 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 97912 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935493 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 979.2
Current children cumulated vsize (KiB) 139876
[startup+985.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29461
/proc/meminfo: memFree=30875544/32770624 swapFree=0/523348
[pid=29339] ppid=29336 vsize=139876 CPUtime=985.61 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 98553 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935609 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 985.61
Current children cumulated vsize (KiB) 139876
[startup+988.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29461
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523348
[pid=29339] ppid=29336 vsize=139876 CPUtime=988.81 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 98873 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935456 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 988.81
Current children cumulated vsize (KiB) 139876
[startup+989.6 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29462
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523356
[pid=29339] ppid=29336 vsize=139876 CPUtime=989.61 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 98953 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4934329 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 989.61
Current children cumulated vsize (KiB) 139876
[startup+990.4 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29462
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523356
[pid=29339] ppid=29336 vsize=139876 CPUtime=990.41 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 99033 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935463 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 990.41
Current children cumulated vsize (KiB) 139876
[startup+990.8 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29462
/proc/meminfo: memFree=30875668/32770624 swapFree=0/523356
[pid=29339] ppid=29336 vsize=139876 CPUtime=990.81 cores=1,3,5,7
/proc/29339/stat : 29339 (cosoco) R 29336 29339 21984 0 -1 4202496 114117 0 0 0 99073 8 0 0 20 0 1 0 55180405 143233024 28899 18446744073709551615 4194304 5972588 140733563929888 140733563927192 4935456 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 9400320 140733563933166 140733563933261 140733563933261 140733563936718 0
/proc/29339/statm: 34969 28899 774 435 0 28332 0
Current children cumulated CPU time (s) 990.81
Current children cumulated vsize (KiB) 139876
Child status: 0
Real time (s): 990.869
CPU time (s): 990.88
CPU user time (s): 990.797
CPU system time (s): 0.083008
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 139876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 990.797
system time used= 0.083008
maximum resident set size= 115680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114290
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= 21
involuntary context switches= 319
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.5047 second user time and 3.61636 second system time
The end