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-3735166-1338722876/watcher-3735166-1338722876 -o /tmp/evaluation-result-3735166-1338722876/solver-3735166-1338722876 -C 1800 -W 1900 -M 15500 pbclasp instance-3735166-1338722876.opb HOME/temp
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.08 2.02 1.99 3/178 18728
/proc/meminfo: memFree=28908724/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) R 18726 18728 22179 0 -1 4202496 552 0 0 0 0 0 0 0 20 0 1 0 338413280 26206208 482 33554432000 4194304 4198148 140734453109440 140734453106888 214394616024 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6398 483 355 1 0 193 0
[startup+0.0296729 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 18728
/proc/meminfo: memFree=28908724/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.100269 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 18728
/proc/meminfo: memFree=28908724/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.300226 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 18728
/proc/meminfo: memFree=28908724/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.700228 s]
/proc/loadavg: 2.08 2.02 1.99 3/178 18728
/proc/meminfo: memFree=28908724/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+1.5003 s]
/proc/loadavg: 2.08 2.02 1.99 3/181 18731
/proc/meminfo: memFree=28906096/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
[pid=18730] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18730/stat : 18730 (sh) S 18728 18728 22179 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 338413281 9367552 266 33554432000 4194304 5064252 140734746686272 140734746685152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18730/statm: 2287 266 226 213 0 72 0
[pid=18731] ppid=18730 vsize=25592 CPUtime=1.48 cores=1,3,5,7
/proc/18731/stat : 18731 (pb2clasp1) R 18730 18728 22179 0 -1 4202496 602 0 0 0 148 0 0 0 20 0 1 0 338413282 26206208 511 33554432000 4194304 4198148 140734063304560 140734063303544 214373033200 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/18731/statm: 6398 511 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60744
[startup+3.1003 s]
/proc/loadavg: 2.08 2.02 1.99 3/181 18731
/proc/meminfo: memFree=28904732/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=0 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 691 0 0 0 0 0 0 0 20 0 1 0 338413280 26628096 603 33554432000 4194304 4198148 140734453109440 140734453108328 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 603 369 1 0 296 0
[pid=18730] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18730/stat : 18730 (sh) S 18728 18728 22179 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 338413281 9367552 266 33554432000 4194304 5064252 140734746686272 140734746685152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18730/statm: 2287 266 226 213 0 72 0
[pid=18731] ppid=18730 vsize=25592 CPUtime=3.07 cores=1,3,5,7
/proc/18731/stat : 18731 (pb2clasp1) R 18730 18728 22179 0 -1 4202496 602 0 0 0 307 0 0 0 20 0 1 0 338413282 26206208 511 33554432000 4194304 4198148 140734063304560 140734063295096 214373033200 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/18731/statm: 6398 511 378 1 0 193 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 60744
[startup+6.30033 s]
/proc/loadavg: 2.07 2.02 1.99 3/179 18733
/proc/meminfo: memFree=28899880/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 26004
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.99 3/181 18738
/proc/meminfo: memFree=28844732/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=52132 CPUtime=7.27 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 12849 0 0 0 725 2 0 0 20 0 1 0 338413822 53383168 12446 33554432000 134512640 134847168 4288333360 4288332092 134740921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 13033 12446 272 82 0 12274 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 87284
[startup+25.5005 s]
/proc/loadavg: 2.05 2.01 1.99 3/181 18739
/proc/meminfo: memFree=28845100/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=52132 CPUtime=20.07 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 12850 0 0 0 2005 2 0 0 20 0 1 0 338413822 53383168 12447 33554432000 134512640 134847168 4288333360 4288331740 1207039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 13033 12447 272 82 0 12274 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87284
[startup+51.1004 s]
/proc/loadavg: 2.19 2.04 2.01 3/181 18739
/proc/meminfo: memFree=28844948/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=52132 CPUtime=45.66 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 12865 0 0 0 4564 2 0 0 20 0 1 0 338413822 53383168 12451 33554432000 134512640 134847168 4288333360 4288332116 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 13033 12451 272 82 0 12274 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 87284
[startup+102.307 s]
/proc/loadavg: 2.13 2.05 2.01 3/181 18739
/proc/meminfo: memFree=28841896/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=53328 CPUtime=96.86 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 13195 0 0 0 9684 2 0 0 20 0 1 0 338413822 54607872 12774 33554432000 134512640 134847168 4288333360 4288332044 134715812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 13332 12774 272 82 0 12573 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88480
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 18742
/proc/meminfo: memFree=28832264/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=59596 CPUtime=156.83 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 14708 0 0 0 15681 2 0 0 20 0 1 0 338413822 61026304 14338 33554432000 134512640 134847168 4288333360 4288331936 134714691 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 14899 14338 272 82 0 14140 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 94748
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 18742
/proc/meminfo: memFree=28824452/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18736/stat : 18736 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338413822 9367552 264 33554432000 4194304 5064252 140734659583728 140734659581984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18736/statm: 2287 264 223 213 0 72 0
[pid=18738] ppid=18736 vsize=61848 CPUtime=216.82 cores=1,3,5,7
/proc/18738/stat : 18738 (clasp-1.0) R 18736 18728 22179 0 -1 4202496 15245 0 0 0 21680 2 0 0 20 0 1 0 338413822 63332352 14875 33554432000 134512640 134847168 4288333360 4288332044 134715812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18738/statm: 15462 14875 272 82 0 14703 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 97000
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 18742
/proc/meminfo: memFree=28819860/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=5.39 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 769 2091 0 0 0 0 536 3 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18736] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=65032 CPUtime=400.22 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 16040 0 0 0 40018 4 0 0 20 0 1 0 338515479 66592768 15714 33554432000 134512640 134847168 4287606688 4287605264 134714130 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 16258 15714 270 82 0 15499 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 100184
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18941
/proc/meminfo: memFree=28190564/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=65032 CPUtime=460.21 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 16065 0 0 0 46017 4 0 0 20 0 1 0 338515479 66592768 15739 33554432000 134512640 134847168 4287606688 4287605372 134715880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 16258 15739 270 82 0 15499 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 100184
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 18957
/proc/meminfo: memFree=28188988/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=66252 CPUtime=520.2 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 16336 0 0 0 52016 4 0 0 20 0 1 0 338515479 67842048 16010 33554432000 134512640 134847168 4287606688 4287605372 134715864 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 16563 16010 270 82 0 15804 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 101404
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 18974
/proc/meminfo: memFree=28175068/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=68284 CPUtime=580.18 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 16833 0 0 0 58014 4 0 0 20 0 1 0 338515479 69922816 16512 33554432000 134512640 134847168 4287606688 4287605456 134737597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 17071 16512 270 82 0 16312 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 103436
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 18990
/proc/meminfo: memFree=28627984/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=69032 CPUtime=640.18 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 17002 0 0 0 64013 5 0 0 20 0 1 0 338515479 70688768 16681 33554432000 134512640 134847168 4287606688 4287605444 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 17258 16681 270 82 0 16499 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 104184
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 18998
/proc/meminfo: memFree=28184476/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=69032 CPUtime=700.17 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 17002 0 0 0 70012 5 0 0 20 0 1 0 338515479 70688768 16681 33554432000 134512640 134847168 4287606688 4287605264 134714247 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 17258 16681 270 82 0 16499 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 104184
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 18998
/proc/meminfo: memFree=28182644/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=71052 CPUtime=760.16 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 17470 0 0 0 76011 5 0 0 20 0 1 0 338515479 72757248 17149 33554432000 134512640 134847168 4287606688 4287605372 134715803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 17763 17149 270 82 0 17004 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 106204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 18998
/proc/meminfo: memFree=28182240/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1021.79 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 867 22545 0 0 0 0 102170 9 20 0 1 0 338413280 26628096 621 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18728/statm: 6501 621 387 1 0 296 0
[pid=18766] ppid=18728 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18766/stat : 18766 (sh) S 18728 18728 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338515479 9367552 264 33554432000 4194304 5064252 140735401443088 140735401441344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18766/statm: 2287 264 223 213 0 72 0
[pid=18768] ppid=18766 vsize=71868 CPUtime=778.27 cores=1,3,5,7
/proc/18768/stat : 18768 (clasp-1.0) R 18766 18728 22179 0 -1 4202496 17621 0 0 0 77822 5 0 0 20 0 1 0 338515479 73592832 17300 33554432000 134512640 134847168 4287606688 4287605444 134737608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18768/statm: 17967 17300 270 82 0 17208 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 107020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18728
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 2.00 4/184 19017
/proc/meminfo: memFree=28798384/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1800.1 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 1026 42931 0 0 0 0 179993 17 20 0 1 0 338413280 26628096 624 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18728/statm: 6501 624 387 1 0 296 0
[pid=19007] ppid=18728 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/19007/stat : 19007 (sh) S 18728 18728 22179 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 338593324 9367552 264 33554432000 4194304 5064252 140737295456528 140737295454784 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19007/statm: 2287 264 223 213 0 72 0
[pid=19009] ppid=19007 vsize=52132 CPUtime=0.95 cores=1,3,5,7
/proc/19009/stat : 19009 (clasp-1.0) R 19007 18728 22179 0 -1 4202496 12847 0 0 0 93 2 0 0 20 0 1 0 338593324 53383168 12443 33554432000 134512640 134847168 4288357248 4288355824 134714247 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19009/statm: 13033 12443 270 82 0 12274 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 87284
[startup+1802.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 19017
/proc/meminfo: memFree=28705012/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1800.1 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 1026 42931 0 0 0 0 179993 17 20 0 1 0 338413280 26628096 624 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18728/statm: 6501 624 387 1 0 296 0
[pid=19007] ppid=18728 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/19007/stat : 19007 (sh) S 18728 18728 22179 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 338593324 9367552 264 33554432000 4194304 5064252 140737295456528 140737295454784 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19007/statm: 2287 264 223 213 0 72 0
[pid=19009] ppid=19007 vsize=52132 CPUtime=1.75 cores=1,3,5,7
/proc/19009/stat : 19009 (clasp-1.0) R 19007 18728 22179 0 -1 4202496 12848 0 0 0 173 2 0 0 20 0 1 0 338593324 53383168 12444 33554432000 134512640 134847168 4288357248 4288355932 134715812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19009/statm: 13033 12444 270 82 0 12274 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 87284
[startup+1802.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 19017
/proc/meminfo: memFree=28705012/32873844 swapFree=7632/7632
[pid=18728] ppid=18726 vsize=26004 CPUtime=1800.1 cores=1,3,5,7
/proc/18728/stat : 18728 (pbclasp) S 18726 18728 22179 0 -1 4202496 1026 42931 0 0 0 0 179993 17 20 0 1 0 338413280 26628096 624 33554432000 4194304 4198148 140734453109440 140734453108368 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18728/statm: 6501 624 387 1 0 296 0
[pid=19007] ppid=18728 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/19007/stat : 19007 (sh) S 18728 18728 22179 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 338593324 9367552 264 33554432000 4194304 5064252 140737295456528 140737295454784 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19007/statm: 2287 264 223 213 0 72 0
[pid=19009] ppid=19007 vsize=52132 CPUtime=1.95 cores=1,3,5,7
/proc/19009/stat : 19009 (clasp-1.0) R 19007 18728 22179 0 -1 4202496 12848 0 0 0 193 2 0 0 20 0 1 0 338593324 53383168 12444 33554432000 134512640 134847168 4288357248 4288355932 134715962 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/19009/statm: 13033 12444 270 82 0 12274 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 87284
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1801.89
CPU system time (s): 0.222966
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 110676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.89
system time used= 0.222966
maximum resident set size= 73292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4819
involuntary context switches= 1929
runsolver used 3.24951 second user time and 8.66968 second system time
The end