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-3698222-1338067385/watcher-3698222-1338067385 -o /tmp/evaluation-result-3698222-1338067385/solver-3698222-1338067385 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698222-1338067385.opb 2095800919 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.96 1.98 1.99 2/178 3759
/proc/meminfo: memFree=20937512/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[startup+0.0610091 s]
/proc/loadavg: 1.96 1.98 1.99 2/178 3759
/proc/meminfo: memFree=20937512/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100325 s]
/proc/loadavg: 1.96 1.98 1.99 2/178 3759
/proc/meminfo: memFree=20937512/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300136 s]
/proc/loadavg: 1.96 1.98 1.99 2/178 3759
/proc/meminfo: memFree=20937512/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700178 s]
/proc/loadavg: 1.96 1.98 1.99 2/178 3759
/proc/meminfo: memFree=20937512/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 3765
/proc/meminfo: memFree=20912828/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23368 CPUtime=0.29 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 5941 2507 0 0 14 1 14 0 20 0 1 0 272863982 23928832 5475 33554432000 4194304 5992684 140734198396656 140734198382920 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5842 5475 175 440 0 5398 0
[pid=3765] ppid=3760 vsize=7764 CPUtime=1.17 cores=0,2,4,6
/proc/3765/stat : 3765 (glucosInc) R 3760 3759 1914 0 -1 4202496 1471 0 0 0 117 0 0 0 20 0 1 0 272864014 7950336 1009 33554432000 4194304 5654031 140735152086272 140735152084152 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 1941 1009 137 357 0 1581 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40280
[startup+3.10026 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 3765
/proc/meminfo: memFree=20910844/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23368 CPUtime=0.29 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 5941 2507 0 0 14 1 14 0 20 0 1 0 272863982 23928832 5475 33554432000 4194304 5992684 140734198396656 140734198382920 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5842 5475 175 440 0 5398 0
[pid=3765] ppid=3760 vsize=9512 CPUtime=2.77 cores=0,2,4,6
/proc/3765/stat : 3765 (glucosInc) R 3760 3759 1914 0 -1 4202496 2086 0 0 0 277 0 0 0 20 0 1 0 272864014 9740288 1603 33554432000 4194304 5654031 140735152086272 140735152074088 4215104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3765/statm: 2378 1603 137 357 0 2018 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42028
[startup+6.30025 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20908736/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6147 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=10708 CPUtime=2.77 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 2630 0 0 0 277 0 0 0 20 0 1 0 272864334 10964992 2037 33554432000 4194304 5654031 140736219725312 140736219723192 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 2677 2037 140 357 0 2317 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43612
Solver just ended. Dumping a history of the last processes samples
[startup+9.50025 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20907372/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6147 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=10708 CPUtime=5.97 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 2715 0 0 0 597 0 0 0 20 0 1 0 272864334 10964992 2120 33554432000 4194304 5654031 140736219725312 140736219723192 4232803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 2677 2120 140 357 0 2317 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 43612
[startup+10.3003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20907380/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6147 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=13636 CPUtime=6.77 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 3118 0 0 0 677 0 0 0 20 0 1 0 272864334 13963264 2519 33554432000 4194304 5654031 140736219725312 140736219723192 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 3409 2519 140 357 0 3049 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 46540
[startup+10.7002 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20907380/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6147 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=13636 CPUtime=7.17 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 3118 0 0 0 717 0 0 0 20 0 1 0 272864334 13963264 2519 33554432000 4194304 5654031 140736219725312 140736219723192 4232912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 3409 2519 140 357 0 3049 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 46540
[startup+11.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20905396/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6147 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=13636 CPUtime=7.57 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 3118 0 0 0 757 0 0 0 20 0 1 0 272864334 13963264 2519 33554432000 4194304 5654031 140736219725312 140736219723192 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 3409 2519 140 357 0 3049 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 46540
[startup+11.2003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 3768
/proc/meminfo: memFree=20905396/32873844 swapFree=7384/7384
[pid=3759] ppid=3757 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3759/stat : 3759 (npSolver-pbo-It) S 3757 3759 1914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272863982 9367552 275 33554432000 4194304 5064252 140737140647664 140737140646576 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3759/statm: 2287 275 233 213 0 72 0
[pid=3760] ppid=3759 vsize=23756 CPUtime=3.5 cores=0,2,4,6
/proc/3760/stat : 3760 (npSolver-pbo) S 3759 3759 1914 0 -1 4202496 6225 5643 0 0 15 2 332 1 20 0 1 0 272863982 24326144 5543 33554432000 4194304 5992684 140734198396656 140734198382488 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3760/statm: 5939 5543 185 440 0 5495 0
[pid=3768] ppid=3760 vsize=13644 CPUtime=7.67 cores=0,2,4,6
/proc/3768/stat : 3768 (glucosInc) R 3760 3759 1914 0 -1 4202496 3130 0 0 0 767 0 0 0 20 0 1 0 272864334 13971456 2531 33554432000 4194304 5654031 140736219725312 140736219723624 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3768/statm: 3411 2531 150 357 0 3051 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 46548
Child status: 0
Real time (s): 11.2785
CPU time (s): 11.2743
CPU user time (s): 11.2303
CPU system time (s): 0.043993
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 46548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2303
system time used= 0.043993
maximum resident set size= 22616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46
involuntary context switches= 41
runsolver used 0.010998 second user time and 0.074988 second system time
The end