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-3158439-1304059180/watcher-3158439-1304059180 -o /tmp/evaluation-result-3158439-1304059180/solver-3158439-1304059180 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 8 HOME/instance-3158439-1304059180.cnf 4 570105853
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.50 7.88 7.16 2/174 29947
/proc/meminfo: memFree=31555236/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128608 CPUtime=0 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 757 0 0 0 0 0 0 0 23 0 4 0 517516811 131694592 677 33554432000 4194304 4563014 140736540126976 18446744073709551615 235594866491 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32152 677 331 91 0 27670 0
[pid=29947/tid=29948] ppid=29945 vsize=128608 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 78 0 0 0 0 0 0 0 24 0 4 0 517516811 131694592 678 33554432000 4194304 4563014 140736540126976 18446744073709551615 235594866491 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128608 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 53 0 0 0 0 0 0 0 24 0 4 0 517516811 131694592 678 33554432000 4194304 4563014 140736540126976 18446744073709551615 4328675 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128608 CPUtime=0 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 103 0 0 0 0 0 0 0 24 0 4 0 517516811 131694592 679 33554432000 4194304 4563014 140736540126976 18446744073709551615 4471037 0 0 4096 16384 0 0 0 -1 0 0 0 0
[startup+0.0236271 s]
/proc/loadavg: 7.50 7.88 7.16 2/174 29947
/proc/meminfo: memFree=31555236/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=0.08 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 8 0 0 0 23 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4450558 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=0.02 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 2 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4258846 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=0.01 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4202118 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=0.01 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 1 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4229492 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 128596
[startup+0.100614 s]
/proc/loadavg: 7.50 7.88 7.16 2/174 29947
/proc/meminfo: memFree=31555236/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=0.38 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 38 0 0 0 23 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4234896 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=0.09 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 9 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439035 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=0.09 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 9 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439063 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=0.09 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 9 0 0 0 24 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438822 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 128596
[startup+0.300577 s]
/proc/loadavg: 7.50 7.88 7.16 2/174 29947
/proc/meminfo: memFree=31555236/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=1.18 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 118 0 0 0 23 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4450689 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 29 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4435510 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 29 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 47343709086011 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 29 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 47343709086036 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.700507 s]
/proc/loadavg: 7.50 7.88 7.16 2/174 29947
/proc/meminfo: memFree=31555236/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=2.78 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 278 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4451083 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 69 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 69 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438751 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 69 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50037 s]
/proc/loadavg: 7.50 7.88 7.16 9/184 29960
/proc/meminfo: memFree=31518876/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=5.98 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 598 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4451297 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=1.49 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 149 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4229540 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=1.48 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 148 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=1.49 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 149 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439487 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 128596
[startup+3.10108 s]
/proc/loadavg: 7.50 7.88 7.16 9/184 29960
/proc/meminfo: memFree=31517636/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=12.38 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 1238 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4451463 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=3.09 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 309 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439214 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=3.08 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 308 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=3.09 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 309 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438831 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 128596
[startup+6.30052 s]
/proc/loadavg: 7.54 7.88 7.17 9/184 29960
/proc/meminfo: memFree=31517244/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=25.16 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 2516 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4451108 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=6.29 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 629 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=6.26 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 626 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=6.29 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 629 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4444896 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 128596
Solver just ended. Dumping a history of the last processes samples
[startup+9.50096 s]
/proc/loadavg: 7.54 7.88 7.17 9/184 29960
/proc/meminfo: memFree=31517464/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=37.95 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 3795 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4233521 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=9.49 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 949 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438302 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=9.45 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 945 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4258936 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=9.49 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 949 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439520 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37.95
Current children cumulated vsize (KiB) 128596
[startup+10.3008 s]
/proc/loadavg: 7.58 7.89 7.17 9/184 29960
/proc/meminfo: memFree=31517464/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=41.14 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 4114 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4450818 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=10.29 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1029 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 47343709086011 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=10.24 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1024 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4258926 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=10.29 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 1029 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438795 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.14
Current children cumulated vsize (KiB) 128596
[startup+11.1007 s]
/proc/loadavg: 7.58 7.89 7.17 9/184 29960
/proc/meminfo: memFree=31516760/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=44.33 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 4433 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 47343709086011 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=11.09 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1109 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4229576 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=11.04 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1104 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438403 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=11.09 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 1109 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 44.33
Current children cumulated vsize (KiB) 128596
[startup+11.5006 s]
/proc/loadavg: 7.58 7.89 7.17 9/184 29960
/proc/meminfo: memFree=31516760/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=45.93 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 4593 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=11.49 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1149 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=11.44 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1144 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=11.49 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 1149 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4228756 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.93
Current children cumulated vsize (KiB) 128596
[startup+11.6006 s]
/proc/loadavg: 7.58 7.89 7.17 9/184 29960
/proc/meminfo: memFree=31516760/32950928 swapFree=67111404/67111528
[pid=29947] ppid=29945 vsize=128596 CPUtime=46.33 cores=0,2,4,6
/proc/29947/stat : 29947 (csls-prob) R 29945 29947 27293 0 -1 4202496 1405 0 0 0 4633 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4233548 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/29947/statm: 32149 1320 339 91 0 27667 0
[pid=29947/tid=29948] ppid=29945 vsize=128596 CPUtime=11.59 cores=0,2,4,6
/proc/29947/task/29948/stat : 29948 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1159 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=29947/tid=29949] ppid=29945 vsize=128596 CPUtime=11.54 cores=0,2,4,6
/proc/29947/task/29949/stat : 29949 (csls-prob) R 29945 29947 27293 0 -1 4202560 226 0 0 0 1154 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 47343709086011 0 0 4096 16384 0 0 0 -1 6 0 0 0
[pid=29947/tid=29950] ppid=29945 vsize=128596 CPUtime=11.59 cores=0,2,4,6
/proc/29947/task/29950/stat : 29950 (csls-prob) R 29945 29947 27293 0 -1 4202560 256 0 0 0 1159 0 0 0 25 0 4 0 517516811 131682304 1320 33554432000 4194304 4563014 140736540126976 18446744073709551615 4439483 0 0 4096 16384 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.33
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 11.6338
CPU time (s): 46.4689
CPU user time (s): 46.4659
CPU system time (s): 0.002999
CPU usage (%): 399.429
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.4659
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1408
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= 43
involuntary context switches= 337
runsolver used 0.018997 second user time and 0.037994 second system time
The end