PB'11 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	15.7156	14.3912
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3455791-1307227245/watcher-3455791-1307227245 -o /tmp/evaluation-result-3455791-1307227245/solver-3455791-1307227245 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455791-1307227245.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 2/291 18787
/proc/meminfo: memFree=24867280/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 2 0 834325274 31272960 960 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 7635 960 732 9 0 386 0
[pid=18787/tid=18788] ppid=18785 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 1450 0 1 0 0 0 0 0 18 0 2 0 834325274 10681323520 2266 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222921471035 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.095107 s]
/proc/loadavg: 1.99 2.01 2.00 2/291 18787
/proc/meminfo: memFree=24867280/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10540244 CPUtime=0.1 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 12970 0 1 0 9 1 0 0 25 0 18 0 834325274 10793209856 12666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2635061 12667 2093 9 0 2625795 0
[pid=18787/tid=18788] ppid=18785 vsize=10540244 CPUtime=0.07 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 11069 0 1 0 7 0 0 0 25 0 18 0 834325274 10793209856 12667 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540244

[startup+0.101054 s]
/proc/loadavg: 1.99 2.01 2.00 2/291 18787
/proc/meminfo: memFree=24867280/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10540244 CPUtime=0.11 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 13076 0 1 0 10 1 0 0 25 0 18 0 834325274 10793209856 12772 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2635061 12773 2093 9 0 2625795 0
[pid=18787/tid=18788] ppid=18785 vsize=10540244 CPUtime=0.08 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 11176 0 1 0 8 0 0 0 25 0 18 0 834325274 10793209856 12774 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540244

[startup+0.300986 s]
/proc/loadavg: 1.99 2.01 2.00 2/291 18787
/proc/meminfo: memFree=24867280/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10541968 CPUtime=0.47 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 15499 0 1 0 45 2 0 0 25 0 18 0 834325274 10794975232 15026 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2635492 15026 2218 9 0 2626226 0
[pid=18787/tid=18788] ppid=18785 vsize=10541968 CPUtime=0.28 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 12842 0 1 0 27 1 0 0 25 0 18 0 834325274 10794975232 15026 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505576551 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541968

[startup+0.700946 s]
/proc/loadavg: 1.99 2.01 2.00 2/291 18787
/proc/meminfo: memFree=24867280/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=1.5 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 27462 0 1 0 146 4 0 0 25 0 19 0 834325274 10808733696 24615 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 24615 2231 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=0.68 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 17831 0 1 0 66 2 0 0 19 0 19 0 834325274 10808733696 24615 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505831487 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10555404

[startup+1.5008 s]
/proc/loadavg: 1.99 2.01 2.00 4/310 18806
/proc/meminfo: memFree=24766512/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=2.63 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 43799 0 1 0 257 6 0 0 25 0 19 0 834325274 10808733696 38783 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 38785 2235 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=1.47 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 31875 0 1 0 144 3 0 0 20 0 19 0 834325274 10808733696 38786 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505938885 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 38787 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 38787 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 38789 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 38790 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 38791 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 38792 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 38793 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 38794 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834325277 10808733696 38795 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 38795 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 38797 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 38798 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.56 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5400 0 0 0 55 1 0 0 16 0 19 0 834325279 10808733696 38798 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.57 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5365 0 0 0 56 1 0 0 16 0 19 0 834325279 10808733696 38800 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 38800 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 38801 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 38802 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10555404

[startup+3.10152 s]
/proc/loadavg: 1.99 2.01 2.00 3/310 18806
/proc/meminfo: memFree=24668676/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=4.3 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 65684 0 1 0 422 8 0 0 25 0 19 0 834325274 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 60666 2235 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=3.07 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 53753 0 1 0 302 5 0 0 18 0 19 0 834325274 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505856071 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834325277 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.63 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5404 0 0 0 62 1 0 0 16 0 19 0 834325279 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.57 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5365 0 0 0 56 1 0 0 15 0 19 0 834325279 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 60666 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10555404

[startup+6.30092 s]
/proc/loadavg: 1.99 2.01 2.00 3/310 18806
/proc/meminfo: memFree=24491664/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=7.55 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 119182 0 1 0 742 13 0 0 25 0 19 0 834325274 10808733696 114037 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 114038 2237 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=6.28 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 107131 0 1 0 617 11 0 0 21 0 19 0 834325274 10808733696 114038 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505831487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 114039 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 114040 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 114040 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 114041 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 114041 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 114042 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 114042 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 114042 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834325277 10808733696 114042 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 114043 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 114043 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 114043 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.68 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5524 0 0 0 67 1 0 0 15 0 19 0 834325279 10808733696 114043 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.57 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5365 0 0 0 56 1 0 0 15 0 19 0 834325279 10808733696 114044 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0

################
# More data... #
################

/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 257199 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 257200 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 257200 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 257200 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 257201 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 257201 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 257201 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834325277 10808733696 257201 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 257202 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 257202 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 257203 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.68 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5525 0 0 0 67 1 0 0 16 0 19 0 834325279 10808733696 257203 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.63 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5374 0 0 0 62 1 0 0 15 0 19 0 834325279 10808733696 257204 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 257204 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 257204 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 257205 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.01
Current children cumulated vsize (KiB) 10555404

Solver just ended. Dumping a history of the last processes samples

[startup+13.5006 s]
/proc/loadavg: 1.99 2.01 2.00 3/310 18806
/proc/meminfo: memFree=23813172/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=14.8 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 277454 0 1 0 1449 31 0 0 25 0 19 0 834325274 10808733696 272309 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 272310 2238 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=13.47 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 265393 0 1 0 1319 28 0 0 25 0 19 0 834325274 10808733696 272310 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505596202 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 272311 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 272311 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 272312 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 272313 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 272313 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 272314 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 272314 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 272315 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834325277 10808733696 272315 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 272316 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 272316 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 272317 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.68 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5525 0 0 0 67 1 0 0 16 0 19 0 834325279 10808733696 272317 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.63 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5374 0 0 0 62 1 0 0 15 0 19 0 834325279 10808733696 272318 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 272318 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 272319 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 272319 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 10555404

[startup+13.9015 s]
/proc/loadavg: 1.99 2.01 2.00 3/310 18806
/proc/meminfo: memFree=23813172/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=15.21 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 284964 0 1 0 1489 32 0 0 25 0 19 0 834325274 10808733696 279819 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 279820 2238 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=13.87 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 272903 0 1 0 1358 29 0 0 25 0 19 0 834325274 10808733696 279820 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505831487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 279820 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 279820 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 279821 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 279821 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 279821 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 279821 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 279822 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 279822 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834325277 10808733696 279823 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 279823 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 279823 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 279823 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.68 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5525 0 0 0 67 1 0 0 16 0 19 0 834325279 10808733696 279824 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.63 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5374 0 0 0 62 1 0 0 15 0 19 0 834325279 10808733696 279824 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 279824 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 279825 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 279825 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.21
Current children cumulated vsize (KiB) 10555404

[startup+14.3105 s]
/proc/loadavg: 1.99 2.01 2.00 3/310 18806
/proc/meminfo: memFree=23730712/32951124 swapFree=55664332/67111528
[pid=18787] ppid=18785 vsize=10555404 CPUtime=15.62 cores=1,3,5,7
/proc/18787/stat : 18787 (java) S 18785 18787 17036 0 -1 4202496 292930 0 1 0 1529 33 0 0 25 0 19 0 834325274 10808733696 287784 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18787/statm: 2638851 287785 2238 9 0 2629585 0
[pid=18787/tid=18788] ppid=18785 vsize=10555404 CPUtime=14.28 cores=1,3,5,7
/proc/18787/task/18788/stat : 18788 (java) R 18785 18787 17036 0 -1 4202560 280868 0 1 0 1398 30 0 0 25 0 19 0 834325274 10808733696 287785 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 46912505914255 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18787/tid=18790] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18790/stat : 18790 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 834325276 10808733696 287786 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18791] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18791/stat : 18791 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 287786 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18792] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18792/stat : 18792 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 287787 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18793] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18793/stat : 18793 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 287787 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18794] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18794/stat : 18794 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 287787 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18795] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18795/stat : 18795 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 834325276 10808733696 287788 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18796] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18796/stat : 18796 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 287788 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 5 0 0 0
[pid=18787/tid=18797] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18797/stat : 18797 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 834325276 10808733696 287788 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
[pid=18787/tid=18798] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18798/stat : 18798 (java) S 18785 18787 17036 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834325277 10808733696 287789 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 0 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18799] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18799/stat : 18799 (java) S 18785 18787 17036 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 834325277 10808733696 287789 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18800] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18800/stat : 18800 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 834325277 10808733696 287789 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18801] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18801/stat : 18801 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 834325279 10808733696 287790 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933600689 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18802] ppid=18785 vsize=10555404 CPUtime=0.69 cores=1,3,5,7
/proc/18787/task/18802/stat : 18802 (java) S 18785 18787 17036 0 -1 4202560 5526 0 0 0 68 1 0 0 15 0 19 0 834325279 10808733696 287790 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18803] ppid=18785 vsize=10555404 CPUtime=0.63 cores=1,3,5,7
/proc/18787/task/18803/stat : 18803 (java) S 18785 18787 17036 0 -1 4202560 5374 0 0 0 62 1 0 0 15 0 19 0 834325279 10808733696 287790 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18804] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18804/stat : 18804 (java) S 18785 18787 17036 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 834325279 10808733696 287791 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933592985 0 4 0 16800975 18446604469852677312 0 0 -1 3 0 0 0
[pid=18787/tid=18805] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18805/stat : 18805 (java) S 18785 18787 17036 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834325279 10808733696 287791 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 1 0 0 0
[pid=18787/tid=18806] ppid=18785 vsize=10555404 CPUtime=0 cores=1,3,5,7
/proc/18787/task/18806/stat : 18806 (java) S 18785 18787 17036 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834325327 10808733696 287791 33554432000 1073741824 1073778376 140734226903200 18446744073709551615 222933593600 0 4 0 16800975 18446604469852677312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.62
Current children cumulated vsize (KiB) 10555404

Child status: 10
Real time (s): 14.3912
CPU time (s): 15.7156
CPU user time (s): 15.3337
CPU system time (s): 0.381941
CPU usage (%): 109.203
Max. virtual memory (cumulated for all children) (KiB): 10555404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3337
system time used= 0.381941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293573
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 586
involuntary context switches= 40

runsolver used 0.039993 second user time and 0.098984 second system time

The end
Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb
MD5SUM	aef8bab64cc2dcfbe1beaaaf4a02d676
Bench Category	DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	10.0655
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved	NO
Number of variables	1000
Total number of constraints	1502
Number of constraints which are clauses	500
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	1001
Minimum length of a constraint	2
Maximum length of a constraint	1000
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	80
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	1000
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	12540
Sum of products size (including duplicates)	25080
Number of different products	6270
Sum of products size	12540
Trace number 3455791

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
