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-3750103-1339181500/watcher-3750103-1339181500 -o /tmp/evaluation-result-3750103-1339181500/solver-3750103-1339181500 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750103-1339181500.opb 376348309 HOME HOME
running on 4 cores: 1,3,5,7
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: 1.45 1.81 1.89 3/177 30546
/proc/meminfo: memFree=31498436/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[startup+0.068094 s]
/proc/loadavg: 1.45 1.81 1.89 3/177 30546
/proc/meminfo: memFree=31498436/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 1.45 1.81 1.89 3/177 30546
/proc/meminfo: memFree=31498436/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300323 s]
/proc/loadavg: 1.45 1.81 1.89 3/177 30546
/proc/meminfo: memFree=31498436/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700347 s]
/proc/loadavg: 1.45 1.81 1.89 3/177 30546
/proc/meminfo: memFree=31498436/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.50 1.81 1.89 3/181 30550
/proc/meminfo: memFree=31314496/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=85488 CPUtime=1.23 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 8215 0 0 0 109 14 0 0 20 0 1 0 384276837 87539712 19987 33554432000 4194304 6004724 140734776136800 140734776130848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30547/statm: 21372 19987 171 442 0 20926 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 94636
[startup+3.10036 s]
/proc/loadavg: 1.50 1.81 1.89 3/183 30555
/proc/meminfo: memFree=31063572/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=85488 CPUtime=1.23 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 8215 0 0 0 109 14 0 0 20 0 1 0 384276837 87539712 19987 33554432000 4194304 6004724 140734776136800 140734776130848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30547/statm: 21372 19987 171 442 0 20926 0
[pid=30551] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30551/stat : 30551 (cp2_pre.sh) S 30547 30546 5861 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384276961 9367552 277 33554432000 4194304 5064252 140734117853184 140734117851888 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30551/statm: 2287 277 234 213 0 72 0
[pid=30552] ppid=30551 vsize=365440 CPUtime=1.85 cores=1,3,5,7
/proc/30552/stat : 30552 (coprocessor) R 30551 30546 5861 0 -1 4202496 41462 0 0 0 175 10 0 0 20 0 1 0 384276961 374210560 82428 33554432000 4194304 6586260 140734057279968 140734057276232 4546597 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30552/statm: 91360 82428 166 584 0 90772 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 469224
[startup+6.30035 s]
/proc/loadavg: 1.62 1.83 1.90 3/183 30555
/proc/meminfo: memFree=30863252/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=85488 CPUtime=1.23 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 8215 0 0 0 109 14 0 0 20 0 1 0 384276837 87539712 19987 33554432000 4194304 6004724 140734776136800 140734776130848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30547/statm: 21372 19987 171 442 0 20926 0
[pid=30551] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30551/stat : 30551 (cp2_pre.sh) S 30547 30546 5861 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384276961 9367552 277 33554432000 4194304 5064252 140734117853184 140734117851888 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30551/statm: 2287 277 234 213 0 72 0
[pid=30552] ppid=30551 vsize=451108 CPUtime=5.05 cores=1,3,5,7
/proc/30552/stat : 30552 (coprocessor) R 30551 30546 5861 0 -1 4202496 56658 0 0 0 475 30 0 0 20 0 1 0 384276961 461934592 109740 33554432000 4194304 6586260 140734057279968 140734057275880 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30552/statm: 112777 109740 204 584 0 112189 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 554892
[startup+12.7002 s]
/proc/loadavg: 1.65 1.83 1.90 3/181 30562
/proc/meminfo: memFree=31261452/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=92612 CPUtime=12.64 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) R 30546 30546 5861 0 -1 4202496 9610 96370 0 0 152 177 889 46 20 0 1 0 384276837 94834688 21519 33554432000 4194304 6004724 140734776136800 140734776131000 5190832 0 0 4096 0 0 0 0 17 3 0 0 1 0 0
/proc/30547/statm: 23153 21519 177 442 0 22707 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 101760
[startup+25.5004 s]
/proc/loadavg: 1.72 1.84 1.90 3/183 30565
/proc/meminfo: memFree=30433676/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=355040 CPUtime=15.33 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 16063 96885 0 0 374 219 889 51 20 0 1 0 384276837 363560960 61750 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/30547/statm: 88760 61750 180 442 0 88314 0
[pid=30564] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30564/stat : 30564 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384278409 9367552 267 33554432000 4194304 5064252 140736834347344 140736834346256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30564/statm: 2287 267 226 213 0 72 0
[pid=30565] ppid=30564 vsize=557940 CPUtime=9.76 cores=1,3,5,7
/proc/30565/stat : 30565 (glucose) R 30564 30546 5861 0 -1 4202496 87810 0 0 0 949 27 0 0 20 0 1 0 384278409 571330560 126485 33554432000 4194304 5208918 140736410867792 140736410865624 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30565/statm: 139485 126485 104 248 0 139234 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 931276
[startup+51.1004 s]
/proc/loadavg: 1.82 1.85 1.90 3/183 30572
/proc/meminfo: memFree=30240344/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=355040 CPUtime=15.33 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 16063 96885 0 0 374 219 889 51 20 0 1 0 384276837 363560960 61750 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/30547/statm: 88760 61750 180 442 0 88314 0
[pid=30564] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30564/stat : 30564 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384278409 9367552 267 33554432000 4194304 5064252 140736834347344 140736834346256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30564/statm: 2287 267 226 213 0 72 0
[pid=30565] ppid=30564 vsize=557940 CPUtime=35.36 cores=1,3,5,7
/proc/30565/stat : 30565 (glucose) R 30564 30546 5861 0 -1 4202496 87962 0 0 0 3509 27 0 0 20 0 1 0 384278409 571330560 128681 33554432000 4194304 5208918 140736410867792 140736410865624 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30565/statm: 139485 128681 105 248 0 139234 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 931276
[startup+102.307 s]
/proc/loadavg: 1.92 1.87 1.91 3/183 30580
/proc/meminfo: memFree=30236396/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=355040 CPUtime=15.33 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 16063 96885 0 0 374 219 889 51 20 0 1 0 384276837 363560960 61750 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/30547/statm: 88760 61750 180 442 0 88314 0
[pid=30564] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30564/stat : 30564 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384278409 9367552 267 33554432000 4194304 5064252 140736834347344 140736834346256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30564/statm: 2287 267 226 213 0 72 0
[pid=30565] ppid=30564 vsize=639328 CPUtime=86.56 cores=1,3,5,7
/proc/30565/stat : 30565 (glucose) R 30564 30546 5861 0 -1 4202496 88657 0 0 0 8627 29 0 0 20 0 1 0 384278409 654671872 137041 33554432000 4194304 5208918 140736410867792 140736410865944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30565/statm: 159832 137041 105 248 0 159581 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 1012664
[startup+162.3 s]
/proc/loadavg: 2.09 1.92 1.92 3/183 30601
/proc/meminfo: memFree=30491072/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=220660 CPUtime=135.92 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 27781 288238 0 0 756 269 12331 236 20 0 1 0 384276837 225955840 52220 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 55165 52220 181 442 0 54719 0
[pid=30600] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30600/stat : 30600 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384290471 9367552 267 33554432000 4194304 5064252 140734419658560 140734419657472 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30600/statm: 2287 267 226 213 0 72 0
[pid=30601] ppid=30600 vsize=509928 CPUtime=25.93 cores=1,3,5,7
/proc/30601/stat : 30601 (glucose) R 30600 30546 5861 0 -1 4202496 75841 0 0 0 2574 19 0 0 20 0 1 0 384290471 522166272 107060 33554432000 4194304 5208918 140737364524560 140737364522312 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30601/statm: 127482 107060 104 248 0 127231 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 748884
[startup+222.3 s]
/proc/loadavg: 2.03 1.93 1.92 3/183 30601
/proc/meminfo: memFree=30459552/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.93 3/183 30641
/proc/meminfo: memFree=29921360/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=1295260 CPUtime=1123.94 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 95779 0 0 0 112237 157 0 0 20 0 1 0 384300649 1326346240 234186 33554432000 4194304 5208918 140734575290768 140734575288616 4211580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 323815 234186 104 248 0 323564 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 1532720
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.93 3/183 30641
/proc/meminfo: memFree=30210700/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=731720 CPUtime=1183.93 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 96618 0 0 0 118229 164 0 0 20 0 1 0 384300649 749281280 168743 33554432000 4194304 5208918 140734575290768 140734575288856 4211712 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 182930 168743 104 248 0 182679 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 969180
[startup+1482.3 s]
/proc/loadavg: 2.08 2.00 1.94 3/183 30641
/proc/meminfo: memFree=29979972/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=947676 CPUtime=1243.91 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 97419 0 0 0 124222 169 0 0 20 0 1 0 384300649 970420224 215022 33554432000 4194304 5208918 140734575290768 140734575288616 4211584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 236919 215022 104 248 0 236668 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 1185136
[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 1.94 3/183 30641
/proc/meminfo: memFree=30313348/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=740984 CPUtime=1303.91 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 99706 0 0 0 130208 183 0 0 20 0 1 0 384300649 758767616 141803 33554432000 4194304 5208918 140734575290768 140734575288856 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 185246 141803 104 248 0 184995 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 978444
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 30641
/proc/meminfo: memFree=30266220/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=740984 CPUtime=1363.9 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 99717 0 0 0 136207 183 0 0 20 0 1 0 384300649 758767616 147063 33554432000 4194304 5208918 140734575290768 140734575288856 4211668 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 185246 147063 104 248 0 184995 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 978444
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/183 30642
/proc/meminfo: memFree=30235872/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=740984 CPUtime=1423.89 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 99722 0 0 0 142206 183 0 0 20 0 1 0 384300649 758767616 149623 33554432000 4194304 5208918 140734575290768 140734575288856 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 185246 149623 104 248 0 184995 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 978444
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/184 30645
/proc/meminfo: memFree=30214876/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=740984 CPUtime=1483.88 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 99756 0 0 0 148204 184 0 0 20 0 1 0 384300649 758767616 167031 33554432000 4194304 5208918 140734575290768 140734575288856 4211736 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 185246 167031 104 248 0 184995 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 978444
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 30645
/proc/meminfo: memFree=30331852/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=616036 CPUtime=1543.86 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 101293 0 0 0 154193 193 0 0 20 0 1 0 384300649 630820864 125541 33554432000 4194304 5208918 140734575290768 140734575288856 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 154009 125541 104 248 0 153758 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 853496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.92 1.99 1.94 2/174 30670
/proc/meminfo: memFree=30673420/32873648 swapFree=7376/7376
[pid=30546] ppid=30544 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30546/stat : 30546 (npSolver-pbo.sh) S 30544 30546 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384276836 9367552 275 33554432000 4194304 5064252 140735700657728 140735700656640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30546/statm: 2287 275 233 213 0 72 0
[pid=30547] ppid=30546 vsize=219164 CPUtime=237.68 cores=1,3,5,7
/proc/30547/stat : 30547 (npSolver-pbo) S 30546 30546 5861 0 -1 4202496 34083 375458 0 0 903 288 22269 308 20 0 1 0 384276837 224423936 46214 33554432000 4194304 6004724 140734776136800 140734776129152 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 35 0 0
/proc/30547/statm: 54791 46214 181 442 0 54345 0
[pid=30607] ppid=30547 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30607/stat : 30607 (satsolver.sh) S 30547 30546 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384300649 9367552 267 33554432000 4194304 5064252 140734286868944 140734286867856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30607/statm: 2287 267 226 213 0 72 0
[pid=30608] ppid=30607 vsize=616036 CPUtime=1562.38 cores=1,3,5,7
/proc/30608/stat : 30608 (glucose) R 30607 30546 5861 0 -1 4202496 101294 0 0 0 156044 194 0 0 20 0 1 0 384300649 630820864 126053 33554432000 4194304 5208918 140734575290768 140734575288856 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30608/statm: 154009 126053 104 248 0 153758 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 853496
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.09
CPU user time (s): 1792.18
CPU system time (s): 7.9178
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 1886492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.18
system time used= 7.9178
maximum resident set size= 1371208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511826
page faults= 0
swaps= 0
block input operations= 24
block output operations= 1601728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8397
involuntary context switches= 2716
runsolver used 3.2735 second user time and 7.84281 second system time
The end