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-3731697-1339246947/watcher-3731697-1339246947 -o /tmp/evaluation-result-3731697-1339246947/solver-3731697-1339246947 -C 1800 -W 1900 -M 15500 run HOME/instance-3731697-1339246947.opb
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: 4.70 1.68 0.60 3/177 10960
/proc/meminfo: memFree=30646528/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[startup+0.081788 s]
/proc/loadavg: 4.70 1.68 0.60 3/177 10960
/proc/meminfo: memFree=30646528/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/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: 4.70 1.68 0.60 3/177 10960
/proc/meminfo: memFree=30646528/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 4.70 1.68 0.60 3/177 10960
/proc/meminfo: memFree=30646528/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70026 s]
/proc/loadavg: 4.70 1.68 0.60 3/177 10960
/proc/meminfo: memFree=30646528/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 4.70 1.68 0.60 3/179 10962
/proc/meminfo: memFree=30644312/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=32000 CPUtime=1.49 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 977 0 0 0 149 0 0 0 20 0 1 0 390819359 32768000 932 33554432000 134512640 146736320 4293292704 4293250748 140665536 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 8000 932 308 2985 0 726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41148
[startup+3.10027 s]
/proc/loadavg: 4.70 1.68 0.60 3/179 10962
/proc/meminfo: memFree=30579336/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=32132 CPUtime=3.09 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 1011 0 0 0 309 0 0 0 20 0 1 0 390819359 32903168 966 33554432000 134512640 146736320 4293292704 4293250524 140528640 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 8033 966 308 2985 0 759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41280
[startup+6.30026 s]
/proc/loadavg: 4.49 1.69 0.61 3/186 10969
/proc/meminfo: memFree=30503408/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=32432 CPUtime=6.29 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 1064 0 0 0 629 0 0 0 20 0 1 0 390819359 33210368 1019 33554432000 134512640 146736320 4293292704 4293250592 140679059 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 8108 1019 308 2985 0 834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41580
[startup+12.7003 s]
/proc/loadavg: 4.29 1.69 0.62 3/186 10969
/proc/meminfo: memFree=30277512/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=315636 CPUtime=12.68 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 66299 0 0 0 1257 11 0 0 20 0 1 0 390819359 323211264 73015 33554432000 134512640 146736320 4293292704 4293289984 136237216 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 78909 73015 627 2985 0 75843 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 324784
[startup+25.5004 s]
/proc/loadavg: 4.78 1.92 0.71 4/193 10990
/proc/meminfo: memFree=30225660/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=394160 CPUtime=50.42 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) S 10960 10960 10702 0 -1 4202496 113108 0 0 0 5004 38 0 0 20 0 8 0 390819359 403619840 68876 33554432000 134512640 146736320 4293292704 4293289104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10961/statm: 98540 68876 956 2985 0 95474 0
[pid=10961/tid=10984] ppid=10960 vsize=394160 CPUtime=4.1 cores=0,2,4,6
/proc/10961/task/10984/stat : 10984 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1483 0 0 0 409 1 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 3987816080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=10985] ppid=10960 vsize=394160 CPUtime=5.05 cores=0,2,4,6
/proc/10961/task/10985/stat : 10985 (pb_cplex) R 10960 10960 10702 0 -1 4202560 1136 0 0 0 505 0 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 4075217796 135851004 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=10986] ppid=10960 vsize=394160 CPUtime=3.79 cores=0,2,4,6
/proc/10961/task/10986/stat : 10986 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1990 0 0 0 378 1 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 4093177488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=10987] ppid=10960 vsize=394160 CPUtime=4.75 cores=0,2,4,6
/proc/10961/task/10987/stat : 10987 (pb_cplex) R 10960 10960 10702 0 -1 4202560 1071 0 0 0 474 1 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 4051780584 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=10988] ppid=10960 vsize=394160 CPUtime=3.88 cores=0,2,4,6
/proc/10961/task/10988/stat : 10988 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1289 0 0 0 388 0 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 3973602960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=10989] ppid=10960 vsize=394160 CPUtime=4.05 cores=0,2,4,6
/proc/10961/task/10989/stat : 10989 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1402 0 0 0 405 0 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 3962773136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=10990] ppid=10960 vsize=394160 CPUtime=3.79 cores=0,2,4,6
/proc/10961/task/10990/stat : 10990 (pb_cplex) S 10960 10960 10702 0 -1 4202560 992 0 0 0 379 0 0 0 20 0 8 0 390821078 403619840 68876 33554432000 134512640 146736320 4293292704 3952287376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 403308
############
# WARNING:
# current cumulated CPU time (66.13 s) is less than in the last sample (66.14 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999451 s) to the 'lost time'.
[startup+30.2004 s]
/proc/loadavg: 4.95 2.00 0.74 10/193 10990
/proc/meminfo: memFree=30225892/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=397576 CPUtime=66.14 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) S 10960 10960 10702 0 -1 4202496 115380 0 0 0 6570 44 0 0 20 0 8 0 390819359 407117824 69973 33554432000 134512640 146736320 4293292704 4293289104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/10961/statm: 99394 69973 956 2985 0 96328 0
[pid=10961/tid=10984] ppid=10960 vsize=397576 CPUtime=5.95 cores=0,2,4,6
/proc/10961/task/10984/stat : 10984 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1753 0 0 0 593 2 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 3987816080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=10985] ppid=10960 vsize=397576 CPUtime=7.11 cores=0,2,4,6
/proc/10961/task/10985/stat : 10985 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1245 0 0 0 711 0 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 4075220624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=10986] ppid=10960 vsize=397576 CPUtime=5.44 cores=0,2,4,6
/proc/10961/task/10986/stat : 10986 (pb_cplex) R 10960 10960 10702 0 -1 4202560 2149 0 0 0 542 2 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 4093173672 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=10987] ppid=10960 vsize=397576 CPUtime=7.34 cores=0,2,4,6
/proc/10961/task/10987/stat : 10987 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1459 0 0 0 732 2 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 4051783312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=10988] ppid=10960 vsize=397576 CPUtime=5.42 cores=0,2,4,6
/proc/10961/task/10988/stat : 10988 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1587 0 0 0 542 0 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 3973602960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=10989] ppid=10960 vsize=397576 CPUtime=5.44 cores=0,2,4,6
/proc/10961/task/10989/stat : 10989 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1749 0 0 0 543 1 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 3962773136 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=10990] ppid=10960 vsize=397576 CPUtime=6.33 cores=0,2,4,6
/proc/10961/task/10990/stat : 10990 (pb_cplex) S 10960 10960 10702 0 -1 4202560 1036 0 0 0 632 1 0 0 20 0 8 0 390821078 407117824 69973 33554432000 134512640 146736320 4293292704 3952287376 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.14
Current children cumulated vsize (KiB) 406724
[startup+30.3004 s]
/proc/loadavg: 4.95 2.00 0.74 10/193 10990
/proc/meminfo: memFree=30225892/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=363300 CPUtime=66.13 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 115459 0 0 0 6565 48 0 0 20 0 1 0 390819359 372019200 69110 33554432000 134512640 146736320 4293292704 4293289728 136898610 0 0 4096 16387 0 0 0 17 6 0 0 0 0 0
/proc/10961/statm: 90825 69110 957 2985 0 87759 0
Current children cumulated CPU time (s) 66.13
Current children cumulated vsize (KiB) 372448
#
############
[startup+51.1004 s]
/proc/loadavg: 6.29 2.48 0.92 16/193 11018
/proc/meminfo: memFree=29907828/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=696524 CPUtime=123.97 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 216750 0 0 0 12294 103 0 0 20 0 8 0 390819359 713240576 124652 33554432000 134512640 146736320 4293292704 4293284496 136008000 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 174131 124652 961 2985 0 171065 0
[pid=10961/tid=11012] ppid=10960 vsize=696524 CPUtime=6.22 cores=0,2,4,6
/proc/10961/task/11012/stat : 11012 (pb_cplex) R 10960 10960 10702 0 -1 4202560 5228 0 0 0 620 2 0 0 20 0 8 0 390822941 713240576 124652 33554432000 134512640 146736320 4293292704 3954378264 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11013] ppid=10960 vsize=696524 CPUtime=6.19 cores=0,2,4,6
/proc/10961/task/11013/stat : 11013 (pb_cplex) R 10960 10960 10702 0 -1 4202560 2868 0 0 0 617 2 0 0 20 0 8 0 390822941 713240576 124652 33554432000 134512640 146736320 4293292704 3964862676 135846438 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11014] ppid=10960 vsize=696524 CPUtime=7.79 cores=0,2,4,6
################
# More data... #
################
[pid=10961/tid=11044] ppid=10960 vsize=1219248 CPUtime=107.52 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) S 10960 10960 10702 0 -1 4202560 312258 0 0 0 10642 110 0 0 20 0 8 0 390830900 1248509952 236613 33554432000 134512640 146736320 4293292704 3641699812 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1219248 CPUtime=111.58 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) S 10960 10960 10702 0 -1 4202560 125229 0 0 0 11094 64 0 0 20 0 8 0 390830900 1248509952 236613 33554432000 134512640 146736320 4293292704 3625971172 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1219248 CPUtime=109.71 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) S 10960 10960 10702 0 -1 4202560 191400 0 0 0 10890 81 0 0 20 0 8 0 390830900 1248509952 236613 33554432000 134512640 146736320 4293292704 3448143332 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1213.94
Current children cumulated vsize (KiB) 1228396
[startup+462.3 s]
/proc/loadavg: 9.92 8.23 4.19 4/194 11050
/proc/meminfo: memFree=29304844/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=1294128 CPUtime=1410.69 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 2672988 0 0 0 139912 1157 0 0 20 0 8 0 390819359 1325187072 255971 33554432000 134512640 146736320 4293292704 4293286376 144757825 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10961/statm: 323532 255971 996 2985 0 320466 0
[pid=10961/tid=11040] ppid=10960 vsize=1294128 CPUtime=133.45 cores=0,2,4,6
/proc/10961/task/11040/stat : 11040 (pb_cplex) S 10960 10960 10702 0 -1 4202560 228753 0 0 0 13248 97 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 4008787600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11041] ppid=10960 vsize=1294128 CPUtime=136.79 cores=0,2,4,6
/proc/10961/task/11041/stat : 11041 (pb_cplex) S 10960 10960 10702 0 -1 4202560 283348 0 0 0 13563 116 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 4019273360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11042] ppid=10960 vsize=1294128 CPUtime=133 cores=0,2,4,6
/proc/10961/task/11042/stat : 11042 (pb_cplex) S 10960 10960 10702 0 -1 4202560 216285 0 0 0 13196 104 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 4093177488 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11043] ppid=10960 vsize=1294128 CPUtime=135.32 cores=0,2,4,6
/proc/10961/task/11043/stat : 11043 (pb_cplex) R 10960 10960 10702 0 -1 4202560 290123 0 0 0 13423 109 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 4051775540 136469153 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11044] ppid=10960 vsize=1294128 CPUtime=131.41 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) S 10960 10960 10702 0 -1 4202560 333905 0 0 0 13015 126 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 3641699984 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1294128 CPUtime=134.56 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) S 10960 10960 10702 0 -1 4202560 141177 0 0 0 13377 79 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 3625971344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1294128 CPUtime=133.59 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) S 10960 10960 10702 0 -1 4202560 206682 0 0 0 13266 93 0 0 20 0 8 0 390830900 1325187072 255971 33554432000 134512640 146736320 4293292704 3448143504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1410.69
Current children cumulated vsize (KiB) 1303276
[startup+522.3 s]
/proc/loadavg: 12.27 9.21 4.77 14/193 11050
/proc/meminfo: memFree=29220768/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=1362292 CPUtime=1597.86 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 2816302 0 0 0 158515 1271 0 0 20 0 8 0 390819359 1394987008 273528 33554432000 134512640 146736320 4293292704 4293286376 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10961/statm: 340573 273528 996 2985 0 337507 0
[pid=10961/tid=11040] ppid=10960 vsize=1362292 CPUtime=155.82 cores=0,2,4,6
/proc/10961/task/11040/stat : 11040 (pb_cplex) R 10960 10960 10702 0 -1 4202560 237096 0 0 0 15473 109 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 4008784872 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11041] ppid=10960 vsize=1362292 CPUtime=161.28 cores=0,2,4,6
/proc/10961/task/11041/stat : 11041 (pb_cplex) S 10960 10960 10702 0 -1 4202560 289186 0 0 0 15999 129 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 4019273360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11042] ppid=10960 vsize=1362292 CPUtime=155.13 cores=0,2,4,6
/proc/10961/task/11042/stat : 11042 (pb_cplex) R 10960 10960 10702 0 -1 4202560 229772 0 0 0 15397 116 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 4093173936 136385012 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11043] ppid=10960 vsize=1362292 CPUtime=158.53 cores=0,2,4,6
/proc/10961/task/11043/stat : 11043 (pb_cplex) S 10960 10960 10702 0 -1 4202560 302270 0 0 0 15730 123 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 4051783312 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11044] ppid=10960 vsize=1362292 CPUtime=154.88 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) R 10960 10960 10702 0 -1 4202560 354269 0 0 0 15346 142 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 3641696324 136385183 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1362292 CPUtime=157.93 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) R 10960 10960 10702 0 -1 4202560 156813 0 0 0 15701 92 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 3625967672 136475849 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1362292 CPUtime=156.19 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) R 10960 10960 10702 0 -1 4202560 214793 0 0 0 15514 105 0 0 20 0 8 0 390830900 1394987008 273528 33554432000 134512640 146736320 4293292704 3448140792 136364241 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1597.86
Current children cumulated vsize (KiB) 1371440
[startup+582.3 s]
/proc/loadavg: 8.96 8.79 4.91 6/186 11101
/proc/meminfo: memFree=29471568/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=1427788 CPUtime=1785.4 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) R 10960 10960 10702 0 -1 4202496 2981551 0 0 0 177162 1378 0 0 20 0 8 0 390819359 1462054912 289950 33554432000 134512640 146736320 4293292704 4293286376 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10961/statm: 356947 289950 996 2985 0 353881 0
[pid=10961/tid=11040] ppid=10960 vsize=1427788 CPUtime=179.36 cores=0,2,4,6
/proc/10961/task/11040/stat : 11040 (pb_cplex) R 10960 10960 10702 0 -1 4202560 259715 0 0 0 17813 123 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 4008784872 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11041] ppid=10960 vsize=1427788 CPUtime=184.03 cores=0,2,4,6
/proc/10961/task/11041/stat : 11041 (pb_cplex) R 10960 10960 10702 0 -1 4202560 301746 0 0 0 18262 141 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 4019269700 136385175 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11042] ppid=10960 vsize=1427788 CPUtime=177.64 cores=0,2,4,6
/proc/10961/task/11042/stat : 11042 (pb_cplex) R 10960 10960 10702 0 -1 4202560 246099 0 0 0 17634 130 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 4093173800 139044572 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11043] ppid=10960 vsize=1427788 CPUtime=182.1 cores=0,2,4,6
/proc/10961/task/11043/stat : 11043 (pb_cplex) R 10960 10960 10702 0 -1 4202560 311623 0 0 0 18076 134 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 4051779792 136008450 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11044] ppid=10960 vsize=1427788 CPUtime=177.18 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) R 10960 10960 10702 0 -1 4202560 369776 0 0 0 17563 155 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 3641696072 135525278 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1427788 CPUtime=183.14 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) R 10960 10960 10702 0 -1 4202560 172431 0 0 0 18209 105 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 3625968616 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1427788 CPUtime=177.89 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) R 10960 10960 10702 0 -1 4202560 228772 0 0 0 17674 115 0 0 20 0 8 0 390830900 1462054912 289950 33554432000 134512640 146736320 4293292704 3448139592 135525908 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (KiB) 1436936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+586.307 s]
/proc/loadavg: 8.88 8.78 4.92 9/186 11101
/proc/meminfo: memFree=29461028/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=1433252 CPUtime=1799.81 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) S 10960 10960 10702 0 -1 4202496 3001144 0 0 0 178594 1387 0 0 20 0 8 0 390819359 1467650048 291316 33554432000 134512640 146736320 4293292704 4293289104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10961/statm: 358313 291316 996 2985 0 355247 0
[pid=10961/tid=11040] ppid=10960 vsize=1433252 CPUtime=181.14 cores=0,2,4,6
/proc/10961/task/11040/stat : 11040 (pb_cplex) R 10960 10960 10702 0 -1 4202560 263550 0 0 0 17990 124 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4008783964 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11041] ppid=10960 vsize=1433252 CPUtime=185.82 cores=0,2,4,6
/proc/10961/task/11041/stat : 11041 (pb_cplex) R 10960 10960 10702 0 -1 4202560 301746 0 0 0 18440 142 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4019269840 136008056 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11042] ppid=10960 vsize=1433252 CPUtime=179.3 cores=0,2,4,6
/proc/10961/task/11042/stat : 11042 (pb_cplex) R 10960 10960 10702 0 -1 4202560 248100 0 0 0 17799 131 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4093173760 136019021 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11043] ppid=10960 vsize=1433252 CPUtime=183.86 cores=0,2,4,6
/proc/10961/task/11043/stat : 11043 (pb_cplex) R 10960 10960 10702 0 -1 4202560 313911 0 0 0 18250 136 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4051779676 135855170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11044] ppid=10960 vsize=1433252 CPUtime=178.94 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) R 10960 10960 10702 0 -1 4202560 370885 0 0 0 17738 156 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 3641696464 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1433252 CPUtime=184.93 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) R 10960 10960 10702 0 -1 4202560 174779 0 0 0 18386 107 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 3625967336 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1433252 CPUtime=179.72 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) R 10960 10960 10702 0 -1 4202560 231516 0 0 0 17855 117 0 0 20 0 8 0 390830900 1467650048 291320 33554432000 134512640 146736320 4293292704 3448141532 137361569 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 1442400
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+586.307 s]
/proc/loadavg: 8.88 8.78 4.92 9/186 11101
/proc/meminfo: memFree=29461028/32873844 swapFree=9160/9160
[pid=10960] ppid=10958 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10960/stat : 10960 (run) S 10958 10960 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390819359 9367552 269 33554432000 4194304 5064252 140733680051088 140733680050000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10960/statm: 2287 269 229 213 0 72 0
[pid=10961] ppid=10960 vsize=1433252 CPUtime=1799.81 cores=0,2,4,6
/proc/10961/stat : 10961 (pb_cplex) S 10960 10960 10702 0 -1 4202496 3001144 0 0 0 178594 1387 0 0 20 0 8 0 390819359 1467650048 291316 33554432000 134512640 146736320 4293292704 4293289104 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10961/statm: 358313 291316 996 2985 0 355247 0
[pid=10961/tid=11040] ppid=10960 vsize=1433252 CPUtime=181.14 cores=0,2,4,6
/proc/10961/task/11040/stat : 11040 (pb_cplex) R 10960 10960 10702 0 -1 4202560 263550 0 0 0 17990 124 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4008783964 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=10961/tid=11041] ppid=10960 vsize=1433252 CPUtime=185.82 cores=0,2,4,6
/proc/10961/task/11041/stat : 11041 (pb_cplex) R 10960 10960 10702 0 -1 4202560 301746 0 0 0 18440 142 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4019269840 136008056 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11042] ppid=10960 vsize=1433252 CPUtime=179.3 cores=0,2,4,6
/proc/10961/task/11042/stat : 11042 (pb_cplex) R 10960 10960 10702 0 -1 4202560 248100 0 0 0 17799 131 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4093173760 136019021 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=10961/tid=11043] ppid=10960 vsize=1433252 CPUtime=183.86 cores=0,2,4,6
/proc/10961/task/11043/stat : 11043 (pb_cplex) R 10960 10960 10702 0 -1 4202560 313911 0 0 0 18250 136 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 4051779676 135855170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11044] ppid=10960 vsize=1433252 CPUtime=178.94 cores=0,2,4,6
/proc/10961/task/11044/stat : 11044 (pb_cplex) R 10960 10960 10702 0 -1 4202560 370885 0 0 0 17738 156 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 3641696464 136008039 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=10961/tid=11045] ppid=10960 vsize=1433252 CPUtime=184.93 cores=0,2,4,6
/proc/10961/task/11045/stat : 11045 (pb_cplex) R 10960 10960 10702 0 -1 4202560 174779 0 0 0 18386 107 0 0 20 0 8 0 390830900 1467650048 291316 33554432000 134512640 146736320 4293292704 3625967336 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=10961/tid=11046] ppid=10960 vsize=1433252 CPUtime=179.72 cores=0,2,4,6
/proc/10961/task/11046/stat : 11046 (pb_cplex) R 10960 10960 10702 0 -1 4202560 231516 0 0 0 17855 117 0 0 20 0 8 0 390830900 1467650048 291320 33554432000 134512640 146736320 4293292704 3448141532 137361569 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 1442400
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10960 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1799.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.540024
# lost CPU user time (s): 0.620003
# lost CPU system time (s): -0.08
Real time (s): 586.322
CPU time (s): 1800.35
CPU user time (s): 1786.56
CPU system time (s): 13.79
CPU usage (%): 307.058
Max. virtual memory (cumulated for all children) (KiB): 1442400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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= 2
involuntary context switches= 1
runsolver used 1.58376 second user time and 3.70244 second system time
The end