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

Solver Name	Answer	objective function	CPU time	Wall clock time
borg pb-opt-11.04.03	OPT	5	93.8917	91.6924
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-3482089-1307577249/watcher-3482089-1307577249 -o /tmp/evaluation-result-3482089-1307577249/solver-3482089-1307577249 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482089-1307577249.opb -seed 819548245 -budget 1800 

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.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 1047 0 0 0 0 0 0 0 17 0 1 0 869327740 16629760 918 33554432000 4194304 5683644 140736905151280 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 4060 918 381 364 0 547 0

[startup+0.105817 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 3169 928 1 0 6 1 0 0 18 0 1 0 869327740 98430976 2483 33554432000 4194304 5683644 140736905151280 18446744073709551615 5170896 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124

[startup+0.200791 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 5357 928 1 0 11 3 0 0 17 0 1 0 869327740 126709760 3744 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370953221 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740

[startup+0.300809 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=195524 CPUtime=0.21 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 6588 928 1 0 16 5 0 0 17 0 1 0 869327740 200216576 4878 33554432000 4194304 5683644 140736905151280 18446744073709551615 218371000455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 195524

[startup+0.700697 s]
/proc/loadavg: 1.98 1.90 1.17 2/565 27473
/proc/meminfo: memFree=20548844/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=288308 CPUtime=0.58 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 10667 928 1 0 50 8 0 0 17 0 1 0 869327740 295227392 8412 33554432000 4194304 5683644 140736905151280 18446744073709551615 4619873 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27473/statm: 72077 8412 1781 364 0 6970 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 288308

[startup+1.50056 s]
/proc/loadavg: 1.98 1.90 1.17 3/566 27478
/proc/meminfo: memFree=20513940/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=294820 CPUtime=1.38 cores=1,3,5,7
/proc/27473/stat : 27473 (python) R 27471 27473 26377 0 -1 4202496 14880 928 1 0 130 8 0 0 18 0 1 0 869327740 301895680 10060 33554432000 4194304 5683644 140736905151280 18446744073709551615 4662462 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/27473/statm: 73705 10060 1816 364 0 8598 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 294820

[startup+3.10128 s]
/proc/loadavg: 1.98 1.90 1.17 3/586 27498
/proc/meminfo: memFree=20438328/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 869327920 301920256 8610 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 14675046357211775238 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8610 351 364 0 8598 0
[pid=27481] ppid=27479 vsize=8550096 CPUtime=2.36 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 49478 0 1 0 230 6 0 0 18 0 19 0 869327921 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2137524 44085 2242 9 0 2128265 0
[pid=27481/tid=27482] ppid=27479 vsize=8550096 CPUtime=1.27 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 35253 0 1 0 123 4 0 0 20 0 19 0 869327921 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505887149 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) S 27479 27481 27481 0 -1 4202560 355 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) S 27479 27481 27481 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) S 27479 27481 27481 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) S 27479 27481 27481 0 -1 4202560 212 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) S 27479 27481 27481 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 0 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) S 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) S 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 869327923 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8550096 CPUtime=0.51 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) S 27479 27481 27481 0 -1 4202560 5210 0 0 0 51 0 0 0 21 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8550096 CPUtime=0.54 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) S 27479 27481 27481 0 -1 4202560 6323 0 0 0 54 0 0 0 22 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327925 8755298304 44085 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27473/tid=27480] ppid=27471 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 2 0 869327921 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 9150028

[startup+6.30171 s]
/proc/loadavg: 1.98 1.90 1.17 3/587 27499
/proc/meminfo: memFree=20188444/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0.01 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 926 0 0 0 0 1 0 0 16 0 1 0 869327920 301920256 8634 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 14675038798069334278 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8634 375 364 0 8598 0
[pid=27481] ppid=27479 vsize=8550096 CPUtime=5.83 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 91234 0 1 0 572 11 0 0 18 0 19 0 869327921 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2137524 82592 2242 9 0 2128265 0
[pid=27481/tid=27482] ppid=27479 vsize=8550096 CPUtime=4.44 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 68888 0 1 0 436 8 0 0 25 0 19 0 869327921 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505887058 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 857 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 531 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 923 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8550096 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 933 0 0 0 1 0 0 0 16 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) S 27479 27481 27481 0 -1 4202560 1557 0 0 0 0 0 0 0 16 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) S 27479 27481 27481 0 -1 4202560 669 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) S 27479 27481 27481 0 -1 4202560 534 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) S 27479 27481 27481 0 -1 4202560 683 0 0 0 0 0 0 0 15 0 19 0 869327922 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) S 27479 27481 27481 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 0 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) S 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) S 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 869327923 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8550096 CPUtime=0.7 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) S 27479 27481 27481 0 -1 4202560 7751 0 0 0 69 1 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8550096 CPUtime=0.59 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) S 27479 27481 27481 0 -1 4202560 6356 0 0 0 59 0 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) S 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869327925 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8550096 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) S 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869327982 8755298304 82592 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27473/tid=27480] ppid=27471 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 2 0 869327921 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9150028

[startup+12.7016 s]
/proc/loadavg: 1.98 1.90 1.18 3/591 27503
/proc/meminfo: memFree=20014088/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=305088 CPUtime=1.68 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 15189 928 1 0 160 8 0 0 20 0 2 0 869327740 312410112 10135 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/27473/statm: 76272 10135 1872 364 0 11159 0
[pid=27479] ppid=27473 vsize=294844 CPUtime=0.03 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 930 0 0 0 1 2 0 0 15 0 1 0 869327920 301920256 8634 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977295 0 0 16781312 33554946 432045131265212416 0 0 17 5 0 0 0
/proc/27479/statm: 73711 8634 375 364 0 8598 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=12.43 cores=1,3,5,7
/proc/27481/stat : 27481 (java) S 27479 27481 27481 0 -1 4202496 94722 0 1 0 1231 12 0 0 18 0 19 0 869327921 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 82337 2244 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=10.8 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) R 27479 27481 27481 0 -1 4202560 68903 0 1 0 1072 8 0 0 25 0 19 0 869327921 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 46912505716813 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) S 27479 27481 27481 0 -1 4202560 1369 0 0 0 1 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) S 27479 27481 27481 0 -1 4202560 809 0 0 0 0 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) S 27479 27481 27481 0 -1 4202560 1139 0 0 0 0 0 0 0 16 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 7 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) S 27479 27481 27481 0 -1 4202560 1516 0 0 0 1 0 0 0 15 0 19 0 869327922 8745406464 82337 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446604464396363584 0 0 -1 5 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.01 cores=1,3,5,7

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

[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.13 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 963 0 0 0 6 7 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 1024654857522380800 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=40.95 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36805 0 0 0 3995 100 0 0 25 0 1 0 869332684 148979712 33384 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33384 798 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 92.53
Current children cumulated vsize (KiB) 9611456

[startup+91.2017 s]
/proc/loadavg: 2.27 2.00 1.27 3/587 27567
/proc/meminfo: memFree=19610540/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=315344 CPUtime=1.71 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 16053 928 1 0 162 9 0 0 20 0 3 0 869327740 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/27473/statm: 78836 10142 1875 364 0 13720 0
[pid=27479] ppid=27473 vsize=305088 CPUtime=0.16 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 1116 0 0 0 6 10 0 0 16 0 2 0 869327920 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27479/statm: 76272 8670 406 364 0 11159 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=49.58 cores=1,3,5,7
/proc/27481/stat : 27481 (java) T 27479 27481 27481 0 -1 4202496 123677 0 1 0 4938 20 0 0 18 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 103075 2247 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=47.17 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) T 27479 27481 27481 0 -1 4202560 87154 0 1 0 4705 12 0 0 25 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) T 27479 27481 27481 0 -1 4202560 2486 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) T 27479 27481 27481 0 -1 4202560 1986 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.15 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 968 0 0 0 7 8 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 4294934789 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=41.75 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36808 0 0 0 4073 102 0 0 18 0 1 0 869332684 148979712 33387 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33387 800 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.35
Current children cumulated vsize (KiB) 9611456

[startup+91.6016 s]
/proc/loadavg: 2.27 2.00 1.27 3/587 27567
/proc/meminfo: memFree=19609680/32951124 swapFree=49244124/67111528
[pid=27473] ppid=27471 vsize=315344 CPUtime=1.71 cores=1,3,5,7
/proc/27473/stat : 27473 (python) S 27471 27473 26377 0 -1 4202496 16053 928 1 0 162 9 0 0 20 0 3 0 869327740 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/27473/statm: 78836 10142 1875 364 0 13720 0
[pid=27479] ppid=27473 vsize=305088 CPUtime=0.16 cores=1,3,5,7
/proc/27479/stat : 27479 (python) S 27473 27473 26377 0 -1 4202560 1116 0 0 0 6 10 0 0 16 0 2 0 869327920 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/27479/statm: 76272 8670 406 364 0 11159 0
[pid=27481] ppid=27479 vsize=8540436 CPUtime=49.58 cores=1,3,5,7
/proc/27481/stat : 27481 (java) T 27479 27481 27481 0 -1 4202496 123677 0 1 0 4938 20 0 0 18 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27481/statm: 2135109 103075 2247 9 0 2125850 0
[pid=27481/tid=27482] ppid=27479 vsize=8540436 CPUtime=47.17 cores=1,3,5,7
/proc/27481/task/27482/stat : 27482 (java) T 27479 27481 27481 0 -1 4202560 87154 0 1 0 4705 12 0 0 25 0 19 0 869327921 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27483] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27483/stat : 27483 (java) T 27479 27481 27481 0 -1 4202560 2486 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27484] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27484/stat : 27484 (java) T 27479 27481 27481 0 -1 4202560 1986 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27485] ppid=27479 vsize=8540436 CPUtime=0.06 cores=1,3,5,7
/proc/27481/task/27485/stat : 27485 (java) T 27479 27481 27481 0 -1 4202560 2156 0 0 0 6 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27486] ppid=27479 vsize=8540436 CPUtime=0.11 cores=1,3,5,7
/proc/27481/task/27486/stat : 27486 (java) T 27479 27481 27481 0 -1 4202560 3517 0 0 0 11 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 47744204645538 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27487] ppid=27479 vsize=8540436 CPUtime=0.07 cores=1,3,5,7
/proc/27481/task/27487/stat : 27487 (java) T 27479 27481 27481 0 -1 4202560 3150 0 0 0 7 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27488] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27488/stat : 27488 (java) T 27479 27481 27481 0 -1 4202560 2476 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27489] ppid=27479 vsize=8540436 CPUtime=0.09 cores=1,3,5,7
/proc/27481/task/27489/stat : 27489 (java) T 27479 27481 27481 0 -1 4202560 2816 0 0 0 9 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27490] ppid=27479 vsize=8540436 CPUtime=0.08 cores=1,3,5,7
/proc/27481/task/27490/stat : 27490 (java) T 27479 27481 27481 0 -1 4202560 2232 0 0 0 8 0 0 0 15 0 19 0 869327922 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218370910519 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=27481/tid=27491] ppid=27479 vsize=8540436 CPUtime=0.02 cores=1,3,5,7
/proc/27481/task/27491/stat : 27491 (java) T 27479 27481 27481 0 -1 4202560 169 0 0 0 1 1 0 0 15 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27492] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27492/stat : 27492 (java) T 27479 27481 27481 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27493] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27493/stat : 27493 (java) T 27479 27481 27481 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869327923 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27494] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27494/stat : 27494 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382780849 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27495] ppid=27479 vsize=8540436 CPUtime=0.83 cores=1,3,5,7
/proc/27481/task/27495/stat : 27495 (java) T 27479 27481 27481 0 -1 4202560 7762 0 0 0 82 1 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=27481/tid=27496] ppid=27479 vsize=8540436 CPUtime=0.78 cores=1,3,5,7
/proc/27481/task/27496/stat : 27496 (java) T 27479 27481 27481 0 -1 4202560 6376 0 0 0 78 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27497] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27497/stat : 27497 (java) T 27479 27481 27481 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773145 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27481/tid=27498] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27498/stat : 27498 (java) T 27479 27481 27481 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869327925 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=27481/tid=27499] ppid=27479 vsize=8540436 CPUtime=0 cores=1,3,5,7
/proc/27481/task/27499/stat : 27499 (java) T 27479 27481 27481 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869327982 8745406464 103075 33554432000 1073741824 1073778376 140735217049008 18446744073709551615 218382773760 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=27479/tid=27505] ppid=27473 vsize=305088 CPUtime=0 cores=1,3,5,7
/proc/27479/task/27505/stat : 27505 (python) S 27473 27473 26377 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869332681 312410112 8670 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554946 18446604462068685888 0 0 -1 5 0 0 0
[pid=27506] ppid=27473 vsize=305100 CPUtime=0.15 cores=1,3,5,7
/proc/27506/stat : 27506 (python) S 27473 27473 26377 0 -1 4202560 968 0 0 0 7 8 0 0 15 0 1 0 869332684 312422400 8635 33554432000 4194304 5683644 140736905151280 18446744073709551615 218370977350 0 0 16781312 33554946 3828010759292452864 0 0 17 1 0 0 0
/proc/27506/statm: 76275 8635 372 364 0 11159 0
[pid=27508] ppid=27506 vsize=145488 CPUtime=42.15 cores=1,3,5,7
/proc/27508/stat : 27508 (scip-2.0.1.linu) R 27506 27508 27508 0 -1 4202496 36810 0 0 0 4112 103 0 0 18 0 1 0 869332684 148979712 33389 33554432000 4194304 13684479 140734139719472 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/27508/statm: 36372 33389 802 2317 0 34050 0
[pid=27473/tid=27480] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (python) S 27471 27473 26377 0 -1 4202560 32 928 0 0 0 0 0 0 20 0 3 0 869327921 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 7 0 0 0
[pid=27473/tid=27507] ppid=27471 vsize=315344 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27507/stat : 27507 (python) S 27471 27473 26377 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 869332684 322912256 10142 33554432000 4194304 5683644 140736905151280 18446744073709551615 218382780849 0 0 16781312 33554434 18446604455521925184 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 93.75
Current children cumulated vsize (KiB) 9611456

Child status: 0
Real time (s): 91.6924
CPU time (s): 93.8917
CPU user time (s): 92.335
CPU system time (s): 1.55676
CPU usage (%): 102.399
Max. virtual memory (cumulated for all children) (KiB): 9611456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.335
system time used= 1.55676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185674
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6510
involuntary context switches= 3245

runsolver used 0.383941 second user time and 0.927858 second system time

The end
Name	normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM	6560abb26f607ef952ebe1a74dd5dae1
Bench Category	OPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	5
Best CPU time to get the best result obtained on this benchmark	16.6255
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	YES
Number of variables	1009
Total number of constraints	3773
Number of constraints which are clauses	3773
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	446
Number of terms in the objective function	1009
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1009
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1009
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0
Trace number 3482089

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
