2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-07-02	SAT (TO)	72	2400.09	2335.14
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (7635 MiB free)
  memory of node 1: 16384 MiB (10959 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291561-1532233612/watcher-4291561-1532233612 -o /tmp/evaluation-result-4291561-1532233612/solver-4291561-1532233612 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31076 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1469088874 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291561-1532233612.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32542, runsolver pid=32539

[startup+0.10059 s]*
/proc/loadavg: 2.00 1.62 1.47 3/215 32557
/proc/meminfo: memFree=19022604/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14082740 memory=33404 CPUtime=0.12 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 7313 0 0 0 11 1 0 0 20 0 15 0 40924381 14420725760 8351 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3520685 8351 3133 1 0 3482761 0
[pid=32542/tid=32544] ppid=32539 vsize=14082740 memory=-8557575366716331391 CPUtime=0.09 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 5370 0 0 0 9 0 0 0 20 0 15 0 40924381 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723805583760 139723782751802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924383 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723341980960 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723340928624 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 40924386 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0.01 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 40924386 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 8351 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33404 KiB

[startup+0.215003 s]*
/proc/loadavg: 2.00 1.62 1.47 4/215 32557
/proc/meminfo: memFree=19007672/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14082740 memory=47164 CPUtime=0.33 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 10419 0 0 0 31 2 0 0 20 0 15 0 40924381 14420725760 11791 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3520685 11791 3365 1 0 3482761 0
[pid=32542/tid=32544] ppid=32539 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 8123 0 0 0 19 1 0 0 20 0 15 0 40924381 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723805588624 139723801379997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14082740 memory=340 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14082740 memory=140318385618167 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40924383 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723341980960 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723340928624 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 40924386 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 40924386 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0.07 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) R 32539 32542 31044 0 -1 4202560 293 0 0 0 7 0 0 0 20 0 15 0 40924386 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723268929904 139723785438558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 11791 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47164 KiB

[startup+0.310443 s]*
/proc/loadavg: 2.00 1.62 1.47 3/215 32557
/proc/meminfo: memFree=19003628/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14082740 memory=50352 CPUtime=0.44 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 10742 0 0 0 42 2 0 0 20 0 15 0 40924381 14420725760 12588 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3520685 12588 3367 1 0 3482761 0
[pid=32542/tid=32544] ppid=32539 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 8431 0 0 0 28 1 0 0 20 0 15 0 40924381 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723805578992 139723801379997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14082740 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14082740 memory=140318385618111 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40924383 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723341980960 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40924384 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723340928624 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) R 32539 32542 31044 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 15 0 40924386 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723271034992 139723801370006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 40924386 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0.08 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 307 0 0 0 8 0 0 0 20 0 15 0 40924386 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14082740 memory=140318385395328 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924387 14420725760 12588 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50352 KiB

[startup+0.700722 s]
/proc/loadavg: 2.00 1.62 1.47 3/215 32557
/proc/meminfo: memFree=18979820/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14084808 memory=88916 CPUtime=1 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 17637 0 0 0 96 4 0 0 20 0 15 0 40924381 14422843392 22229 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3521202 22229 3498 1 0 3483273 0
[pid=32542/tid=32544] ppid=32539 vsize=14084808 memory=1836 CPUtime=0.68 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 14897 0 0 0 65 3 0 0 20 0 15 0 40924381 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723805582240 139723785438558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14084808 memory=12976 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14084808 memory=792 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14084808 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14084808 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14084808 memory=8372 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40924383 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14084808 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40924384 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723341980960 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14084808 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40924384 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723340928624 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14084808 memory=6297835844906604903 CPUtime=0.06 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 581 0 0 0 6 0 0 0 20 0 15 0 40924386 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14084808 memory=7597685182856913236 CPUtime=0.08 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 355 0 0 0 8 0 0 0 20 0 15 0 40924386 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14084808 memory=5788087943085183056 CPUtime=0.15 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 421 0 0 0 15 0 0 0 20 0 15 0 40924386 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924387 14422843392 22229 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88916 KiB

[startup+1.5007 s]
/proc/loadavg: 2.00 1.62 1.47 6/215 32557
/proc/meminfo: memFree=18921184/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14088904 memory=173900 CPUtime=3.23 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 26050 0 0 0 315 8 0 0 20 0 15 0 40924381 14427037696 43475 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3522226 43475 3552 1 0 3484297 0
[pid=32542/tid=32544] ppid=32539 vsize=14088904 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 20094 0 0 0 142 5 0 0 20 0 15 0 40924381 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723805593536 139723779802423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14088904 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14088904 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14088904 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40924382 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14088904 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40924382 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 15 0 40924383 14427037696 43475 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0

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

/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 393094 0 0 0 224000 115 0 0 20 0 15 0 40924381 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723805594896 139723433731423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14093000 memory=4174220 CPUtime=18.68 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 9124 0 0 0 1808 60 0 0 20 0 15 0 40924382 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14093000 memory=4174220 CPUtime=18.73 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 11486 0 0 0 1811 62 0 0 20 0 15 0 40924382 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14093000 memory=4174220 CPUtime=18.65 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 11441 0 0 0 1806 59 0 0 20 0 15 0 40924382 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14093000 memory=4173196 CPUtime=18.71 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 10839 0 0 0 1811 60 0 0 20 0 15 0 40924382 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14093000 memory=7161658427962975845 CPUtime=1.66 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 61487 0 0 0 142 24 0 0 20 0 15 0 40924383 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14093000 memory=4174220 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723341981024 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14093000 memory=4173196 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723340928640 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14093000 memory=4173196 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14093000 memory=4173196 CPUtime=2.56 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 16021 0 0 0 252 4 0 0 20 0 15 0 40924386 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14093000 memory=4173196 CPUtime=2.27 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 11538 0 0 0 224 3 0 0 20 0 15 0 40924386 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14093000 memory=4173196 CPUtime=1.24 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 15230 0 0 0 121 3 0 0 20 0 15 0 40924386 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14093000 memory=4173196 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14093000 memory=4140 CPUtime=1.33 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1471 0 0 0 60 73 0 0 20 0 15 0 40924387 14431232000 1043299 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 2325.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4173196 KiB

[startup+2322.3 s]
/proc/loadavg: 1.60 1.47 1.43 3/216 337
/proc/meminfo: memFree=15546152/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14093000 memory=4083352 CPUtime=2386.93 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 554747 0 0 0 238238 455 0 0 20 0 15 0 40924381 14431232000 1020838 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3523250 1020838 3622 1 0 3485321 0
[pid=32542/tid=32544] ppid=32539 vsize=14093000 memory=4083352 CPUtime=2300.5 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 400669 0 0 0 229934 116 0 0 20 0 15 0 40924381 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723805595024 139723428625095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14093000 memory=4123948 CPUtime=19.29 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 9325 0 0 0 1868 61 0 0 20 0 15 0 40924382 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14093000 memory=4080332 CPUtime=19.34 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 11914 0 0 0 1871 63 0 0 20 0 15 0 40924382 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14093000 memory=4056728 CPUtime=19.25 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 11546 0 0 0 1865 60 0 0 20 0 15 0 40924382 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14093000 memory=4056728 CPUtime=19.32 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 11099 0 0 0 1871 61 0 0 20 0 15 0 40924382 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14093000 memory=4083352 CPUtime=1.68 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 64105 0 0 0 144 24 0 0 20 0 15 0 40924383 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14093000 memory=4056728 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723341981024 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14093000 memory=4122920 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723340928640 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14093000 memory=4122920 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14093000 memory=4098296 CPUtime=2.56 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 16190 0 0 0 252 4 0 0 20 0 15 0 40924386 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14093000 memory=4098296 CPUtime=2.27 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 11707 0 0 0 224 3 0 0 20 0 15 0 40924386 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14093000 memory=4083352 CPUtime=1.24 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 15232 0 0 0 121 3 0 0 20 0 15 0 40924386 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14093000 memory=4056728 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14093000 memory=4083352 CPUtime=1.36 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1490 0 0 0 61 75 0 0 20 0 15 0 40924387 14431232000 1020838 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 2386.93 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4083352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2335.11 s]
/proc/loadavg: 1.62 1.48 1.43 3/216 337
/proc/meminfo: memFree=15404708/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2400.04 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 557718 0 0 0 239541 463 0 0 20 0 15 0 40924381 14431232000 1058390 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3523250 1058390 3622 1 0 3485321 0
[pid=32542/tid=32544] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2313.2 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 403450 0 0 0 231203 117 0 0 20 0 15 0 40924381 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723805595056 139723433747661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14093000 memory=1296 CPUtime=19.4 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 9355 0 0 0 1877 63 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14093000 memory=4083612 CPUtime=19.45 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 11943 0 0 0 1880 65 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14093000 memory=4083352 CPUtime=19.36 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 11573 0 0 0 1874 62 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14093000 memory=4123948 CPUtime=19.41 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 11128 0 0 0 1878 63 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14093000 memory=4083352 CPUtime=1.68 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 64178 0 0 0 144 24 0 0 20 0 15 0 40924383 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14093000 memory=4083352 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723341981024 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14093000 memory=4110236 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723340928640 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14093000 memory=4080332 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2.56 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 16190 0 0 0 252 4 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2.27 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 11707 0 0 0 224 3 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14093000 memory=4233560 CPUtime=1.24 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 15232 0 0 0 121 3 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14093000 memory=4056728 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14093000 memory=1796 CPUtime=1.37 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1492 0 0 0 62 75 0 0 20 0 15 0 40924387 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4233560 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2335.14 s]
# the end of solver process 32542 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.43 s, system=4.65386 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2335.11 s]
/proc/loadavg: 1.62 1.48 1.43 3/216 337
/proc/meminfo: memFree=15404708/32770624 swapFree=67108860/67108860
[pid=32542] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2400.04 cores=1,3,5,7
/proc/32542/stat : 32542 (java) S 32539 32542 31044 0 -1 1077944320 557718 0 0 0 239541 463 0 0 20 0 15 0 40924381 14431232000 1058390 33554432000 4194304 4196468 140723181903968 140723181886512 139723801358071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
/proc/32542/statm: 3523250 1058390 3622 1 0 3485321 0
[pid=32542/tid=32544] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2313.2 cores=1,3,5,7
/proc/32542/task/32544/stat : 32544 (java) R 32539 32542 31044 0 -1 4202560 403450 0 0 0 231203 117 0 0 20 0 15 0 40924381 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723805595056 139723433747661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32545] ppid=32539 vsize=14093000 memory=1296 CPUtime=19.4 cores=1,3,5,7
/proc/32542/task/32545/stat : 32545 (java) S 32539 32542 31044 0 -1 1077944384 9355 0 0 0 1877 63 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723753978256 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32546] ppid=32539 vsize=14093000 memory=4083612 CPUtime=19.45 cores=1,3,5,7
/proc/32542/task/32546/stat : 32546 (java) S 32539 32542 31044 0 -1 1077944384 11943 0 0 0 1880 65 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723752925456 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32547] ppid=32539 vsize=14093000 memory=4083352 CPUtime=19.36 cores=1,3,5,7
/proc/32542/task/32547/stat : 32547 (java) S 32539 32542 31044 0 -1 1077944384 11573 0 0 0 1874 62 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723751873168 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32548] ppid=32539 vsize=14093000 memory=4123948 CPUtime=19.41 cores=1,3,5,7
/proc/32542/task/32548/stat : 32548 (java) S 32539 32542 31044 0 -1 1077944384 11128 0 0 0 1878 63 0 0 20 0 15 0 40924382 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723750820368 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32549] ppid=32539 vsize=14093000 memory=4083352 CPUtime=1.68 cores=1,3,5,7
/proc/32542/task/32549/stat : 32549 (java) S 32539 32542 31044 0 -1 1077944384 64178 0 0 0 144 24 0 0 20 0 15 0 40924383 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723343034992 139723801369218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32550] ppid=32539 vsize=14093000 memory=4083352 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32550/stat : 32550 (java) S 32539 32542 31044 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723341981024 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32551] ppid=32539 vsize=14093000 memory=4110236 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32551/stat : 32551 (java) S 32539 32542 31044 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 40924384 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723340928640 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32552] ppid=32539 vsize=14093000 memory=4080332 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32552/stat : 32552 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723272088144 139723801376667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32553] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2.56 cores=1,3,5,7
/proc/32542/task/32553/stat : 32553 (java) S 32539 32542 31044 0 -1 1077944384 16190 0 0 0 252 4 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723271034992 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32554] ppid=32539 vsize=14093000 memory=4233560 CPUtime=2.27 cores=1,3,5,7
/proc/32542/task/32554/stat : 32554 (java) S 32539 32542 31044 0 -1 1077944384 11707 0 0 0 224 3 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723269982192 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32555] ppid=32539 vsize=14093000 memory=4233560 CPUtime=1.24 cores=1,3,5,7
/proc/32542/task/32555/stat : 32555 (java) S 32539 32542 31044 0 -1 1077944384 15232 0 0 0 121 3 0 0 20 0 15 0 40924386 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723268929904 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32556] ppid=32539 vsize=14093000 memory=4056728 CPUtime=0 cores=1,3,5,7
/proc/32542/task/32556/stat : 32556 (java) S 32539 32542 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40924387 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723267877344 139723801368277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
[pid=32542/tid=32557] ppid=32539 vsize=14093000 memory=1796 CPUtime=1.37 cores=1,3,5,7
/proc/32542/task/32557/stat : 32557 (java) S 32539 32542 31044 0 -1 1077944384 1492 0 0 0 62 75 0 0 20 0 15 0 40924387 14431232000 1058390 33554432000 4194304 4196468 140723181903968 139723266825136 139723801369218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 36204544 140723181913172 140723181913353 140723181913353 140723181916111 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4233560 KiB

Child status: 143
Real time (s): 2335.14
CPU time (s): 2400.09
CPU user time (s): 2395.43
CPU system time (s): 4.65386
CPU usage (%): 102.781
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4233560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.43
system time used= 4.65386
maximum resident set size= 4234060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557861
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83184
involuntary context switches= 2978


# summary of solver processes directly reported to runsolver:
#   pid: 32542
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2395.43
#   total CPU system time (s): 4.65386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8608 second user time and 21.8259 second system time

The end
Name	PseudoBoolean-opt/ Pb-circ6-3_c18.xml
MD5SUM	d3b486de415a0401f3261f3cd9b637d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	66
Best CPU time to get the best result obtained on this benchmark	2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	4476
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":540}]
Minimum variable degree	12
Maximum variable degree	76
Distribution of variable degrees	[{"degree":12,"count":12},{"degree":13,"count":60},{"degree":18,"count":12},{"degree":19,"count":12},{"degree":20,"count":54},{"degree":26,"count":30},{"degree":28,"count":120},{"degree":35,"count":30},{"degree":44,"count":30},{"degree":52,"count":30},{"degree":60,"count":30},{"degree":68,"count":30},{"degree":74,"count":30},{"degree":75,"count":30},{"degree":76,"count":30}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":630},{"arity":3,"count":1860},{"arity":4,"count":282},{"arity":5,"count":372},{"arity":6,"count":300},{"arity":7,"count":240},{"arity":8,"count":240},{"arity":9,"count":240},{"arity":10,"count":270},{"arity":20,"count":42}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":4476}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4291561

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
