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-3292197-1304107926/watcher-3292197-1304107926 -o /tmp/evaluation-result-3292197-1304107926/solver-3292197-1304107926 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3292197-1304107926.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: 7.54 8.04 8.04 5/179 10037
/proc/meminfo: memFree=30990300/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) R 10035 10037 9622 0 -1 4202496 468 1255 0 0 0 0 0 0 25 0 1 0 522392267 9740288 397 33554432000 4194304 4417332 140733602640272 18446744073709551615 210647146240 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10037/statm: 2378 397 147 55 0 264 0
[startup+0.0813621 s]
/proc/loadavg: 7.54 8.04 8.04 5/179 10037
/proc/meminfo: memFree=30990300/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=25880 CPUtime=0.07 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) R 10035 10037 9622 0 -1 4202496 4617 1255 0 0 7 0 0 0 25 0 1 0 522392267 26501120 4494 33554432000 4194304 4417332 140733602640272 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10037/statm: 6470 4494 148 55 0 4356 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25880
[startup+0.100358 s]
/proc/loadavg: 7.54 8.04 8.04 5/179 10037
/proc/meminfo: memFree=30990300/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=25880 CPUtime=0.09 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) R 10035 10037 9622 0 -1 4202496 4617 1255 0 0 9 0 0 0 25 0 1 0 522392267 26501120 4494 33554432000 4194304 4417332 140733602640272 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10037/statm: 6470 4494 148 55 0 4356 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25880
[startup+0.300286 s]
/proc/loadavg: 7.54 8.04 8.04 5/179 10037
/proc/meminfo: memFree=30990300/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=181676 CPUtime=0.55 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 16953 1255 0 0 54 1 0 0 25 0 5 0 522392267 186036224 16824 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 45419 16824 173 55 0 43305 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 181676
[startup+0.700218 s]
/proc/loadavg: 7.54 8.04 8.04 5/179 10037
/proc/meminfo: memFree=30990300/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=195236 CPUtime=2.14 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 20394 1255 0 0 213 1 0 0 25 0 5 0 522392267 199921664 20259 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 48809 20259 177 55 0 46695 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 195236
[startup+1.50108 s]
/proc/loadavg: 7.57 8.04 8.03 9/184 10047
/proc/meminfo: memFree=30908184/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=188100 CPUtime=5.34 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 21965 1255 0 0 533 1 0 0 25 0 5 0 522392267 192614400 18443 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 47025 18443 177 55 0 44911 0
[pid=10037/tid=10044] ppid=10035 vsize=188100 CPUtime=1.29 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 1346 1255 0 0 129 0 0 0 25 0 5 0 522392288 192614400 18443 33554432000 4194304 4417332 140733602640272 18446744073709551615 4346401 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=188100 CPUtime=1.28 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2182 1255 0 0 128 0 0 0 25 0 5 0 522392288 192614400 18443 33554432000 4194304 4417332 140733602640272 18446744073709551615 4346401 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=188100 CPUtime=1.28 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 1299 1255 0 0 128 0 0 0 25 0 5 0 522392288 192614400 18443 33554432000 4194304 4417332 140733602640272 18446744073709551615 4346414 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=188100 CPUtime=1.28 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 221 1255 0 0 128 0 0 0 25 0 5 0 522392288 192614400 18443 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 188100
[startup+3.10081 s]
/proc/loadavg: 7.57 8.04 8.03 9/184 10047
/proc/meminfo: memFree=30903156/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=188140 CPUtime=11.02 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 22071 1255 0 0 1095 7 0 0 25 0 5 0 522392267 192655360 18457 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 47035 18457 181 55 0 44921 0
[pid=10037/tid=10044] ppid=10035 vsize=188140 CPUtime=2.89 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 1346 1255 0 0 289 0 0 0 25 0 5 0 522392288 192655360 18457 33554432000 4194304 4417332 140733602640272 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=188140 CPUtime=2.16 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2182 1255 0 0 211 5 0 0 25 0 5 0 522392288 192655360 18457 33554432000 4194304 4417332 140733602640272 18446744073709551615 4346425 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=188140 CPUtime=2.87 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 1303 1255 0 0 287 0 0 0 25 0 5 0 522392288 192655360 18457 33554432000 4194304 4417332 140733602640272 18446744073709551615 4249222 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=188140 CPUtime=2.88 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 323 1255 0 0 288 0 0 0 25 0 5 0 522392288 192655360 18457 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (KiB) 188140
[startup+6.30028 s]
/proc/loadavg: 7.57 8.04 8.03 9/184 10047
/proc/meminfo: memFree=30904036/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=163864 CPUtime=23.81 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 22353 1255 0 0 2374 7 0 0 25 0 5 0 522392267 167796736 12388 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 40966 12388 181 55 0 38852 0
[pid=10037/tid=10044] ppid=10035 vsize=163864 CPUtime=6.09 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 1346 1255 0 0 609 0 0 0 25 0 5 0 522392288 167796736 12388 33554432000 4194304 4417332 140733602640272 18446744073709551615 4365033 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=163864 CPUtime=5.36 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2182 1255 0 0 531 5 0 0 25 0 5 0 522392288 167796736 12388 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=163864 CPUtime=6.06 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 1303 1255 0 0 606 0 0 0 25 0 5 0 522392288 167796736 12388 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=163864 CPUtime=6.08 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 605 1255 0 0 608 0 0 0 25 0 5 0 522392288 167796736 12388 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.81
Current children cumulated vsize (KiB) 163864
[startup+12.7002 s]
/proc/loadavg: 7.64 8.04 8.03 9/184 10047
/proc/meminfo: memFree=30886364/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=175440 CPUtime=49.37 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 26055 1255 0 0 4929 8 0 0 25 0 5 0 522392267 179650560 15282 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 43860 15282 181 55 0 41746 0
[pid=10037/tid=10044] ppid=10035 vsize=175440 CPUtime=12.48 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 1819 1255 0 0 1248 0 0 0 25 0 5 0 522392288 179650560 15282 33554432000 4194304 4417332 140733602640272 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=175440 CPUtime=11.75 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2619 1255 0 0 1170 5 0 0 25 0 5 0 522392288 179650560 15282 33554432000 4194304 4417332 140733602640272 18446744073709551615 4291995 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=175440 CPUtime=12.42 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 3081 1255 0 0 1242 0 0 0 25 0 5 0 522392288 179650560 15282 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=175440 CPUtime=12.48 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 1619 1255 0 0 1248 0 0 0 25 0 5 0 522392288 179650560 15282 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 175440
[startup+25.5011 s]
/proc/loadavg: 7.69 8.04 8.03 9/184 10048
/proc/meminfo: memFree=30861472/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=182264 CPUtime=100.46 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 28618 1255 0 0 10033 13 0 0 25 0 5 0 522392267 186638336 16988 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 45566 16988 181 55 0 43452 0
[pid=10037/tid=10044] ppid=10035 vsize=182264 CPUtime=25.28 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 2888 1255 0 0 2528 0 0 0 25 0 5 0 522392288 186638336 16988 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364614 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=182264 CPUtime=24.5 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2712 1255 0 0 2440 10 0 0 25 0 5 0 522392288 186638336 16988 33554432000 4194304 4417332 140733602640272 18446744073709551615 4264959 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=182264 CPUtime=25.16 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 3081 1255 0 0 2516 0 0 0 25 0 5 0 522392288 186638336 16988 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=182264 CPUtime=25.28 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 3020 1255 0 0 2528 0 0 0 25 0 5 0 522392288 186638336 16988 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.46
Current children cumulated vsize (KiB) 182264
[startup+51.1007 s]
/proc/loadavg: 7.93 8.07 8.04 9/184 10048
/proc/meminfo: memFree=30806760/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=196316 CPUtime=202.71 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 34310 1255 0 0 20255 16 0 0 25 0 5 0 522392267 201027584 20501 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 49079 20501 181 55 0 46965 0
[pid=10037/tid=10044] ppid=10035 vsize=196316 CPUtime=50.88 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 4907 1255 0 0 5088 0 0 0 25 0 5 0 522392288 201027584 20501 33554432000 4194304 4417332 140733602640272 18446744073709551615 4309988 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=196316 CPUtime=50.07 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 2931 1255 0 0 4994 13 0 0 25 0 5 0 522392288 201027584 20501 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=196316 CPUtime=50.65 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 4244 1255 0 0 5065 0 0 0 25 0 5 0 522392288 201027584 20501 33554432000 4194304 4417332 140733602640272 18446744073709551615 4310236 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=196316 CPUtime=50.87 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 5311 1255 0 0 5087 0 0 0 25 0 5 0 522392288 201027584 20501 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.71
Current children cumulated vsize (KiB) 196316
[startup+102.306 s]
/proc/loadavg: 8.11 8.08 8.05 9/184 10050
/proc/meminfo: memFree=30753432/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=212680 CPUtime=407.27 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 40720 1255 0 0 40709 18 0 0 25 0 5 0 522392267 217784320 24608 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 53170 24608 181 55 0 51056 0
[pid=10037/tid=10044] ppid=10035 vsize=212680 CPUtime=102.09 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 6943 1255 0 0 10209 0 0 0 25 0 5 0 522392288 217784320 24608 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364375 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=212680 CPUtime=101.25 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 3323 1255 0 0 10111 14 0 0 25 0 5 0 522392288 217784320 24608 33554432000 4194304 4417332 140733602640272 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=212680 CPUtime=101.61 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 4824 1255 0 0 10161 0 0 0 25 0 5 0 522392288 217784320 24608 33554432000 4194304 4417332 140733602640272 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=212680 CPUtime=102.08 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 8713 1255 0 0 10207 1 0 0 25 0 5 0 522392288 217784320 24608 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.27
Current children cumulated vsize (KiB) 212680
[startup+162.301 s]
/proc/loadavg: 8.15 8.09 8.05 10/184 10087
/proc/meminfo: memFree=30792912/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=234052 CPUtime=646.07 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 51922 1255 0 0 64575 32 0 0 25 0 5 0 522392267 239669248 29964 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 58513 29964 181 55 0 56399 0
[pid=10037/tid=10044] ppid=10035 vsize=234052 CPUtime=161.48 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 9016 1255 0 0 16140 8 0 0 25 0 5 0 522392288 239669248 29964 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364599 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=234052 CPUtime=160.95 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 6220 1255 0 0 16077 18 0 0 25 0 5 0 522392288 239669248 29964 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=234052 CPUtime=161.34 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 6033 1255 0 0 16133 1 0 0 25 0 5 0 522392288 239669248 29964 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=234052 CPUtime=162.06 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 13736 1255 0 0 16204 2 0 0 25 0 5 0 522392288 239669248 29964 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.07
Current children cumulated vsize (KiB) 234052
################
# More data... #
################
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 99739 1255 0 0 112502 43 0 0 25 0 5 0 522392267 279326720 39633 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 68195 39633 181 55 0 66081 0
[pid=10037/tid=10044] ppid=10035 vsize=272780 CPUtime=281.42 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 20166 1255 0 0 28129 13 0 0 25 0 5 0 522392288 279326720 39633 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364463 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=272780 CPUtime=280.93 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 18995 1255 0 0 28074 19 0 0 25 0 5 0 522392288 279326720 39633 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364482 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=272780 CPUtime=280.79 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 20528 1255 0 0 28076 3 0 0 25 0 5 0 522392288 279326720 39633 33554432000 4194304 4417332 140733602640272 18446744073709551615 4236920 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=272780 CPUtime=282.06 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 23133 1255 0 0 28202 4 0 0 25 0 5 0 522392288 279326720 39633 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364965 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1125.45
Current children cumulated vsize (KiB) 272780
[startup+342.301 s]
/proc/loadavg: 8.10 8.08 8.04 10/184 10092
/proc/meminfo: memFree=30672576/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=279488 CPUtime=1365.13 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 117939 1255 0 0 136466 47 0 0 25 0 5 0 522392267 286195712 41335 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 69872 41335 181 55 0 67758 0
[pid=10037/tid=10044] ppid=10035 vsize=279488 CPUtime=341.41 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 24954 1255 0 0 34125 16 0 0 25 0 5 0 522392288 286195712 41335 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=279488 CPUtime=340.93 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 27106 1255 0 0 34072 21 0 0 25 0 5 0 522392288 286195712 41335 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364531 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=279488 CPUtime=340.51 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 23740 1255 0 0 34048 3 0 0 25 0 5 0 522392288 286195712 41335 33554432000 4194304 4417332 140733602640272 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=279488 CPUtime=342.04 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 25222 1255 0 0 34200 4 0 0 25 0 5 0 522392288 286195712 41335 33554432000 4194304 4417332 140733602640272 18446744073709551615 4365869 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1365.13
Current children cumulated vsize (KiB) 279488
[startup+402.301 s]
/proc/loadavg: 8.23 8.11 8.05 10/184 10094
/proc/meminfo: memFree=30614636/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=327032 CPUtime=1604.82 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 149669 1255 0 0 160427 55 0 0 25 0 5 0 522392267 334880768 53196 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 81758 53196 181 55 0 79644 0
[pid=10037/tid=10044] ppid=10035 vsize=327032 CPUtime=401.37 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 36342 1255 0 0 40118 19 0 0 25 0 5 0 522392288 334880768 53196 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364957 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=327032 CPUtime=400.93 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 38150 1255 0 0 40070 23 0 0 25 0 5 0 522392288 334880768 53196 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=327032 CPUtime=400.23 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 30721 1255 0 0 40019 4 0 0 25 0 5 0 522392288 334880768 53196 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=327032 CPUtime=402.04 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 27539 1255 0 0 40199 5 0 0 25 0 5 0 522392288 334880768 53196 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1604.82
Current children cumulated vsize (KiB) 327032
[startup+462.301 s]
/proc/loadavg: 8.08 8.09 8.05 10/184 10095
/proc/meminfo: memFree=30604704/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=333868 CPUtime=1844.51 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 169209 1255 0 0 184393 58 0 0 25 0 5 0 522392267 341880832 54905 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 83467 54905 181 55 0 81353 0
[pid=10037/tid=10044] ppid=10035 vsize=333868 CPUtime=461.35 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 44449 1255 0 0 46114 21 0 0 25 0 5 0 522392288 341880832 54905 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=333868 CPUtime=460.92 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 41143 1255 0 0 46069 23 0 0 25 0 5 0 522392288 341880832 54905 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=333868 CPUtime=459.95 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 34054 1255 0 0 45991 4 0 0 25 0 5 0 522392288 341880832 54905 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=333868 CPUtime=462.04 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 32646 1255 0 0 46199 5 0 0 25 0 5 0 522392288 341880832 54905 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1844.51
Current children cumulated vsize (KiB) 333868
[startup+522.301 s]
/proc/loadavg: 8.08 8.08 8.05 10/184 10097
/proc/meminfo: memFree=30586332/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=322948 CPUtime=2084.18 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 190672 1255 0 0 208354 64 0 0 25 0 5 0 522392267 330698752 52175 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 80737 52175 181 55 0 78623 0
[pid=10037/tid=10044] ppid=10035 vsize=322948 CPUtime=521.32 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 54044 1255 0 0 52107 25 0 0 25 0 5 0 522392288 330698752 52175 33554432000 4194304 4417332 140733602640272 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=322948 CPUtime=520.92 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 43755 1255 0 0 52068 24 0 0 25 0 5 0 522392288 330698752 52175 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=322948 CPUtime=519.67 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 39340 1255 0 0 51962 5 0 0 25 0 5 0 522392288 330698752 52175 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=322948 CPUtime=522.03 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 36616 1255 0 0 52196 7 0 0 25 0 5 0 522392288 330698752 52175 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2084.18
Current children cumulated vsize (KiB) 322948
Solver just ended. Dumping a history of the last processes samples
[startup+524.706 s]
/proc/loadavg: 8.08 8.08 8.05 10/184 10097
/proc/meminfo: memFree=30579264/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=328168 CPUtime=2093.78 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 191977 1255 0 0 209314 64 0 0 25 0 5 0 522392267 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 82042 53480 181 55 0 79928 0
[pid=10037/tid=10044] ppid=10035 vsize=328168 CPUtime=523.73 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 54812 1255 0 0 52348 25 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4365900 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=328168 CPUtime=523.32 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 43755 1255 0 0 52308 24 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=328168 CPUtime=522.06 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 39340 1255 0 0 52201 5 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=328168 CPUtime=524.44 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 37153 1255 0 0 52437 7 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2093.78
Current children cumulated vsize (KiB) 328168
[startup+526.301 s]
/proc/loadavg: 8.07 8.08 8.05 10/184 10097
/proc/meminfo: memFree=30579264/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=328168 CPUtime=2100.15 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 191977 1255 0 0 209951 64 0 0 25 0 5 0 522392267 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 82042 53480 181 55 0 79928 0
[pid=10037/tid=10044] ppid=10035 vsize=328168 CPUtime=525.32 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 54812 1255 0 0 52507 25 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4365076 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=328168 CPUtime=524.91 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 43755 1255 0 0 52467 24 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=328168 CPUtime=523.65 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 39340 1255 0 0 52360 5 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=328168 CPUtime=526.03 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 37153 1255 0 0 52596 7 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2100.15
Current children cumulated vsize (KiB) 328168
[startup+527.101 s]
/proc/loadavg: 8.07 8.08 8.05 10/184 10097
/proc/meminfo: memFree=30578396/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=328168 CPUtime=2103.34 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 191977 1255 0 0 210270 64 0 0 25 0 5 0 522392267 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 82042 53480 181 55 0 79928 0
[pid=10037/tid=10044] ppid=10035 vsize=328168 CPUtime=526.12 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 54812 1255 0 0 52587 25 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=328168 CPUtime=525.71 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 43755 1255 0 0 52547 24 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=328168 CPUtime=524.45 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 39340 1255 0 0 52440 5 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4365883 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=328168 CPUtime=526.83 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 37153 1255 0 0 52676 7 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2103.34
Current children cumulated vsize (KiB) 328168
[startup+527.501 s]
/proc/loadavg: 8.07 8.08 8.05 10/184 10097
/proc/meminfo: memFree=30578396/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=328168 CPUtime=2104.94 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 191977 1255 0 0 210430 64 0 0 25 0 5 0 522392267 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 82042 53480 181 55 0 79928 0
[pid=10037/tid=10044] ppid=10035 vsize=328168 CPUtime=526.52 cores=0,2,4,6
/proc/10037/task/10044/stat : 10044 (plingeling) R 10035 10037 9622 0 -1 4202560 54812 1255 0 0 52627 25 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10037/tid=10045] ppid=10035 vsize=328168 CPUtime=526.11 cores=0,2,4,6
/proc/10037/task/10045/stat : 10045 (plingeling) R 10035 10037 9622 0 -1 4202560 43755 1255 0 0 52587 24 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10037/tid=10046] ppid=10035 vsize=328168 CPUtime=524.85 cores=0,2,4,6
/proc/10037/task/10046/stat : 10046 (plingeling) R 10035 10037 9622 0 -1 4202560 39340 1255 0 0 52480 5 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4357493 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10037/tid=10047] ppid=10035 vsize=328168 CPUtime=527.23 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 37153 1255 0 0 52716 7 0 0 25 0 5 0 522392288 336044032 53480 33554432000 4194304 4417332 140733602640272 18446744073709551615 4250464 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2104.94
Current children cumulated vsize (KiB) 328168
[startup+527.901 s]
/proc/loadavg: 8.07 8.08 8.05 7/181 10097
/proc/meminfo: memFree=30584000/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=328168 CPUtime=2106.29 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) S 10035 10037 9622 0 -1 4202496 191978 1255 0 0 210565 64 0 0 18 0 2 0 522392267 336044032 53481 33554432000 4194304 4417332 140733602640272 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/10037/statm: 82042 53481 182 55 0 79928 0
[pid=10037/tid=10047] ppid=10035 vsize=328168 CPUtime=527.64 cores=0,2,4,6
/proc/10037/task/10047/stat : 10047 (plingeling) R 10035 10037 9622 0 -1 4202560 37153 1255 0 0 52757 7 0 0 25 0 2 0 522392288 336044032 53481 33554432000 4194304 4417332 140733602640272 18446744073709551615 4364734 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2106.29
Current children cumulated vsize (KiB) 328168
[startup+528.007 s]
/proc/loadavg: 8.07 8.08 8.05 7/181 10097
/proc/meminfo: memFree=30584000/32951132 swapFree=67080208/67111528
[pid=10037] ppid=10035 vsize=242888 CPUtime=2106.4 cores=0,2,4,6
/proc/10037/stat : 10037 (plingeling) R 10035 10037 9622 0 -1 4202496 191978 1255 0 0 210575 65 0 0 16 0 1 0 522392267 248717312 34149 33554432000 4194304 4417332 140733602640272 18446744073709551615 210647172202 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10037/statm: 60722 33696 182 55 0 58608 0
Current children cumulated CPU time (s) 2106.4
Current children cumulated vsize (KiB) 242888
Child status: 10
Real time (s): 528.014
CPU time (s): 2106.42
CPU user time (s): 2105.76
CPU system time (s): 0.660899
CPU usage (%): 398.932
Max. virtual memory (cumulated for all children) (KiB): 339116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2105.76
system time used= 0.660899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193247
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= 62
involuntary context switches= 12763
runsolver used 0.760884 second user time and 1.69074 second system time
The end