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-3701710-1338123068/watcher-3701710-1338123068 -o /tmp/evaluation-result-3701710-1338123068/solver-3701710-1338123068 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701710-1338123068.opb 1333647630 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: 1.02 1.25 1.62 3/175 21200
/proc/meminfo: memFree=29580804/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[startup+0.095713 s]
/proc/loadavg: 1.02 1.25 1.62 3/175 21200
/proc/meminfo: memFree=29580804/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100159 s]
/proc/loadavg: 1.02 1.25 1.62 3/175 21200
/proc/meminfo: memFree=29580804/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300221 s]
/proc/loadavg: 1.02 1.25 1.62 3/175 21200
/proc/meminfo: memFree=29580804/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 1.02 1.25 1.62 3/175 21200
/proc/meminfo: memFree=29580804/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 1.02 1.25 1.62 4/179 21204
/proc/meminfo: memFree=29568004/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=13528 CPUtime=1.49 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) R 21200 21200 21157 0 -1 4202496 2795 0 0 0 148 1 0 0 20 0 1 0 278434239 13852672 2808 33554432000 4194304 5992684 140736019431872 140736019427992 5179600 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21202/statm: 3382 2808 146 440 0 2938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22676
[startup+3.10025 s]
/proc/loadavg: 1.02 1.25 1.62 4/179 21204
/proc/meminfo: memFree=29553740/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=49768 CPUtime=3.08 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) R 21200 21200 21157 0 -1 4202496 10238 0 0 0 306 2 0 0 20 0 1 0 278434239 50962432 11780 33554432000 4194304 5992684 140736019431872 140736019427992 4222725 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21202/statm: 12442 11780 159 440 0 11998 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58916
[startup+6.3002 s]
/proc/loadavg: 1.18 1.27 1.62 4/179 21204
/proc/meminfo: memFree=29063536/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=565564 CPUtime=6.29 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) R 21200 21200 21157 0 -1 4202496 30128 0 0 0 586 43 0 0 20 0 1 0 278434239 579137536 126596 33554432000 4194304 5992684 140736019431872 140736019426840 5182699 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21202/statm: 141391 126596 168 440 0 140947 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 574712
[startup+12.7004 s]
/proc/loadavg: 1.33 1.30 1.63 4/183 21208
/proc/meminfo: memFree=26647660/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=362848 CPUtime=6.32 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 30135 0 0 0 586 46 0 0 20 0 1 0 278434239 371556352 75923 33554432000 4194304 5992684 140736019431872 140736019425904 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21202/statm: 90712 75923 174 440 0 90268 0
[pid=21205] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21205/stat : 21205 (cp2_pre.sh) S 21202 21200 21157 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 278434872 9367552 276 33554432000 4194304 5064252 140735851318096 140735851316800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21205/statm: 2287 276 234 213 0 72 0
[pid=21206] ppid=21205 vsize=1072956 CPUtime=6.34 cores=0,2,4,6
/proc/21206/stat : 21206 (coprocessor) R 21205 21200 21157 0 -1 4202496 89200 0 0 0 606 28 0 0 20 0 1 0 278434873 1098706944 263040 33554432000 4194304 6586260 140736205894400 140736205890552 4789248 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21206/statm: 268239 263040 170 584 0 267651 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1454100
[startup+25.5004 s]
/proc/loadavg: 1.70 1.39 1.65 4/183 21214
/proc/meminfo: memFree=27847972/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=362848 CPUtime=20.95 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 30146 107108 0 0 586 47 1400 62 20 0 1 0 278434239 371556352 75923 33554432000 4194304 5992684 140736019431872 140736019426992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21202/statm: 90712 75923 174 440 0 90268 0
[pid=21213] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21213/stat : 21213 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278436338 9367552 266 33554432000 4194304 5064252 140735542030208 140735542029120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21213/statm: 2287 266 226 213 0 72 0
[pid=21214] ppid=21213 vsize=515872 CPUtime=4.48 cores=0,2,4,6
/proc/21214/stat : 21214 (glucose) R 21213 21200 21157 0 -1 4202496 76819 0 0 0 431 17 0 0 20 0 1 0 278436339 528252928 116189 33554432000 4194304 5208918 140733726355568 140733726353320 4211620 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21214/statm: 128968 116189 94 248 0 128717 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 897016
[startup+51.1003 s]
/proc/loadavg: 1.80 1.43 1.66 4/181 21218
/proc/meminfo: memFree=28242700/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=50.92 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) R 21200 21200 21157 0 -1 4202496 38047 195113 0 0 733 268 3999 92 20 0 1 0 278434239 402010112 83348 33554432000 4194304 5992684 140736019431872 140736019426056 5179696 0 0 4096 0 0 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83348 180 440 0 97703 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 401736
[startup+102.3 s]
/proc/loadavg: 1.91 1.52 1.67 4/183 21221
/proc/meminfo: memFree=27694884/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=582924 CPUtime=46.94 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 77403 0 0 0 4677 17 0 0 20 0 1 0 278439772 596914176 123383 33554432000 4194304 5208918 140735360825584 140735360821320 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 145731 123383 104 248 0 145480 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 993808
[startup+162.3 s]
/proc/loadavg: 2.03 1.62 1.70 4/183 21221
/proc/meminfo: memFree=27700956/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=582924 CPUtime=106.93 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 78110 0 0 0 10674 19 0 0 20 0 1 0 278439772 596914176 121699 33554432000 4194304 5208918 140735360825584 140735360821960 4212442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 145731 121699 105 248 0 145480 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 993808
[startup+222.3 s]
/proc/loadavg: 2.01 1.69 1.71 4/183 21222
/proc/meminfo: memFree=27684448/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=582924 CPUtime=166.92 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 78118 0 0 0 16673 19 0 0 20 0 1 0 278439772 596914176 125795 33554432000 4194304 5208918 140735360825584 140735360821960 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 145731 125795 105 248 0 145480 0
Current children cumulated CPU time (s) 222.06
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.89 4/183 21254
/proc/meminfo: memFree=27605104/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=595164 CPUtime=1306.72 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 85133 0 0 0 130629 43 0 0 20 0 1 0 278439772 609447936 135659 33554432000 4194304 5208918 140735360825584 140735360823432 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 148791 135659 105 248 0 148540 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1006048
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/183 21255
/proc/meminfo: memFree=27616284/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=598220 CPUtime=1366.7 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 86101 0 0 0 136624 46 0 0 20 0 1 0 278439772 612577280 132098 33554432000 4194304 5208918 140735360825584 140735360821960 4214138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 149555 132098 105 248 0 149304 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1009104
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.90 4/183 21255
/proc/meminfo: memFree=27596312/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=679608 CPUtime=1426.7 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 86274 0 0 0 142622 48 0 0 20 0 1 0 278439772 695918592 136869 33554432000 4194304 5208918 140735360825584 140735360821960 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 169902 136869 105 248 0 169651 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1090492
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/183 21255
/proc/meminfo: memFree=27594384/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=598220 CPUtime=1486.69 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 86563 0 0 0 148618 51 0 0 20 0 1 0 278439772 612577280 134163 33554432000 4194304 5208918 140735360825584 140735360821960 4229273 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 149555 134163 105 248 0 149304 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1009104
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/183 21255
/proc/meminfo: memFree=27576772/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=680296 CPUtime=1546.68 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 86914 0 0 0 154616 52 0 0 20 0 1 0 278439772 696623104 138601 33554432000 4194304 5208918 140735360825584 140735360823432 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 170074 138601 105 248 0 169823 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1091180
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/183 21255
/proc/meminfo: memFree=27589636/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=599048 CPUtime=1606.67 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 87244 0 0 0 160612 55 0 0 20 0 1 0 278439772 613425152 134915 33554432000 4194304 5208918 140735360825584 140735360821960 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 149762 134915 105 248 0 149511 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1009932
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/182 21255
/proc/meminfo: memFree=27565636/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=681116 CPUtime=1666.66 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 87609 0 0 0 166610 56 0 0 20 0 1 0 278439772 697462784 139876 33554432000 4194304 5208918 140735360825584 140735360823432 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 170279 139876 105 248 0 170028 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1092000
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/184 21259
/proc/meminfo: memFree=27584264/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=600124 CPUtime=1726.66 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 87949 0 0 0 172607 59 0 0 20 0 1 0 278439772 614526976 135176 33554432000 4194304 5208918 140735360825584 140735360823432 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 150031 135176 105 248 0 149780 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1011008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 21283
/proc/meminfo: memFree=28486808/32873648 swapFree=7116/7116
[pid=21200] ppid=21198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21200/stat : 21200 (npSolver-pbo.sh) S 21198 21200 21157 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278434238 9367552 274 33554432000 4194304 5064252 140736643493600 140736643492512 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21200/statm: 2287 274 233 213 0 72 0
[pid=21202] ppid=21200 vsize=392588 CPUtime=55.14 cores=0,2,4,6
/proc/21202/stat : 21202 (npSolver-pbo) S 21200 21200 21157 0 -1 4202496 42175 195629 0 0 813 595 3999 107 20 0 1 0 278434239 402010112 83351 33554432000 4194304 5992684 140736019431872 140736019424192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/21202/statm: 98147 83351 183 440 0 97703 0
[pid=21220] ppid=21202 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21220/stat : 21220 (satsolver.sh) S 21202 21200 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278439771 9367552 267 33554432000 4194304 5064252 140737223489232 140737223488144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21220/statm: 2287 267 226 213 0 72 0
[pid=21221] ppid=21220 vsize=600124 CPUtime=1744.95 cores=0,2,4,6
/proc/21221/stat : 21221 (glucose) R 21220 21200 21157 0 -1 4202496 87980 0 0 0 174436 59 0 0 20 0 1 0 278439772 614526976 136909 33554432000 4194304 5208918 140735360825584 140735360821960 4229244 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21221/statm: 150031 136909 105 248 0 149780 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1011008
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.62
CPU time (s): 1800.15
CPU user time (s): 1792.5
CPU system time (s): 7.64984
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 1602968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.5
system time used= 7.64984
maximum resident set size= 1248948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1046576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3473
involuntary context switches= 2553
runsolver used 2.97855 second user time and 8.50371 second system time
The end