runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3265774-1304107481/watcher-3265774-1304107481 -o /tmp/evaluation-result-3265774-1304107481/solver-3265774-1304107481 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3265774-1304107481.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 1.70 2.04 2.94 2/172 13868
/proc/meminfo: memFree=31299688/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 215 0 0 0 0 0 0 0 23 0 1 0 522346773 8937472 146 33554432000 4194304 4417332 140736465839856 18446744073709551615 242970550016 0 0 4096 0 18446744071562362840 0 0 17 4 0 0 0
/proc/13868/statm: 2182 146 122 55 0 68 0
[startup+0.0782101 s]
/proc/loadavg: 1.70 2.04 2.94 2/172 13868
/proc/meminfo: memFree=31299688/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 215 0 0 0 0 0 0 0 23 0 1 0 522346773 8937472 146 33554432000 4194304 4417332 140736465839856 18446744073709551615 242970550016 0 0 4096 0 18446744071562362840 0 0 17 4 0 0 0
/proc/13868/statm: 2182 146 122 55 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8728
[startup+0.101197 s]
/proc/loadavg: 1.70 2.04 2.94 2/172 13868
/proc/meminfo: memFree=31299688/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 215 0 0 0 0 0 0 0 23 0 1 0 522346773 8937472 146 33554432000 4194304 4417332 140736465839856 18446744073709551615 242970550016 0 0 4096 0 18446744071562362840 0 0 17 4 0 0 0
/proc/13868/statm: 2182 146 122 55 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8728
[startup+0.301054 s]
/proc/loadavg: 1.70 2.04 2.94 2/172 13868
/proc/meminfo: memFree=31299688/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=57912 CPUtime=0.42 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 3042 1254 0 4 42 0 0 0 22 0 5 0 522346773 59301888 2291 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 14478 2291 180 55 0 12364 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 57912
[startup+0.700985 s]
/proc/loadavg: 1.70 2.04 2.94 2/172 13868
/proc/meminfo: memFree=31299688/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=62164 CPUtime=2.01 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 4745 1254 0 4 201 0 0 0 22 0 5 0 522346773 63655936 3354 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 15541 3354 181 55 0 13427 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 62164
[startup+1.50085 s]
/proc/loadavg: 1.70 2.04 2.94 9/184 13893
/proc/meminfo: memFree=31268672/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=130732 CPUtime=4.32 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 8195 1254 0 4 389 43 0 0 22 0 5 0 522346773 133869568 4146 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 32683 4146 181 55 0 30569 0
[pid=13868/tid=13890] ppid=13866 vsize=130732 CPUtime=1.05 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 1311 1254 0 4 99 6 0 0 25 0 5 0 522346793 133869568 4146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=130732 CPUtime=1.13 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 1392 1254 0 4 99 14 0 0 18 0 5 0 522346793 133869568 4146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4352221 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=130732 CPUtime=1.13 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 1520 1254 0 4 96 17 0 0 18 0 5 0 522346793 133869568 4146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4254441 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=130732 CPUtime=0.93 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 1691 1254 0 4 89 4 0 0 25 0 5 0 522346793 133869568 4146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 130732
[startup+3.10057 s]
/proc/loadavg: 2.20 2.13 2.97 9/184 13893
/proc/meminfo: memFree=31254912/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=140620 CPUtime=10.69 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 19266 1254 0 4 1024 45 0 0 22 0 5 0 522346773 143994880 6602 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 35155 6602 181 55 0 33041 0
[pid=13868/tid=13890] ppid=13866 vsize=140620 CPUtime=2.65 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 4130 1254 0 4 258 7 0 0 25 0 5 0 522346793 143994880 6602 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=140620 CPUtime=2.73 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 4099 1254 0 4 259 14 0 0 21 0 5 0 522346793 143994880 6602 33554432000 4194304 4417332 140736465839856 18446744073709551615 4366017 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=140620 CPUtime=2.72 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 4240 1254 0 4 255 17 0 0 20 0 5 0 522346793 143994880 6602 33554432000 4194304 4417332 140736465839856 18446744073709551615 4199435 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=140620 CPUtime=2.51 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 4516 1254 0 4 247 4 0 0 25 0 5 0 522346793 143994880 6602 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 140620
[startup+6.30102 s]
/proc/loadavg: 2.20 2.13 2.97 9/184 13893
/proc/meminfo: memFree=31235964/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=155772 CPUtime=23.47 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 35404 1254 0 4 2300 47 0 0 22 0 5 0 522346773 159510528 10418 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 38943 10418 181 55 0 36829 0
[pid=13868/tid=13890] ppid=13866 vsize=155772 CPUtime=5.83 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 8112 1254 0 4 575 8 0 0 25 0 5 0 522346793 159510528 10418 33554432000 4194304 4417332 140736465839856 18446744073709551615 4278535 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=155772 CPUtime=5.94 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 8471 1254 0 4 579 15 0 0 25 0 5 0 522346793 159510528 10418 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=155772 CPUtime=5.93 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 8098 1254 0 4 575 18 0 0 25 0 5 0 522346793 159510528 10418 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=155772 CPUtime=5.71 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 8442 1254 0 4 566 5 0 0 25 0 5 0 522346793 159510528 10418 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 155772
[startup+12.7009 s]
/proc/loadavg: 2.66 2.23 2.99 9/184 13893
/proc/meminfo: memFree=31191096/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=164936 CPUtime=49.03 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 58233 1254 0 4 4852 51 0 0 22 0 5 0 522346773 168894464 12700 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 41234 12700 181 55 0 39120 0
[pid=13868/tid=13890] ppid=13866 vsize=164936 CPUtime=12.2 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 14291 1254 0 4 1211 9 0 0 25 0 5 0 522346793 168894464 12700 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=164936 CPUtime=12.34 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 13164 1254 0 4 1218 16 0 0 25 0 5 0 522346793 168894464 12700 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=164936 CPUtime=12.33 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 13211 1254 0 4 1214 19 0 0 25 0 5 0 522346793 168894464 12700 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364498 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=164936 CPUtime=12.11 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 15286 1254 0 4 1205 6 0 0 25 0 5 0 522346793 168894464 12700 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 164936
[startup+25.5007 s]
/proc/loadavg: 3.91 2.53 3.08 9/184 13894
/proc/meminfo: memFree=31101540/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=216468 CPUtime=100.15 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 89845 1254 0 4 9955 60 0 0 22 0 5 0 522346773 221663232 25570 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 54117 25570 181 55 0 52003 0
[pid=13868/tid=13890] ppid=13866 vsize=216468 CPUtime=24.93 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 22123 1254 0 4 2483 10 0 0 25 0 5 0 522346793 221663232 25570 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=216468 CPUtime=25.14 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 21821 1254 0 4 2496 18 0 0 25 0 5 0 522346793 221663232 25570 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=216468 CPUtime=25.12 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 20838 1254 0 4 2492 20 0 0 25 0 5 0 522346793 221663232 25570 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=216468 CPUtime=24.89 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 22782 1254 0 4 2479 10 0 0 25 0 5 0 522346793 221663232 25570 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.15
Current children cumulated vsize (KiB) 216468
[startup+51.1003 s]
/proc/loadavg: 5.38 2.98 3.21 9/184 13894
/proc/meminfo: memFree=31014328/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=258772 CPUtime=202.37 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 136193 1254 0 4 20164 73 0 0 22 0 5 0 522346773 264982528 36146 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 64693 36146 181 55 0 62579 0
[pid=13868/tid=13890] ppid=13866 vsize=258772 CPUtime=50.38 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 34984 1254 0 4 5026 12 0 0 25 0 5 0 522346793 264982528 36146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4232791 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=258772 CPUtime=50.74 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 35158 1254 0 4 5054 20 0 0 25 0 5 0 522346793 264982528 36146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=258772 CPUtime=50.72 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 33058 1254 0 4 5050 22 0 0 25 0 5 0 522346793 264982528 36146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4251148 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=258772 CPUtime=50.44 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 30712 1254 0 4 5028 16 0 0 25 0 5 0 522346793 264982528 36146 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.37
Current children cumulated vsize (KiB) 258772
[startup+102.306 s]
/proc/loadavg: 7.29 3.90 3.51 10/185 13899
/proc/meminfo: memFree=30891028/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=310972 CPUtime=406.29 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 195192 1254 0 4 40544 85 0 0 22 0 5 0 522346773 318435328 49196 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 77743 49196 181 55 0 75629 0
[pid=13868/tid=13890] ppid=13866 vsize=310972 CPUtime=101.02 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 48821 1254 0 4 10087 15 0 0 25 0 5 0 522346793 318435328 49196 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364720 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=310972 CPUtime=101.69 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 54620 1254 0 4 10145 24 0 0 25 0 5 0 522346793 318435328 49196 33554432000 4194304 4417332 140736465839856 18446744073709551615 4365999 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=310972 CPUtime=101.93 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 50468 1254 0 4 10168 25 0 0 25 0 5 0 522346793 318435328 49196 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=310972 CPUtime=101.59 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 39002 1254 0 4 10140 19 0 0 25 0 5 0 522346793 318435328 49196 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.29
Current children cumulated vsize (KiB) 310972
[startup+162.301 s]
/proc/loadavg: 7.82 4.62 3.78 9/184 13900
/proc/meminfo: memFree=30736852/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=384136 CPUtime=645.08 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 242628 1254 0 4 64400 108 0 0 22 0 5 0 522346773 393355264 67487 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 96034 67487 181 55 0 93920 0
[pid=13868/tid=13890] ppid=13866 vsize=384136 CPUtime=160.13 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 60662 1254 0 4 15996 17 0 0 25 0 5 0 522346793 393355264 67487 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=384136 CPUtime=161.35 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 62436 1254 0 4 16095 40 0 0 25 0 5 0 522346793 393355264 67487 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=384136 CPUtime=161.93 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 61959 1254 0 4 16166 27 0 0 25 0 5 0 522346793 393355264 67487 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=384136 CPUtime=161.58 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 55290 1254 0 4 16136 22 0 0 25 0 5 0 522346793 393355264 67487 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.08
Current children cumulated vsize (KiB) 384136
################
# More data... #
################
[pid=13868/tid=13891] ppid=13866 vsize=709864 CPUtime=761.04 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 131361 1254 0 4 76038 66 0 0 25 0 5 0 522346793 726900736 148919 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=709864 CPUtime=761.95 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 148863 1254 0 4 76154 41 0 0 25 0 5 0 522346793 726900736 148919 33554432000 4194304 4417332 140736465839856 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=709864 CPUtime=761.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 114302 1254 0 4 76126 34 0 0 25 0 5 0 522346793 726900736 148919 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364750 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.43
Current children cumulated vsize (KiB) 709864
[startup+822.3 s]
/proc/loadavg: 8.06 7.68 5.94 9/184 13918
/proc/meminfo: memFree=30121204/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=741376 CPUtime=3281.04 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 572660 1254 0 4 327921 183 0 0 22 0 5 0 522346773 759169024 156797 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 185344 156797 181 55 0 183230 0
[pid=13868/tid=13890] ppid=13866 vsize=741376 CPUtime=816.42 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 154632 1254 0 4 81608 34 0 0 25 0 5 0 522346793 759169024 156797 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=741376 CPUtime=821 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 150547 1254 0 4 82029 71 0 0 25 0 5 0 522346793 759169024 156797 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=741376 CPUtime=821.94 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 148863 1254 0 4 82153 41 0 0 25 0 5 0 522346793 759169024 156797 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=741376 CPUtime=821.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 116337 1254 0 4 82125 35 0 0 25 0 5 0 522346793 759169024 156797 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.04
Current children cumulated vsize (KiB) 741376
[startup+882.301 s]
/proc/loadavg: 8.15 7.77 6.09 9/184 13920
/proc/meminfo: memFree=30235860/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=675228 CPUtime=3520.68 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 597795 1254 0 4 351879 189 0 0 22 0 5 0 522346773 691433472 140260 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 168807 140260 181 55 0 166693 0
[pid=13868/tid=13890] ppid=13866 vsize=675228 CPUtime=876.08 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 154632 1254 0 4 87574 34 0 0 25 0 5 0 522346793 691433472 140260 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=675228 CPUtime=880.98 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 150547 1254 0 4 88026 72 0 0 25 0 5 0 522346793 691433472 140260 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=675228 CPUtime=881.95 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 168368 1254 0 4 88149 46 0 0 25 0 5 0 522346793 691433472 140260 33554432000 4194304 4417332 140736465839856 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=675228 CPUtime=881.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 121967 1254 0 4 88125 35 0 0 25 0 5 0 522346793 691433472 140260 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.68
Current children cumulated vsize (KiB) 675228
[startup+942.301 s]
/proc/loadavg: 8.26 7.85 6.21 9/184 13921
/proc/meminfo: memFree=30161928/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=685916 CPUtime=3760.32 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 600615 1254 0 4 375840 192 0 0 22 0 5 0 522346773 702377984 142932 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 171479 142932 181 55 0 169365 0
[pid=13868/tid=13890] ppid=13866 vsize=685916 CPUtime=935.75 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 154632 1254 0 4 93541 34 0 0 25 0 5 0 522346793 702377984 142932 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=685916 CPUtime=940.96 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 150547 1254 0 4 94022 74 0 0 25 0 5 0 522346793 702377984 142932 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=685916 CPUtime=941.93 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 168368 1254 0 4 94147 46 0 0 25 0 5 0 522346793 702377984 142932 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=685916 CPUtime=941.59 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 124787 1254 0 4 94124 35 0 0 25 0 5 0 522346793 702377984 142932 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.32
Current children cumulated vsize (KiB) 685916
[startup+1002.3 s]
/proc/loadavg: 8.19 7.91 6.34 9/184 13923
/proc/meminfo: memFree=30182480/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=705956 CPUtime=3999.96 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 605702 1254 0 4 399802 194 0 0 22 0 5 0 522346773 722898944 147942 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 176489 147942 181 55 0 174375 0
[pid=13868/tid=13890] ppid=13866 vsize=705956 CPUtime=995.4 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 154632 1254 0 4 99506 34 0 0 25 0 5 0 522346793 722898944 147942 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=705956 CPUtime=1000.96 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 150547 1254 0 4 100020 76 0 0 25 0 5 0 522346793 722898944 147942 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=705956 CPUtime=1001.91 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 173455 1254 0 4 100145 46 0 0 25 0 5 0 522346793 722898944 147942 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=705956 CPUtime=1001.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 124787 1254 0 4 100125 35 0 0 25 0 5 0 522346793 722898944 147942 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.96
Current children cumulated vsize (KiB) 705956
[startup+1062.3 s]
/proc/loadavg: 8.12 7.94 6.44 9/184 13924
/proc/meminfo: memFree=30049640/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=748044 CPUtime=4239.6 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 616224 1254 0 4 423763 197 0 0 22 0 5 0 522346773 765997056 158464 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 187011 158464 181 55 0 184897 0
[pid=13868/tid=13890] ppid=13866 vsize=748044 CPUtime=1055.07 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 156962 1254 0 4 105473 34 0 0 25 0 5 0 522346793 765997056 158464 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=748044 CPUtime=1060.95 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 150547 1254 0 4 106017 78 0 0 25 0 5 0 522346793 765997056 158464 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=748044 CPUtime=1061.9 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 181647 1254 0 4 106143 47 0 0 25 0 5 0 522346793 765997056 158464 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=748044 CPUtime=1061.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 124787 1254 0 4 106125 35 0 0 25 0 5 0 522346793 765997056 158464 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.6
Current children cumulated vsize (KiB) 748044
[startup+1122.3 s]
/proc/loadavg: 8.08 7.96 6.55 9/184 13926
/proc/meminfo: memFree=29937892/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=843892 CPUtime=4479.23 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 680365 1254 0 4 447713 210 0 0 22 0 5 0 522346773 864145408 182426 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 210973 182426 181 55 0 208859 0
[pid=13868/tid=13890] ppid=13866 vsize=843892 CPUtime=1114.73 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 173346 1254 0 4 111435 38 0 0 25 0 5 0 522346793 864145408 182426 33554432000 4194304 4417332 140736465839856 18446744073709551615 4306364 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=843892 CPUtime=1120.94 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 173784 1254 0 4 112011 83 0 0 25 0 5 0 522346793 864145408 182426 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=843892 CPUtime=1121.88 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 206167 1254 0 4 112137 51 0 0 25 0 5 0 522346793 864145408 182426 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=843892 CPUtime=1121.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 124787 1254 0 4 112125 35 0 0 25 0 5 0 522346793 864145408 182426 33554432000 4194304 4417332 140736465839856 18446744073709551615 4366725 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.23
Current children cumulated vsize (KiB) 843892
[startup+1182.3 s]
/proc/loadavg: 8.13 8.00 6.64 9/184 13928
/proc/meminfo: memFree=29852172/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=884712 CPUtime=4718.87 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 712650 1254 0 4 471669 218 0 0 22 0 5 0 522346773 905945088 192631 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 221178 192631 181 55 0 219064 0
[pid=13868/tid=13890] ppid=13866 vsize=884712 CPUtime=1174.39 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 189300 1254 0 4 117398 41 0 0 25 0 5 0 522346793 905945088 192631 33554432000 4194304 4417332 140736465839856 18446744073709551615 4365007 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=884712 CPUtime=1180.92 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 173784 1254 0 4 118007 85 0 0 25 0 5 0 522346793 905945088 192631 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=884712 CPUtime=1181.87 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 214359 1254 0 4 118135 52 0 0 25 0 5 0 522346793 905945088 192631 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=884712 CPUtime=1181.6 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 132926 1254 0 4 118123 37 0 0 25 0 5 0 522346793 905945088 192631 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364990 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.87
Current children cumulated vsize (KiB) 884712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.7 s]
/proc/loadavg: 8.15 8.01 6.68 5/178 13929
/proc/meminfo: memFree=30513244/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=897192 CPUtime=4800.36 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 715770 1254 0 4 479817 219 0 0 22 0 5 0 522346773 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 224298 195751 181 55 0 222184 0
[pid=13868/tid=13890] ppid=13866 vsize=897192 CPUtime=1194.67 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 189300 1254 0 4 119426 41 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=897192 CPUtime=1201.34 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 173784 1254 0 4 120048 86 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=897192 CPUtime=1202.26 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 214359 1254 0 4 120174 52 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=897192 CPUtime=1202.01 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 136046 1254 0 4 120163 38 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 897192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.7 s]
/proc/loadavg: 8.15 8.01 6.68 5/178 13929
/proc/meminfo: memFree=30513244/32951132 swapFree=67111364/67111528
[pid=13868] ppid=13866 vsize=897192 CPUtime=4800.36 cores=0,2,4,6
/proc/13868/stat : 13868 (plingeling) S 13866 13868 12928 0 -1 4202496 715770 1254 0 4 479817 219 0 0 22 0 5 0 522346773 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 242982352869 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/13868/statm: 224298 195751 181 55 0 222184 0
[pid=13868/tid=13890] ppid=13866 vsize=897192 CPUtime=1194.67 cores=0,2,4,6
/proc/13868/task/13890/stat : 13890 (plingeling) R 13866 13868 12928 0 -1 4202560 189300 1254 0 4 119426 41 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=13868/tid=13891] ppid=13866 vsize=897192 CPUtime=1201.34 cores=0,2,4,6
/proc/13868/task/13891/stat : 13891 (plingeling) R 13866 13868 12928 0 -1 4202560 173784 1254 0 4 120048 86 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=13868/tid=13892] ppid=13866 vsize=897192 CPUtime=1202.26 cores=0,2,4,6
/proc/13868/task/13892/stat : 13892 (plingeling) R 13866 13868 12928 0 -1 4202560 214359 1254 0 4 120174 52 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=13868/tid=13893] ppid=13866 vsize=897192 CPUtime=1202.01 cores=0,2,4,6
/proc/13868/task/13893/stat : 13893 (plingeling) R 13866 13868 12928 0 -1 4202560 136046 1254 0 4 120163 38 0 0 25 0 5 0 522346793 918724608 195751 33554432000 4194304 4417332 140736465839856 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 897192
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.75
CPU time (s): 4800.43
CPU user time (s): 4798.2
CPU system time (s): 2.23766
CPU usage (%): 399.121
Max. virtual memory (cumulated for all children) (KiB): 897192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.2
system time used= 2.23766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717025
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189
involuntary context switches= 21840
runsolver used 2.01369 second user time and 4.55131 second system time
The end