runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3694537-1338223899/watcher-3694537-1338223899 -o /tmp/evaluation-result-3694537-1338223899/solver-3694537-1338223899 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694537-1338223899.opb 1120258562 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13078
/proc/meminfo: memFree=28325560/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runsolver) D 13076 13078 12080 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 288515761 12095488 52 33554432000 4194304 5436572 140733353414048 140733353410344 4883175 0 0 4096 24578 18446744072101238148 0 0 17 4 0 0 0 0 0
/proc/13078/statm: 2953 52 31 304 0 2645 0
[startup+0.0646399 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13078
/proc/meminfo: memFree=28325560/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100211 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13078
/proc/meminfo: memFree=28325560/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30025 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13078
/proc/meminfo: memFree=28325560/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13078
/proc/meminfo: memFree=28325560/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13082
/proc/meminfo: memFree=28152780/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=64768 CPUtime=0.79 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 11252 0 0 0 73 6 0 0 20 0 1 0 288515762 66322432 15122 33554432000 4194304 5873084 140735918107440 140735918103864 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13080/statm: 16192 15122 169 410 0 15774 0
[pid=13081] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13081/stat : 13081 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288515842 9367552 266 33554432000 4194304 5064252 140736425581632 140736425580544 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13081/statm: 2287 266 226 213 0 72 0
[pid=13082] ppid=13081 vsize=179256 CPUtime=0.68 cores=0,2,4,6
/proc/13082/stat : 13082 (glucose_static) R 13081 13078 12080 0 -1 4202496 35170 0 0 0 61 7 0 0 20 0 1 0 288515842 183558144 41660 33554432000 4194304 4896791 140736791606992 140736791604296 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13082/statm: 44814 41660 76 172 0 44640 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 262320
[startup+3.10037 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13082
/proc/meminfo: memFree=28060792/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=64768 CPUtime=0.79 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 11252 0 0 0 73 6 0 0 20 0 1 0 288515762 66322432 15122 33554432000 4194304 5873084 140735918107440 140735918103864 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13080/statm: 16192 15122 169 410 0 15774 0
[pid=13081] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13081/stat : 13081 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288515842 9367552 266 33554432000 4194304 5064252 140736425581632 140736425580544 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13081/statm: 2287 266 226 213 0 72 0
[pid=13082] ppid=13081 vsize=180840 CPUtime=2.28 cores=0,2,4,6
/proc/13082/stat : 13082 (glucose_static) R 13081 13078 12080 0 -1 4202496 35571 0 0 0 221 7 0 0 20 0 1 0 288515842 185180160 42061 33554432000 4194304 4896791 140736791606992 140736791604296 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13082/statm: 45210 42061 77 172 0 45036 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 263904
[startup+6.30022 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 13082
/proc/meminfo: memFree=28190576/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=80148 CPUtime=6.13 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) R 13078 13078 12080 0 -1 4202496 11816 36682 0 0 127 171 306 9 20 0 1 0 288515762 82071552 18976 33554432000 4194304 5873084 140735918107440 140735918102872 5127520 0 0 4096 0 0 0 0 17 2 0 0 13 0 0
/proc/13080/statm: 20037 18976 177 410 0 19619 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 89296
[startup+12.7004 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13130
/proc/meminfo: memFree=27777096/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=382224 CPUtime=9.91 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 19749 37196 0 0 431 240 306 14 20 0 1 0 288515762 391397376 82970 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 79 0 0
/proc/13080/statm: 95556 82970 183 410 0 95138 0
[pid=13127] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13127/stat : 13127 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288516836 9367552 267 33554432000 4194304 5064252 140737446889536 140737446888448 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13127/statm: 2287 267 226 213 0 72 0
[pid=13128] ppid=13127 vsize=501416 CPUtime=1.94 cores=0,2,4,6
/proc/13128/stat : 13128 (glucose_static) R 13127 13078 12080 0 -1 4202496 70187 0 0 0 177 17 0 0 20 0 1 0 288516836 513449984 114997 33554432000 4194304 4896791 140735958688944 140735957637736 4226193 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13128/statm: 125354 114998 58 172 0 125180 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 901936
[startup+25.5004 s]
/proc/loadavg: 2.08 2.05 2.00 3/183 13133
/proc/meminfo: memFree=27331832/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=382224 CPUtime=9.91 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 19749 37196 0 0 431 240 306 14 20 0 1 0 288515762 391397376 82970 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 79 0 0
/proc/13080/statm: 95556 82970 183 410 0 95138 0
[pid=13127] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13127/stat : 13127 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288516836 9367552 267 33554432000 4194304 5064252 140737446889536 140737446888448 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13127/statm: 2287 267 226 213 0 72 0
[pid=13128] ppid=13127 vsize=799944 CPUtime=14.74 cores=0,2,4,6
/proc/13128/stat : 13128 (glucose_static) R 13127 13078 12080 0 -1 4202496 106496 0 0 0 1444 30 0 0 20 0 1 0 288516836 819142656 158045 33554432000 4194304 4896791 140735958688944 140735958686152 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13128/statm: 199986 158045 78 172 0 199812 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 1200464
[startup+51.1004 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 13137
/proc/meminfo: memFree=27324132/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=382224 CPUtime=9.91 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 19749 37196 0 0 431 240 306 14 20 0 1 0 288515762 391397376 82970 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 79 0 0
/proc/13080/statm: 95556 82970 183 410 0 95138 0
[pid=13127] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13127/stat : 13127 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288516836 9367552 267 33554432000 4194304 5064252 140737446889536 140737446888448 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13127/statm: 2287 267 226 213 0 72 0
[pid=13128] ppid=13127 vsize=801396 CPUtime=40.33 cores=0,2,4,6
/proc/13128/stat : 13128 (glucose_static) R 13127 13078 12080 0 -1 4202496 106848 0 0 0 4003 30 0 0 20 0 1 0 288516836 820629504 158908 33554432000 4194304 4896791 140735958688944 140735958686152 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13128/statm: 200349 158908 78 172 0 200175 0
Current children cumulated CPU time (s) 50.24
Current children cumulated vsize (KiB) 1201916
[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 13143
/proc/meminfo: memFree=27325856/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=382224 CPUtime=9.91 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 19749 37196 0 0 431 240 306 14 20 0 1 0 288515762 391397376 82970 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 79 0 0
/proc/13080/statm: 95556 82970 183 410 0 95138 0
[pid=13127] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13127/stat : 13127 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288516836 9367552 267 33554432000 4194304 5064252 140737446889536 140737446888448 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13127/statm: 2287 267 226 213 0 72 0
[pid=13128] ppid=13127 vsize=804912 CPUtime=91.53 cores=0,2,4,6
/proc/13128/stat : 13128 (glucose_static) R 13127 13078 12080 0 -1 4202496 111830 0 0 0 9122 31 0 0 20 0 1 0 288516836 824229888 162055 33554432000 4194304 4896791 140735958688944 140735958686136 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13128/statm: 201228 162055 78 172 0 201054 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 1205432
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 13149
/proc/meminfo: memFree=27324828/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=382224 CPUtime=9.91 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 19749 37196 0 0 431 240 306 14 20 0 1 0 288515762 391397376 82970 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 79 0 0
/proc/13080/statm: 95556 82970 183 410 0 95138 0
[pid=13127] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13127/stat : 13127 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288516836 9367552 267 33554432000 4194304 5064252 140737446889536 140737446888448 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13127/statm: 2287 267 226 213 0 72 0
[pid=13128] ppid=13127 vsize=807476 CPUtime=151.51 cores=0,2,4,6
/proc/13128/stat : 13128 (glucose_static) R 13127 13078 12080 0 -1 4202496 114584 0 0 0 15119 32 0 0 20 0 1 0 288516836 826855424 167811 33554432000 4194304 4896791 140735958688944 140735958686152 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13128/statm: 201869 167811 78 172 0 201695 0
Current children cumulated CPU time (s) 161.42
################
# More data... #
################
/proc/13168/statm: 198794 167551 78 172 0 198620 0
Current children cumulated CPU time (s) 1361.15
Current children cumulated vsize (KiB) 1215292
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13201
/proc/meminfo: memFree=27270948/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=389.18 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 45286 264432 0 0 1044 317 37427 130 20 0 1 0 288515762 411463680 84286 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 79 0 0
/proc/13080/statm: 100455 84286 184 410 0 100037 0
[pid=13167] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13167/stat : 13167 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288554771 9367552 267 33554432000 4194304 5064252 140736293267072 140736293265984 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13167/statm: 2287 267 226 213 0 72 0
[pid=13168] ppid=13167 vsize=796732 CPUtime=1031.97 cores=0,2,4,6
/proc/13168/stat : 13168 (glucose_static) R 13167 13078 12080 0 -1 4202496 135508 0 0 0 103104 93 0 0 20 0 1 0 288554771 815853568 169573 33554432000 4194304 4896791 140733221326592 140733221323800 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13168/statm: 199183 169573 78 172 0 199009 0
Current children cumulated CPU time (s) 1421.15
Current children cumulated vsize (KiB) 1216848
[startup+1482.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 13204
/proc/meminfo: memFree=27370052/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1451.29 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 57443 405217 0 0 1336 352 143207 234 20 0 1 0 288515762 411463680 83774 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 79 0 0
/proc/13080/statm: 100455 83774 184 410 0 100037 0
[pid=13203] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13203/stat : 13203 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288661007 9367552 266 33554432000 4194304 5064252 140736617311824 140736617310736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 2287 266 226 213 0 72 0
[pid=13204] ppid=13203 vsize=721148 CPUtime=29.81 cores=0,2,4,6
/proc/13204/stat : 13204 (glucose_static) R 13203 13078 12080 0 -1 4202496 104885 0 0 0 2950 31 0 0 20 0 1 0 288661007 738455552 153934 33554432000 4194304 4896791 140735355090624 140735355087816 4225191 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13204/statm: 180287 153934 78 172 0 180113 0
Current children cumulated CPU time (s) 1481.1
Current children cumulated vsize (KiB) 1141264
[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 13204
/proc/meminfo: memFree=27335836/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1451.29 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 57443 405217 0 0 1336 352 143207 234 20 0 1 0 288515762 411463680 83774 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 79 0 0
/proc/13080/statm: 100455 83774 184 410 0 100037 0
[pid=13203] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13203/stat : 13203 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288661007 9367552 266 33554432000 4194304 5064252 140736617311824 140736617310736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 2287 266 226 213 0 72 0
[pid=13204] ppid=13203 vsize=722204 CPUtime=89.8 cores=0,2,4,6
/proc/13204/stat : 13204 (glucose_static) R 13203 13078 12080 0 -1 4202496 106738 0 0 0 8948 32 0 0 20 0 1 0 288661007 739536896 155223 33554432000 4194304 4896791 140735355090624 140735355087768 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13204/statm: 180551 155223 78 172 0 180377 0
Current children cumulated CPU time (s) 1541.09
Current children cumulated vsize (KiB) 1142320
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13205
/proc/meminfo: memFree=27356592/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1451.29 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 57443 405217 0 0 1336 352 143207 234 20 0 1 0 288515762 411463680 83774 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 79 0 0
/proc/13080/statm: 100455 83774 184 410 0 100037 0
[pid=13203] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13203/stat : 13203 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288661007 9367552 266 33554432000 4194304 5064252 140736617311824 140736617310736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 2287 266 226 213 0 72 0
[pid=13204] ppid=13203 vsize=724936 CPUtime=149.77 cores=0,2,4,6
/proc/13204/stat : 13204 (glucose_static) R 13203 13078 12080 0 -1 4202496 110691 0 0 0 14944 33 0 0 20 0 1 0 288661007 742334464 157435 33554432000 4194304 4896791 140735355090624 140735355087832 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13204/statm: 181234 157435 78 172 0 181060 0
Current children cumulated CPU time (s) 1601.06
Current children cumulated vsize (KiB) 1145052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13205
/proc/meminfo: memFree=27321544/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1451.29 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 57443 405217 0 0 1336 352 143207 234 20 0 1 0 288515762 411463680 83774 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 79 0 0
/proc/13080/statm: 100455 83774 184 410 0 100037 0
[pid=13203] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13203/stat : 13203 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288661007 9367552 266 33554432000 4194304 5064252 140736617311824 140736617310736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13203/statm: 2287 266 226 213 0 72 0
[pid=13204] ppid=13203 vsize=727936 CPUtime=209.76 cores=0,2,4,6
/proc/13204/stat : 13204 (glucose_static) R 13203 13078 12080 0 -1 4202496 111734 0 0 0 20943 33 0 0 20 0 1 0 288661007 745406464 160250 33554432000 4194304 4896791 140735355090624 140735355087832 4203806 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13204/statm: 181984 160250 78 172 0 181810 0
Current children cumulated CPU time (s) 1661.05
Current children cumulated vsize (KiB) 1148052
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/184 13211
/proc/meminfo: memFree=27591016/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1713.27 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 69583 523469 0 0 1567 382 169094 284 20 0 1 0 288515762 411463680 71998 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 79 0 0
/proc/13080/statm: 100455 71998 184 410 0 100037 0
[pid=13210] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13210/stat : 13210 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288687212 9367552 267 33554432000 4194304 5064252 140733327525456 140733327524368 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13210/statm: 2287 267 226 213 0 72 0
[pid=13211] ppid=13210 vsize=553860 CPUtime=7.77 cores=0,2,4,6
/proc/13211/stat : 13211 (glucose_static) R 13210 13078 12080 0 -1 4202496 87349 0 0 0 753 24 0 0 20 0 1 0 288687212 567152640 123432 33554432000 4194304 4896791 140736547645840 140736547642936 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13211/statm: 138465 123432 78 172 0 138291 0
Current children cumulated CPU time (s) 1721.04
Current children cumulated vsize (KiB) 973976
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13214
/proc/meminfo: memFree=27626364/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1713.27 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 69583 523469 0 0 1567 382 169094 284 20 0 1 0 288515762 411463680 71998 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 79 0 0
/proc/13080/statm: 100455 71998 184 410 0 100037 0
[pid=13210] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13210/stat : 13210 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288687212 9367552 267 33554432000 4194304 5064252 140733327525456 140733327524368 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13210/statm: 2287 267 226 213 0 72 0
[pid=13211] ppid=13210 vsize=557268 CPUtime=67.74 cores=0,2,4,6
/proc/13211/stat : 13211 (glucose_static) R 13210 13078 12080 0 -1 4202496 92911 0 0 0 6748 26 0 0 20 0 1 0 288687212 570642432 126139 33554432000 4194304 4896791 140736547645840 140736547643048 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13211/statm: 139317 126139 78 172 0 139143 0
Current children cumulated CPU time (s) 1781.01
Current children cumulated vsize (KiB) 977384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13214
/proc/meminfo: memFree=27623004/32873648 swapFree=6844/6844
[pid=13078] ppid=13076 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13078/stat : 13078 (runPb2satCp2.sh) S 13076 13078 12080 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288515761 9367552 275 33554432000 4194304 5064252 140733519743360 140733519742272 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13078/statm: 2287 275 233 213 0 72 0
[pid=13080] ppid=13078 vsize=401820 CPUtime=1713.27 cores=0,2,4,6
/proc/13080/stat : 13080 (pb2sat) S 13078 13078 12080 0 -1 4202496 69583 523469 0 0 1567 382 169094 284 20 0 1 0 288515762 411463680 71998 33554432000 4194304 5873084 140735918107440 140735918101256 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 79 0 0
/proc/13080/statm: 100455 71998 184 410 0 100037 0
[pid=13210] ppid=13080 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13210/stat : 13210 (satsolver.sh) S 13080 13078 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288687212 9367552 267 33554432000 4194304 5064252 140733327525456 140733327524368 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13210/statm: 2287 267 226 213 0 72 0
[pid=13211] ppid=13210 vsize=558416 CPUtime=86.74 cores=0,2,4,6
/proc/13211/stat : 13211 (glucose_static) R 13210 13078 12080 0 -1 4202496 96999 0 0 0 8647 27 0 0 20 0 1 0 288687212 571817984 127425 33554432000 4194304 4896791 140736547645840 140736547643208 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13211/statm: 139604 127425 78 172 0 139430 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 978532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13078 and gives
# childrusage.ru_utime.tv_sec=1706
# childrusage.ru_utime.tv_usec=629552
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=671985
# CPU time returned by wait4() is 1713.3
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.32
CPU time (s): 1800.01
CPU user time (s): 1793.08
CPU system time (s): 6.93
CPU usage (%): 99.9274
Max. virtual memory (cumulated for all children) (KiB): 1555140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.63
system time used= 6.67199
maximum resident set size= 930088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2475968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 274
involuntary context switches= 1947
runsolver used 4.39233 second user time and 10.7724 second system time
The end