2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT	7.1683698	2.9482801
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 (13989 MiB free)
  memory of node 1: 16384 MiB (8838 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274242-1502798772/watcher-4274242-1502798772 -o /tmp/evaluation-result-4274242-1502798772/solver-4274242-1502798772 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502790380-16248 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 209610321 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274242-1502798772.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17650, runsolver pid=17647


[startup+0.100061 s]*
/proc/loadavg: 1.71 1.67 1.69 3/216 17665
/proc/meminfo: memFree=23354044/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13980164 memory=33984 CPUtime=0.12 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 8399 0 0 0 11 1 0 0 20 0 15 0 112964998 14315687936 8496 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3495041 8496 3410 1 0 3482761 0
[pid=17650/tid=17652] ppid=17647 vsize=13980164 memory=-8557575366716329338 CPUtime=0.09 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 6354 0 0 0 8 1 0 0 20 0 15 0 112964999 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625814530112 139625794422110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625283670816 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625282618480 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) S 17647 17650 16217 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625280514672 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625279461872 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0.01 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) R 17647 17650 16217 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625278409584 139625810353558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 8496 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33984 KiB

[startup+0.213632 s]*
/proc/loadavg: 1.71 1.67 1.69 3/216 17665
/proc/meminfo: memFree=23346164/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13980164 memory=43060 CPUtime=0.31 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 9427 0 0 0 29 2 0 0 20 0 15 0 112964998 14315687936 10765 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3495041 10765 3609 1 0 3482761 0
[pid=17650/tid=17652] ppid=17647 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 7017 0 0 0 19 1 0 0 20 0 15 0 112964999 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625814562656 139625794422110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13980164 memory=140258495809268 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625283670816 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112965001 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625282618480 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) S 17647 17650 16217 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625280514672 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) R 17647 17650 16217 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625279461872 139625796404863 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0.05 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 396 0 0 0 5 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13980164 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14315687936 10765 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43060 KiB

[startup+0.310619 s]*
/proc/loadavg: 1.71 1.67 1.69 3/216 17665
/proc/meminfo: memFree=23339332/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13980184 memory=50860 CPUtime=0.49 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 10415 0 0 0 46 3 0 0 20 0 15 0 112964998 14315708416 12715 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3495046 12715 3724 1 0 3482761 0
[pid=17650/tid=17652] ppid=17647 vsize=13980184 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 7591 0 0 0 27 2 0 0 20 0 15 0 112964999 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625814565376 139625810353558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13980184 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13980184 memory=140258495809176 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112964999 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13980184 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112965001 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112965001 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625283670816 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112965001 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625282618480 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13980184 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) S 17647 17650 16217 0 -1 1077944384 693 0 0 0 4 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625280514672 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13980184 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) R 17647 17650 16217 0 -1 1077944384 277 0 0 0 5 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625279461872 139625810352770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13980184 memory=140258495792768 CPUtime=0.09 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) R 17647 17650 16217 0 -1 4202560 473 0 0 0 9 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625278409584 139625810362970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13980184 memory=140258495792768 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14315708416 12715 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50860 KiB

[startup+0.70072 s]
/proc/loadavg: 1.71 1.67 1.69 4/216 17665
/proc/meminfo: memFree=23326552/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13982232 memory=81120 CPUtime=1.44 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 13313 0 0 0 140 4 0 0 20 0 15 0 112964998 14317805568 20280 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3495558 20280 3770 1 0 3483273 0
[pid=17650/tid=17652] ppid=17647 vsize=13982232 memory=1732 CPUtime=0.68 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 8559 0 0 0 65 3 0 0 20 0 15 0 112964999 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625814563616 139625810363549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13982232 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13982232 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13982232 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112964999 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13982232 memory=5428 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112964999 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13982232 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112965001 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13982232 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112965001 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625283670816 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13982232 memory=13056 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112965001 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625282618480 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13982232 memory=792 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13982232 memory=6297835844906604903 CPUtime=0.21 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) R 17647 17650 16217 0 -1 4202560 1447 0 0 0 21 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625280514672 139625793868176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13982232 memory=7228392225404245094 CPUtime=0.2 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) S 17647 17650 16217 0 -1 1077944384 713 0 0 0 20 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625279461872 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13982232 memory=6935658124599644240 CPUtime=0.32 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 1213 0 0 0 32 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13982232 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14317805568 20280 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 81120 KiB

[startup+1.50367 s]
/proc/loadavg: 1.97 1.73 1.71 4/216 17665
/proc/meminfo: memFree=23183596/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13984280 memory=491740 CPUtime=3.22 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 16193 0 0 0 287 35 0 0 20 0 15 0 112964998 14319902720 122935 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3496070 122935 3803 1 0 3483785 0
[pid=17650/tid=17652] ppid=17647 vsize=13984280 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 10113 0 0 0 126 7 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625814577296 139625449094933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13984280 memory=-6951259422114956437 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 154 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13984280 memory=-6509546260019855295 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 134 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13984280 memory=-7390251449858225344 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 130 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13984280 memory=4134692831991786133 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 131 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13984280 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0

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

[startup+2.94823 s]
# the end of solver process 17650 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.30141 s, system=0.866962 s

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

[startup+1.60092 s]
/proc/loadavg: 1.97 1.73 1.71 4/216 17665
/proc/meminfo: memFree=23183596/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13984280 memory=491740 CPUtime=3.33 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 16203 0 0 0 298 35 0 0 20 0 15 0 112964998 14319902720 122935 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3496070 122935 3803 1 0 3483785 0
[pid=17650/tid=17652] ppid=17647 vsize=13984280 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 10113 0 0 0 135 7 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625814577296 139625449333867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13984280 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 154 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13984280 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 134 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13984280 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 130 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13984280 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 131 0 0 0 7 6 0 0 20 0 15 0 112964999 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13984280 memory=140258495794481 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13984280 memory=7738681060823231075 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625283670880 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13984280 memory=7597132098393106257 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625282618496 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13984280 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13984280 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) S 17647 17650 16217 0 -1 1077944384 1531 0 0 0 44 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625280514672 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13984280 memory=216094635844664 CPUtime=0.4 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) S 17647 17650 16217 0 -1 1077944384 911 0 0 0 40 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625279461872 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13984280 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 1514 0 0 0 46 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13984280 memory=-5921431000321636112 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13984280 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 122935 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 491740 KiB

[startup+2.40163 s]
/proc/loadavg: 1.97 1.73 1.71 3/216 17665
/proc/meminfo: memFree=22740824/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13984280 memory=1022440 CPUtime=5.33 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 22936 0 0 0 459 74 0 0 20 0 15 0 112964998 14319902720 255610 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3496070 255610 3823 1 0 3483785 0
[pid=17650/tid=17652] ppid=17647 vsize=13984280 memory=956 CPUtime=1.84 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) S 17647 17650 16217 0 -1 1077944384 10621 0 0 0 174 10 0 0 20 0 15 0 112964999 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625814575504 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13984280 memory=2344 CPUtime=0.5 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) R 17647 17650 16217 0 -1 4202560 530 0 0 0 36 14 0 0 20 0 15 0 112964999 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625406589840 139625791989173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13984280 memory=6791534058613427641 CPUtime=0.51 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) R 17647 17650 16217 0 -1 4202560 382 0 0 0 36 15 0 0 20 0 15 0 112964999 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625405537040 139625795365678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13984280 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) R 17647 17650 16217 0 -1 4202560 811 0 0 0 35 14 0 0 20 0 15 0 112964999 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625404484952 139625803441304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13984280 memory=-7088785026379990432 CPUtime=0.5 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) R 17647 17650 16217 0 -1 4202560 556 0 0 0 36 14 0 0 20 0 15 0 112964999 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625403431952 139625803441287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13984280 memory=-6873162000112450758 CPUtime=0.02 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 112965001 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625284723360 139625810351829 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13984280 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625283670880 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13984280 memory=-7673225154500992928 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625282618496 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13984280 memory=6944656425122700657 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13984280 memory=6944656592455360560 CPUtime=0.44 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) S 17647 17650 16217 0 -1 1077944384 1536 0 0 0 44 0 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625280514672 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13984280 memory=7449607337540608085 CPUtime=0.4 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) S 17647 17650 16217 0 -1 1077944384 914 0 0 0 40 0 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625279461872 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13984280 memory=7449607337540608085 CPUtime=0.54 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 5727 0 0 0 53 1 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13984280 memory=7449607337540608085 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13984280 memory=7449607337540608085 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 255610 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 1022440 KiB

[startup+2.80163 s]
/proc/loadavg: 1.97 1.73 1.71 3/216 17665
/proc/meminfo: memFree=22740824/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13984280 memory=1129124 CPUtime=6.76 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 24398 0 0 0 591 85 0 0 20 0 15 0 112964998 14319902720 282281 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3496070 282281 3830 1 0 3483785 0
[pid=17650/tid=17652] ppid=17647 vsize=13984280 memory=6791534058613427641 CPUtime=1.96 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 10667 0 0 0 186 10 0 0 20 0 15 0 112964999 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625814578496 139625450902701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13984280 memory=6656426053159447203 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 577 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13984280 memory=-9174445032661854264 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 455 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13984280 memory=7524853743509951193 CPUtime=0.76 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 885 0 0 0 59 17 0 0 20 0 15 0 112964999 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13984280 memory=664970774370811554 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 711 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13984280 memory=10 CPUtime=0.03 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 1241 0 0 0 3 0 0 0 20 0 15 0 112965001 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13984280 memory=7307210957732752850 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625283670880 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13984280 memory=10 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625282618496 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13984280 memory=2608 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13984280 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) R 17647 17650 16217 0 -1 4202560 1557 0 0 0 55 0 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625280514672 139625788745471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13984280 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) R 17647 17650 16217 0 -1 4202560 1169 0 0 0 50 0 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625279442888 139625790195174 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13984280 memory=8243122710528917583 CPUtime=0.56 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 5763 0 0 0 55 1 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13984280 memory=16182 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13984280 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282281 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 6.76 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 1129124 KiB

[startup+2.90158 s]
/proc/loadavg: 1.97 1.73 1.71 3/216 17665
/proc/meminfo: memFree=22740824/32770624 swapFree=67108860/67108860
[pid=17650] ppid=17647 vsize=13984280 memory=1130044 CPUtime=7.06 cores=0,2,4,6
/proc/17650/stat : 17650 (java) S 17647 17650 16217 0 -1 1077944320 24683 0 0 0 621 85 0 0 20 0 15 0 112964998 14319902720 282511 33554432000 4194304 4196468 140736314727840 140736314710384 139625810341623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
/proc/17650/statm: 3496070 282511 3831 1 0 3483785 0
[pid=17650/tid=17652] ppid=17647 vsize=13984280 memory=56 CPUtime=2.06 cores=0,2,4,6
/proc/17650/task/17652/stat : 17652 (java) R 17647 17650 16217 0 -1 4202560 10771 0 0 0 196 10 0 0 20 0 15 0 112964999 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625814576640 139625451064724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17653] ppid=17647 vsize=13984280 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17653/stat : 17653 (java) S 17647 17650 16217 0 -1 1077944384 577 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625406589840 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17654] ppid=17647 vsize=13984280 memory=280516796620608 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17654/stat : 17654 (java) S 17647 17650 16217 0 -1 1077944384 455 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625405537040 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17655] ppid=17647 vsize=13984280 memory=8257237230052613020 CPUtime=0.76 cores=0,2,4,6
/proc/17650/task/17655/stat : 17655 (java) S 17647 17650 16217 0 -1 1077944384 885 0 0 0 59 17 0 0 20 0 15 0 112964999 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625404484752 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17656] ppid=17647 vsize=13984280 memory=-7233780906022716832 CPUtime=0.77 cores=0,2,4,6
/proc/17650/task/17656/stat : 17656 (java) S 17647 17650 16217 0 -1 1077944384 711 0 0 0 60 17 0 0 20 0 15 0 112964999 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625403431952 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17657] ppid=17647 vsize=13984280 memory=-7173504570862900581 CPUtime=0.03 cores=0,2,4,6
/proc/17650/task/17657/stat : 17657 (java) S 17647 17650 16217 0 -1 1077944384 1241 0 0 0 3 0 0 0 20 0 15 0 112965001 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625284724848 139625810352770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17658] ppid=17647 vsize=13984280 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17658/stat : 17658 (java) S 17647 17650 16217 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625283670880 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17659] ppid=17647 vsize=13984280 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17659/stat : 17659 (java) S 17647 17650 16217 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 112965001 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625282618496 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17660] ppid=17647 vsize=13984280 memory=10656 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17660/stat : 17660 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625281566800 139625810360219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17661] ppid=17647 vsize=13984280 memory=1204 CPUtime=0.63 cores=0,2,4,6
/proc/17650/task/17661/stat : 17661 (java) R 17647 17650 16217 0 -1 4202560 1577 0 0 0 63 0 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625280514672 139625791041136 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17662] ppid=17647 vsize=13984280 memory=15872 CPUtime=0.6 cores=0,2,4,6
/proc/17650/task/17662/stat : 17662 (java) R 17647 17650 16217 0 -1 4202560 1313 0 0 0 60 0 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625279458240 139625788326193 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17663] ppid=17647 vsize=13984280 memory=16444 CPUtime=0.58 cores=0,2,4,6
/proc/17650/task/17663/stat : 17663 (java) S 17647 17650 16217 0 -1 1077944384 5780 0 0 0 57 1 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625278409584 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17664] ppid=17647 vsize=13984280 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17664/stat : 17664 (java) S 17647 17650 16217 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625277357024 139625810351829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
[pid=17650/tid=17665] ppid=17647 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17650/task/17665/stat : 17665 (java) S 17647 17650 16217 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112965004 14319902720 282511 33554432000 4194304 4196468 140736314727840 139625276303792 139625810352770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140736314733669 140736314733855 140736314733855 140736314736591 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 1130044 KiB

Child status: 0
Real time (s): 2.94828
CPU time (s): 7.16837
CPU user time (s): 6.30141
CPU system time (s): 0.866962
CPU usage (%): 243.138
Max. virtual memory (cumulated for all children) (KiB): 13984280
Max. memory (cumulated for all children) (KiB): 1130044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.30141
system time used= 0.866962
maximum resident set size= 1132288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2701
involuntary context switches= 43


# summary of solver processes directly reported to runsolver:
#   pid: 17650
#   total CPU time (s): 7.16837
#   total CPU user time (s): 6.30141
#   total CPU system time (s): 0.866962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041659 second user time and 0.066989 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4274242

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
