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-3158893-1304037555/watcher-3158893-1304037555 -o /tmp/evaluation-result-3158893-1304037555/solver-3158893-1304037555 -C 4800 -W 1300 -M 15500 HOME/csls-pnorm -maxcores 8 HOME/instance-3158893-1304037555.cnf 4 644920574
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: 3.43 4.33 5.69 2/174 18105
/proc/meminfo: memFree=25485804/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128612 CPUtime=0 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 750 0 0 0 0 0 0 0 25 0 4 0 515358290 131698688 667 33554432000 4194304 4563110 140733763580304 18446744073709551615 218370957115 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32153 667 332 91 0 27671 0
[pid=18105/tid=18106] ppid=18103 vsize=128612 CPUtime=0 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 91 0 0 0 0 0 0 0 25 0 4 0 515358290 131698688 670 33554432000 4194304 4563110 140733763580304 18446744073709551615 218370487831 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128612 CPUtime=0 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 75 0 0 0 0 0 0 0 25 0 4 0 515358290 131698688 671 33554432000 4194304 4563110 140733763580304 18446744073709551615 4470204 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128612 CPUtime=0 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 4 0 515358290 131698688 672 33554432000 4194304 4563110 140733763580304 18446744073709551615 218370510559 0 0 4096 16384 0 0 0 -1 2 0 0 0
[startup+0.10651 s]
/proc/loadavg: 3.43 4.33 5.69 2/174 18105
/proc/meminfo: memFree=25485804/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=0.4 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 40 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4450759 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=0.1 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 10 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=0.1 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 10 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 47756811108667 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=0.1 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 10 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4230259 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 128596
[startup+0.200495 s]
/proc/loadavg: 3.43 4.33 5.69 2/174 18105
/proc/meminfo: memFree=25485804/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=0.78 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 78 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233810 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=0.19 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 19 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=0.19 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 19 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4227840 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=0.19 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 19 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4228999 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 128596
[startup+0.300478 s]
/proc/loadavg: 3.43 4.33 5.69 2/174 18105
/proc/meminfo: memFree=25485804/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=1.18 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 118 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233604 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 29 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438408 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 29 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438824 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 29 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4228940 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.700406 s]
/proc/loadavg: 3.43 4.33 5.69 2/174 18105
/proc/meminfo: memFree=25485804/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=2.78 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 278 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451377 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 69 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438416 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 69 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 69 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438909 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50026 s]
/proc/loadavg: 3.43 4.33 5.69 9/184 18118
/proc/meminfo: memFree=25449152/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=5.97 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 597 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451099 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=1.49 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 149 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4444810 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=1.49 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 149 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4444806 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=1.48 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 148 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4258946 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 128596
[startup+3.10098 s]
/proc/loadavg: 3.43 4.33 5.69 9/184 18118
/proc/meminfo: memFree=25448656/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=12.37 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 1237 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233619 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=3.09 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 309 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438792 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=3.09 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 309 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=3.08 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 308 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229180 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 128596
[startup+6.30041 s]
/proc/loadavg: 3.79 4.39 5.70 10/184 18118
/proc/meminfo: memFree=25449064/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=25.15 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 2515 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4450685 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=6.29 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 629 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229351 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=6.29 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 629 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438875 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=6.27 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 627 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439360 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 128596
[startup+12.7003 s]
/proc/loadavg: 4.13 4.45 5.71 10/184 18118
/proc/meminfo: memFree=25448944/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=50.72 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 5072 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451613 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=12.69 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 1269 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438370 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=12.69 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 1269 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4227891 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=12.64 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 1264 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438853 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 128596
[startup+25.501 s]
/proc/loadavg: 4.99 4.62 5.75 10/184 18118
/proc/meminfo: memFree=25450256/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=101.86 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 10186 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451115 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=25.49 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 2549 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=25.49 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 2549 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438875 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=25.38 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 2538 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 128596
[startup+51.1004 s]
/proc/loadavg: 6.14 4.92 5.82 10/184 18119
/proc/meminfo: memFree=25450140/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=204.15 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 20415 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451137 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=51.09 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 5109 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=51.09 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 5109 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=50.86 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 5086 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439126 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.15
Current children cumulated vsize (KiB) 128596
[startup+102.3 s]
/proc/loadavg: 7.26 5.41 5.94 9/184 18180
/proc/meminfo: memFree=25417932/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=408.72 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 40872 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233640 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=102.3 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 10230 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439544 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=102.28 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 10228 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439371 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=101.83 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 10183 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229115 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.72
Current children cumulated vsize (KiB) 128596
[startup+162.301 s]
################
# More data... #
################
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 69912 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4444784 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.96
Current children cumulated vsize (KiB) 128596
[startup+762.301 s]
/proc/loadavg: 8.10 7.82 7.03 9/184 18198
/proc/meminfo: memFree=25417376/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3045.71 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 304569 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451188 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=762.3 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 76229 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438703 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=762.23 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 76223 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4227690 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=758.85 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 75885 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.71
Current children cumulated vsize (KiB) 128596
[startup+822.3 s]
/proc/loadavg: 8.08 7.87 7.10 9/184 18200
/proc/meminfo: memFree=25417360/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3285.42 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 328540 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451368 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=822.29 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 82228 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438416 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=822.22 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 82222 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438902 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=818.57 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 81857 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439148 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.42
Current children cumulated vsize (KiB) 128596
[startup+882.307 s]
/proc/loadavg: 8.11 7.92 7.16 9/184 18201
/proc/meminfo: memFree=25417336/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3525.16 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 352514 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4450755 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=882.3 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 88229 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438932 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=882.22 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 88222 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439603 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=878.31 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 87831 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3525.16
Current children cumulated vsize (KiB) 128596
Solver just ended. Dumping a history of the last processes samples
[startup+896.001 s]
/proc/loadavg: 8.08 7.92 7.17 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3579.88 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 357986 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451115 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=895.99 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 89598 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229518 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=895.91 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 89591 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439567 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=891.94 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 89194 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3579.88
Current children cumulated vsize (KiB) 128596
[startup+902.401 s]
/proc/loadavg: 8.16 7.94 7.18 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3605.45 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 360543 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451115 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=902.39 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90238 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439558 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=902.31 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90231 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439551 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=898.31 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 89831 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229246 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3605.45
Current children cumulated vsize (KiB) 128596
[startup+905.6 s]
/proc/loadavg: 8.14 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3618.23 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 361821 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233619 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=905.59 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90558 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438783 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=905.51 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90551 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438936 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=901.5 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90150 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438408 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3618.23
Current children cumulated vsize (KiB) 128596
[startup+907.201 s]
/proc/loadavg: 8.14 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3624.63 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 362461 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233604 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=907.19 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90718 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4230173 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=907.11 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90711 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=903.09 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90309 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438763 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3624.63
Current children cumulated vsize (KiB) 128596
[startup+908.801 s]
/proc/loadavg: 8.14 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3631.02 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 363100 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451095 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=908.79 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90878 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4228948 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=908.71 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90871 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=904.68 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90468 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438851 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3631.02
Current children cumulated vsize (KiB) 128596
[startup+909.601 s]
/proc/loadavg: 8.14 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3634.22 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 363420 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451115 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=909.59 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90958 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439360 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=909.51 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90951 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439561 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=905.48 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90548 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4229495 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3634.22
Current children cumulated vsize (KiB) 128596
[startup+909.807 s]
/proc/loadavg: 8.13 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3635.04 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 363502 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4233619 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=909.8 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90979 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4439143 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=909.72 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90972 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438891 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=905.68 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90568 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3635.04
Current children cumulated vsize (KiB) 128596
[startup+909.901 s]
/proc/loadavg: 8.13 7.94 7.19 9/184 18202
/proc/meminfo: memFree=25417324/32951124 swapFree=67051468/67111528
[pid=18105] ppid=18103 vsize=128596 CPUtime=3635.41 cores=0,2,4,6
/proc/18105/stat : 18105 (csls-pnorm) R 18103 18105 18073 0 -1 4202496 2767 0 0 0 363539 2 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4451191 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/18105/statm: 32149 2680 339 91 0 27667 0
[pid=18105/tid=18106] ppid=18103 vsize=128596 CPUtime=909.89 cores=0,2,4,6
/proc/18105/task/18106/stat : 18106 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 575 0 0 0 90988 1 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438925 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=18105/tid=18107] ppid=18103 vsize=128596 CPUtime=909.81 cores=0,2,4,6
/proc/18105/task/18107/stat : 18107 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 562 0 0 0 90981 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438425 0 0 4096 16384 0 0 0 -1 2 0 0 0
[pid=18105/tid=18108] ppid=18103 vsize=128596 CPUtime=905.78 cores=0,2,4,6
/proc/18105/task/18108/stat : 18108 (csls-pnorm) R 18103 18105 18073 0 -1 4202560 561 0 0 0 90578 0 0 0 25 0 4 0 515358290 131682304 2680 33554432000 4194304 4563110 140733763580304 18446744073709551615 4438875 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3635.41
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 909.905
CPU time (s): 3635.43
CPU user time (s): 3635.41
CPU system time (s): 0.027995
CPU usage (%): 399.54
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3635.41
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2770
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= 45
involuntary context switches= 28965
runsolver used 1.09083 second user time and 3.05054 second system time
The end