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-3749728-1339171997/watcher-3749728-1339171997 -o /tmp/evaluation-result-3749728-1339171997/solver-3749728-1339171997 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749728-1339171997.opb 859888014 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: 2.00 2.00 2.00 3/172 10448
/proc/meminfo: memFree=31542736/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[startup+0.0425949 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 10448
/proc/meminfo: memFree=31542736/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 10448
/proc/meminfo: memFree=31542736/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 10448
/proc/meminfo: memFree=31542736/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/172 10448
/proc/meminfo: memFree=31542736/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31481064/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=13760 CPUtime=0.94 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 3666 0 0 0 94 0 0 0 20 0 1 0 383325820 14090240 2882 33554432000 4194304 5208918 140733861238240 140733861236264 4212883 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 3440 2882 104 248 0 3189 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 48696
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31480052/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=14400 CPUtime=2.54 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 4770 0 0 0 254 0 0 0 20 0 1 0 383325820 14745600 3248 33554432000 4194304 5208918 140733861238240 140733861236392 4229062 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 3600 3248 105 248 0 3349 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 49336
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31459144/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=28628 CPUtime=5.74 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 6543 0 0 0 573 1 0 0 20 0 1 0 383325820 29315072 6457 33554432000 4194304 5208918 140733861238240 140733861234616 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 7157 6457 105 248 0 6906 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 63564
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31445972/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=44656 CPUtime=12.14 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 7236 0 0 0 1213 1 0 0 20 0 1 0 383325820 45727744 8559 33554432000 4194304 5208918 140733861238240 140733861236184 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 11164 8559 105 248 0 10913 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 79592
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31401252/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=44656 CPUtime=24.94 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 8454 0 0 0 2492 2 0 0 20 0 1 0 383325820 45727744 10823 33554432000 4194304 5208918 140733861238240 140733861236328 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 11164 10823 105 248 0 10913 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 79592
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31357996/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=73928 CPUtime=50.53 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 8705 0 0 0 5050 3 0 0 20 0 1 0 383325820 75702272 18113 33554432000 4194304 5208918 140733861238240 140733861233928 4212432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 18482 18113 105 248 0 18231 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 108864
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31306460/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=85808 CPUtime=101.73 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 10583 0 0 0 10166 7 0 0 20 0 1 0 383325820 87867392 21083 33554432000 4194304 5208918 140733861238240 140733861234616 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 21452 21083 105 248 0 21201 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 120744
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10474
/proc/meminfo: memFree=31217408/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.08 2.08 2.02 3/183 10485
/proc/meminfo: memFree=30955652/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=315500 CPUtime=1421.45 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 48883 0 0 0 142052 93 0 0 20 0 1 0 383325820 323072000 77271 33554432000 4194304 5208918 140733861238240 140733861234616 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 78875 77271 105 248 0 78624 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 350436
[startup+1482.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/183 10485
/proc/meminfo: memFree=30957300/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=234112 CPUtime=1481.42 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 50918 0 0 0 148043 99 0 0 20 0 1 0 383325820 239730688 51671 33554432000 4194304 5208918 140733861238240 140733861234552 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 58528 51671 105 248 0 58277 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 269048
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 10485
/proc/meminfo: memFree=30975904/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=315500 CPUtime=1541.42 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 51474 0 0 0 154041 101 0 0 20 0 1 0 383325820 323072000 74199 33554432000 4194304 5208918 140733861238240 140733861234616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 78875 74199 105 248 0 78624 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 350436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/183 10485
/proc/meminfo: memFree=30993252/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=184024 CPUtime=1601.4 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 52705 0 0 0 160033 107 0 0 20 0 1 0 383325820 188440576 43178 33554432000 4194304 5208918 140733861238240 140733861234616 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 46006 43178 105 248 0 45755 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 218960
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 10488
/proc/meminfo: memFree=31020896/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=315500 CPUtime=1661.39 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 54083 0 0 0 166029 110 0 0 20 0 1 0 383325820 323072000 67543 33554432000 4194304 5208918 140733861238240 140733861234616 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 78875 67543 105 248 0 78624 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 350436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10488
/proc/meminfo: memFree=30823872/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=447760 CPUtime=1721.38 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 54587 0 0 0 172025 113 0 0 20 0 1 0 383325820 458506240 87976 33554432000 4194304 5208918 140733861238240 140733861234616 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 111940 87976 105 248 0 111689 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 482696
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 10489
/proc/meminfo: memFree=31088200/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=234112 CPUtime=1781.36 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 56156 0 0 0 178018 118 0 0 20 0 1 0 383325820 239730688 57303 33554432000 4194304 5208918 140733861238240 140733861234616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 58528 57303 105 248 0 58277 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 269048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 10489
/proc/meminfo: memFree=31018724/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=315500 CPUtime=1799.55 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 56699 0 0 0 179836 119 0 0 20 0 1 0 383325820 323072000 64471 33554432000 4194304 5208918 140733861238240 140733861234616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 78875 64471 105 248 0 78624 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 350436
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 10489
/proc/meminfo: memFree=31018724/32873844 swapFree=7380/7380
[pid=10448] ppid=10445 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10448/stat : 10448 (npSolver-pbo.sh) S 10445 10448 10289 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383325766 9367552 275 33554432000 4194304 5064252 140736429529168 140736429528080 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10448/statm: 2287 275 233 213 0 72 0
[pid=10449] ppid=10448 vsize=16640 CPUtime=0.51 cores=1,3,5,7
/proc/10449/stat : 10449 (npSolver-pbo) S 10448 10448 10289 0 -1 4202496 6108 6793 0 0 14 1 35 1 20 0 1 0 383325766 17039360 3688 33554432000 4194304 6004724 140734983220720 140734983215856 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10449/statm: 4160 3688 148 442 0 3714 0
[pid=10473] ppid=10449 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10473/stat : 10473 (satsolver.sh) S 10449 10448 10289 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 383325820 9367552 267 33554432000 4194304 5064252 140734303668736 140734303667648 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10473/statm: 2287 267 226 213 0 72 0
[pid=10474] ppid=10473 vsize=315500 CPUtime=1799.55 cores=1,3,5,7
/proc/10474/stat : 10474 (glucose) R 10473 10448 10289 0 -1 4202496 56699 0 0 0 179836 119 0 0 20 0 1 0 383325820 323072000 64471 33554432000 4194304 5208918 140733861238240 140733861234616 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10474/statm: 78875 64471 105 248 0 78624 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 350436
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1798.88
CPU system time (s): 1.23781
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 532016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.23781
maximum resident set size= 407588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190
involuntary context switches= 1863
runsolver used 6.6 second user time and 19.779 second system time
The end