runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742536-1339251235/watcher-3742536-1339251235 -o /tmp/evaluation-result-3742536-1339251235/solver-3742536-1339251235 -C 1800 -W 1900 -M 15500 run HOME/instance-3742536-1339251235.opb
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 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: 8.92 6.34 5.36 3/177 1381
/proc/meminfo: memFree=30700320/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[startup+0.0792811 s]
/proc/loadavg: 8.92 6.34 5.36 3/177 1381
/proc/meminfo: memFree=30700320/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 8.92 6.34 5.36 3/177 1381
/proc/meminfo: memFree=30700320/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 8.92 6.34 5.36 3/177 1381
/proc/meminfo: memFree=30700320/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700232 s]
/proc/loadavg: 8.92 6.34 5.36 3/177 1381
/proc/meminfo: memFree=30700320/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 8.37 6.27 5.34 3/179 1383
/proc/meminfo: memFree=30668676/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63444 CPUtime=1.49 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 13613 0 0 0 148 1 0 0 20 0 1 0 391249190 64966656 9048 33554432000 134512640 146736320 4293944400 4293939400 136000488 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15861 9048 726 2985 0 12795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72592
[startup+3.10033 s]
/proc/loadavg: 8.37 6.27 5.34 3/179 1383
/proc/meminfo: memFree=30666568/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63540 CPUtime=3.09 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 13661 0 0 0 308 1 0 0 20 0 1 0 391249190 65064960 9096 33554432000 134512640 146736320 4293944400 4293939036 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15885 9096 726 2985 0 12819 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72688
[startup+6.30033 s]
/proc/loadavg: 8.37 6.27 5.34 3/179 1383
/proc/meminfo: memFree=30665948/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63728 CPUtime=6.29 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 13766 0 0 0 628 1 0 0 20 0 1 0 391249190 65257472 9201 33554432000 134512640 146736320 4293944400 4293939152 136008042 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15932 9201 726 2985 0 12866 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72876
[startup+12.7003 s]
/proc/loadavg: 7.46 6.14 5.31 3/179 1383
/proc/meminfo: memFree=30665584/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63876 CPUtime=12.68 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 13829 0 0 0 1267 1 0 0 20 0 1 0 391249190 65409024 9264 33554432000 134512640 146736320 4293944400 4293939152 136008042 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15969 9264 726 2985 0 12903 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73024
[startup+25.5003 s]
/proc/loadavg: 6.62 6.01 5.27 3/179 1383
/proc/meminfo: memFree=30665592/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=64292 CPUtime=25.48 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 14182 0 0 0 2547 1 0 0 20 0 1 0 391249190 65835008 9350 33554432000 134512640 146736320 4293944400 4293939164 136009883 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 16073 9350 726 2985 0 13007 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73440
[startup+51.1003 s]
/proc/loadavg: 4.80 5.62 5.17 3/179 1383
/proc/meminfo: memFree=30665840/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63724 CPUtime=51.08 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17458 0 0 0 5106 2 0 0 20 0 1 0 391249190 65253376 9361 33554432000 134512640 146736320 4293944400 4293938460 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15931 9361 781 2985 0 12865 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72872
[startup+102.307 s]
/proc/loadavg: 3.21 5.06 5.00 3/179 1383
/proc/meminfo: memFree=30656696/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63764 CPUtime=102.27 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17475 0 0 0 10225 2 0 0 20 0 1 0 391249190 65294336 11545 33554432000 134512640 146736320 4293944400 4293938824 136000930 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15941 11545 781 2985 0 12875 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 72912
[startup+162.3 s]
/proc/loadavg: 2.44 4.50 4.81 3/179 1384
/proc/meminfo: memFree=30656384/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63800 CPUtime=162.26 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17487 0 0 0 16224 2 0 0 20 0 1 0 391249190 65331200 11604 33554432000 134512640 146736320 4293944400 4293938960 136403117 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15950 11604 781 2985 0 12884 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 72948
[startup+222.3 s]
/proc/loadavg: 2.16 4.04 4.63 3/179 1384
/proc/meminfo: memFree=30656384/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63824 CPUtime=222.25 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17496 0 0 0 22222 3 0 0 20 0 1 0 391249190 65355776 11613 33554432000 134512640 146736320 4293944400 4293938460 135855127 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15956 11613 782 2985 0 12890 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 72972
[startup+282.3 s]
/proc/loadavg: 2.06 3.67 4.46 3/179 1384
/proc/meminfo: memFree=30655948/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63832 CPUtime=282.24 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17500 0 0 0 28221 3 0 0 20 0 1 0 391249190 65363968 11757 33554432000 134512640 146736320 4293944400 4293938824 136000940 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15958 11757 782 2985 0 12892 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 72980
[startup+342.3 s]
/proc/loadavg: 2.02 3.36 4.31 3/179 1384
/proc/meminfo: memFree=30655948/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=63976 CPUtime=342.23 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 17506 0 0 0 34220 3 0 0 20 0 1 0 391249190 65511424 11763 33554432000 134512640 146736320 4293944400 4293938408 139044499 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 15994 11763 782 2985 0 12928 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 73124
[startup+402.3 s]
/proc/loadavg: 2.00 3.11 4.16 3/180 1388
/proc/meminfo: memFree=30655568/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.75 3/179 1395
/proc/meminfo: memFree=30611892/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74052 CPUtime=1362.07 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41544 0 0 0 136196 11 0 0 20 0 1 0 391249190 75829248 13955 33554432000 134512640 146736320 4293944400 4293938680 136015579 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18513 13955 844 2985 0 15447 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 83200
[startup+1422.31 s]
/proc/loadavg: 2.04 2.05 2.70 3/179 1396
/proc/meminfo: memFree=30612140/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74052 CPUtime=1422.07 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41544 0 0 0 142196 11 0 0 20 0 1 0 391249190 75829248 13955 33554432000 134512640 146736320 4293944400 4293938960 136403112 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18513 13955 844 2985 0 15447 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 83200
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.66 3/179 1396
/proc/meminfo: memFree=30612140/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74052 CPUtime=1482.06 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41544 0 0 0 148194 12 0 0 20 0 1 0 391249190 75829248 13955 33554432000 134512640 146736320 4293944400 4293938960 136403112 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18513 13955 844 2985 0 15447 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 83200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.61 3/179 1396
/proc/meminfo: memFree=30611520/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74060 CPUtime=1542.05 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41546 0 0 0 154193 12 0 0 20 0 1 0 391249190 75837440 13957 33554432000 134512640 146736320 4293944400 4293938588 136016736 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18515 13957 844 2985 0 15449 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 83208
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.57 3/180 1399
/proc/meminfo: memFree=30611264/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74064 CPUtime=1602.04 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41547 0 0 0 160192 12 0 0 20 0 1 0 391249190 75841536 13958 33554432000 134512640 146736320 4293944400 4293938680 136015698 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18516 13958 844 2985 0 15450 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 83212
[startup+1662.3 s]
/proc/loadavg: 1.72 1.95 2.51 2/172 1428
/proc/meminfo: memFree=30723720/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1662.03 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 166191 12 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938440 136474435 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 83244
[startup+1722.3 s]
/proc/loadavg: 1.26 1.78 2.41 2/172 1429
/proc/meminfo: memFree=30723472/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1722.03 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 172190 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938460 135855162 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 83244
[startup+1782.3 s]
/proc/loadavg: 1.09 1.63 2.32 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1782.01 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 178188 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938680 136015544 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 83244
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.08 1.61 2.31 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1791.62 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 179149 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938824 136000710 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 83244
[startup+1795.1 s]
/proc/loadavg: 1.08 1.61 2.31 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1794.82 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 179469 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938460 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 83244
[startup+1796.7 s]
/proc/loadavg: 1.07 1.60 2.30 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1796.41 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 179628 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938460 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 83244
[startup+1798.3 s]
/proc/loadavg: 1.07 1.60 2.30 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1798.01 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 179788 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293938460 135855170 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 83244
[startup+1798.7 s]
/proc/loadavg: 1.07 1.60 2.30 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=74096 CPUtime=1798.41 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41568 0 0 0 179828 13 0 0 20 0 1 0 391249190 75874304 13979 33554432000 134512640 146736320 4293944400 4293937152 138462620 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 18524 13979 844 2985 0 15458 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (KiB) 83244
[startup+1799.1 s]
/proc/loadavg: 1.07 1.60 2.30 2/172 1429
/proc/meminfo: memFree=30723100/32873844 swapFree=7632/7632
[pid=1381] ppid=1379 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1381/stat : 1381 (run) S 1379 1381 415 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391249190 9367552 269 33554432000 4194304 5064252 140736840203664 140736840202576 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1381/statm: 2287 269 229 213 0 72 0
[pid=1382] ppid=1381 vsize=35324 CPUtime=1798.81 cores=1,3,5,7
/proc/1382/stat : 1382 (pb_cplex) R 1381 1381 415 0 -1 4202496 41580 0 0 0 179868 13 0 0 20 0 1 0 391249190 36171776 6343 33554432000 134512640 146736320 4293944400 4293942884 144797937 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1382/statm: 8831 6343 856 2985 0 5765 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 44472
Child status: 0
Real time (s): 1799.1
CPU time (s): 1798.82
CPU user time (s): 1798.69
CPU system time (s): 0.136979
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 102956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 0.136979
maximum resident set size= 74952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41951
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= 20
involuntary context switches= 1853
runsolver used 3.3175 second user time and 9.1756 second system time
The end