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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20	SAT	64.2947	19.0945
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 (6618 MiB free)
  memory of node 1: 16384 MiB (4262 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403459-1568991563/watcher-4403459-1568991563 -o /var/tmp/evaluation-result-4403459-1568991563/solver-4403459-1568991563 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 321073838 HOME/instance-4403459-1568991563.xml 

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

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
solver pid=4753, runsolver pid=4750
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.12 4.42 2.46 7/233 4769
/proc/meminfo: memFree=11125984/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15144776 memory=29384 CPUtime=0.13 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 5808 0 0 0 11 2 0 0 20 0 15 0 475070138 15508250624 7346 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3786194 7346 3143 1 0 3748377 0
[pid=4755/tid=4756] ppid=4753 vsize=15144776 memory=7757069512147702619 CPUtime=0.09 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) R 4753 4753 3634 0 -1 4202560 3718 0 0 0 8 1 0 0 20 0 15 0 475070139 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885727813088 139885723602326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885056820128 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885055767536 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885053663728 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) S 4753 4753 3634 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885052611184 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0.02 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) R 4753 4753 3634 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885051554400 139885709601360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 7412 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30836 KiB

[startup+0.210714 s]*
/proc/loadavg: 8.12 4.42 2.46 7/233 4769
/proc/meminfo: memFree=11112632/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15144776 memory=40988 CPUtime=0.34 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 9454 0 0 0 30 4 0 0 20 0 15 0 475070138 15508250624 10247 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3786194 10247 3299 1 0 3748377 0
[pid=4755/tid=4756] ppid=4753 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) R 4753 4753 3634 0 -1 4202560 6642 0 0 0 17 3 0 0 20 0 15 0 475070139 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885727825376 139885707670878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15144776 memory=3905381375291598496 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475070139 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885056820128 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475070141 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885055767536 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 570 0 0 0 1 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885053663728 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) S 4753 4753 3634 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885052611184 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15144776 memory=140166805759616 CPUtime=0.08 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) R 4753 4753 3634 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885051558640 139885723611738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070144 15508250624 10247 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42440 KiB

[startup+0.310597 s]*
/proc/loadavg: 8.12 4.42 2.46 7/233 4769
/proc/meminfo: memFree=11105724/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15149032 memory=49976 CPUtime=0.54 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 10836 0 0 0 49 5 0 0 20 0 15 0 475070138 15512608768 12494 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3787258 12494 3344 1 0 3748377 0
[pid=4755/tid=4756] ppid=4753 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) R 4753 4753 3634 0 -1 4202560 7846 0 0 0 26 3 0 0 20 0 15 0 475070139 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885727827408 139885707670878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475070139 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475070141 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475070141 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885056820128 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475070141 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885055767536 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15149032 memory=8325818968683490714 CPUtime=0.03 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 581 0 0 0 3 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885053663728 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) S 4753 4753 3634 0 -1 1077944384 301 0 0 0 5 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885052611184 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) S 4753 4753 3634 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070144 15512608768 12494 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB

[startup+0.701334 s]
/proc/loadavg: 8.12 4.42 2.46 12/233 4769
/proc/meminfo: memFree=11085172/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15151156 memory=95388 CPUtime=1.76 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 14561 0 0 0 169 7 0 0 20 0 15 0 475070138 15514783744 23847 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3787789 23847 3446 1 0 3748889 0
[pid=4755/tid=4756] ppid=4753 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) R 4753 4753 3634 0 -1 4202560 8622 0 0 0 63 4 0 0 20 0 15 0 475070139 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885727807824 139885707670908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15151156 memory=55772 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070139 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475070139 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475070141 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475070141 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885056820128 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475070141 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885055767536 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15151156 memory=6024 CPUtime=0.31 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 1477 0 0 0 31 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885053663728 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15151156 memory=11416 CPUtime=0.35 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) R 4753 4753 3634 0 -1 4202560 1263 0 0 0 35 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885052597152 139885708715671 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15151156 memory=780 CPUtime=0.38 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) S 4753 4753 3634 0 -1 1077944384 1890 0 0 0 38 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475070144 15514783744 23847 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96840 KiB

[startup+1.50076 s]
/proc/loadavg: 8.12 4.42 2.46 6/233 4769
/proc/meminfo: memFree=10913828/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0

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

/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15417412 memory=2828 CPUtime=2.03 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 6540 0 0 0 201 2 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885053663728 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15417412 memory=1228 CPUtime=2.43 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) S 4753 4753 3634 0 -1 1077944384 7973 0 0 0 242 1 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885052611184 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15417412 memory=14008 CPUtime=0.58 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) S 4753 4753 3634 0 -1 1077944384 2702 0 0 0 57 1 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15417412 memory=6162876 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4770] ppid=4753 vsize=15417412 memory=6162724 CPUtime=4.29 cores=1,3,5,7
/proc/4755/task/4770/stat : 4770 (java) R 4753 4753 3634 0 -1 4202560 792 0 0 0 429 0 0 0 20 0 19 0 475071467 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885040233464 139885363922136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4771] ppid=4753 vsize=15417412 memory=12040 CPUtime=4.09 cores=1,3,5,7
/proc/4755/task/4771/stat : 4771 (java) R 4753 4753 3634 0 -1 4202560 586 0 0 0 409 0 0 0 20 0 19 0 475071468 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885039182328 139885363921472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4772] ppid=4753 vsize=15417412 memory=2124 CPUtime=4.08 cores=1,3,5,7
/proc/4755/task/4772/stat : 4772 (java) R 4753 4753 3634 0 -1 4202560 1103 0 0 0 408 0 0 0 20 0 19 0 475071468 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885038128952 139885363922054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4773] ppid=4753 vsize=15417412 memory=29996 CPUtime=4 cores=1,3,5,7
/proc/4755/task/4773/stat : 4773 (java) R 4753 4753 3634 0 -1 4202560 7440 0 0 0 400 0 0 0 20 0 19 0 475071468 15787429888 1540774 33554432000 4194304 4196468 140722171493952 139885037078712 139885364082737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 58.68 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 6164548 KiB

[startup+18.4073 s]
/proc/loadavg: 8.33 4.65 2.56 9/237 4773
/proc/meminfo: memFree=4982820/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15417412 memory=6163648 CPUtime=61.88 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 111397 0 0 0 5554 634 0 0 20 0 19 0 475070138 15787429888 1540912 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3854353 1540912 3523 1 0 3815453 0
[pid=4755/tid=4756] ppid=4753 vsize=15417412 memory=6293050847276651881 CPUtime=5.03 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) S 4753 4753 3634 0 -1 1077944384 12513 0 0 0 490 13 0 0 20 0 19 0 475070139 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885727831168 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15417412 memory=5789189752906409301 CPUtime=7.96 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 13941 0 0 0 632 164 0 0 20 0 19 0 475070139 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15417412 memory=7301858164987948385 CPUtime=7.94 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 14245 0 0 0 646 148 0 0 20 0 19 0 475070139 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15417412 memory=5948 CPUtime=7.99 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 14779 0 0 0 652 147 0 0 20 0 19 0 475070139 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15417412 memory=503 CPUtime=8.04 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 14124 0 0 0 652 152 0 0 20 0 19 0 475070139 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15417412 memory=796 CPUtime=0.13 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 8288 0 0 0 12 1 0 0 20 0 19 0 475070141 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15417412 memory=794 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475070141 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885056820192 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15417412 memory=799 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 475070141 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885055767552 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15417412 memory=804 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15417412 memory=13 CPUtime=2.1 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) R 4753 4753 3634 0 -1 4202560 7323 0 0 0 208 2 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885053656216 139885708499295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15417412 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) R 4753 4753 3634 0 -1 4202560 8952 0 0 0 249 2 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885052611480 139885705108142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15417412 memory=0 CPUtime=0.59 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) R 4753 4753 3634 0 -1 1077944384 2946 0 0 0 58 1 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4770] ppid=4753 vsize=15417412 memory=24 CPUtime=5.02 cores=1,3,5,7
/proc/4755/task/4770/stat : 4770 (java) R 4753 4753 3634 0 -1 4202560 1800 0 0 0 502 0 0 0 20 0 19 0 475071467 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885040232800 139885363888209 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4771] ppid=4753 vsize=15417412 memory=36 CPUtime=4.87 cores=1,3,5,7
/proc/4755/task/4771/stat : 4771 (java) R 4753 4753 3634 0 -1 4202560 815 0 0 0 487 0 0 0 20 0 19 0 475071468 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885039181832 139885364260228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4772] ppid=4753 vsize=15417412 memory=0 CPUtime=4.82 cores=1,3,5,7
/proc/4755/task/4772/stat : 4772 (java) R 4753 4753 3634 0 -1 4202560 1836 0 0 0 482 0 0 0 20 0 19 0 475071468 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885038129008 139885364235661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4773] ppid=4753 vsize=15417412 memory=140166661025341 CPUtime=4.79 cores=1,3,5,7
/proc/4755/task/4773/stat : 4773 (java) R 4753 4753 3634 0 -1 4202560 8101 0 0 0 479 0 0 0 20 0 19 0 475071468 15787429888 1540912 33554432000 4194304 4196468 140722171493952 139885037076888 139885364260101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 61.88 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 6165100 KiB

[startup+18.8013 s]
/proc/loadavg: 8.33 4.65 2.56 9/237 4773
/proc/meminfo: memFree=4982820/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15417412 memory=6166260 CPUtime=63.46 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 115293 0 0 0 5712 634 0 0 20 0 19 0 475070138 15787429888 1541565 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3854353 1541565 3527 1 0 3815453 0
[pid=4755/tid=4756] ppid=4753 vsize=15417412 memory=13848568834296438 CPUtime=5.03 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) S 4753 4753 3634 0 -1 1077944384 12513 0 0 0 490 13 0 0 20 0 19 0 475070139 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885727831168 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15417412 memory=1452 CPUtime=7.96 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 13941 0 0 0 632 164 0 0 20 0 19 0 475070139 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15417412 memory=6162620 CPUtime=7.94 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 14245 0 0 0 646 148 0 0 20 0 19 0 475070139 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15417412 memory=8112282956445269571 CPUtime=7.99 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 14779 0 0 0 652 147 0 0 20 0 19 0 475070139 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15417412 memory=4126316290023845779 CPUtime=8.04 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 14124 0 0 0 652 152 0 0 20 0 19 0 475070139 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15417412 memory=-8269041422393515689 CPUtime=0.13 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 8288 0 0 0 12 1 0 0 20 0 19 0 475070141 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885057873904 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15417412 memory=8521222396713713249 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475070141 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885056820192 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15417412 memory=4124841336759543407 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 475070141 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885055767552 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15417412 memory=4124841336759543407 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885054716112 139885723608987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15417412 memory=-6685243584055581082 CPUtime=2.3 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) R 4753 4753 3634 0 -1 4202560 9317 0 0 0 228 2 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885053649888 139885708699957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15417412 memory=5861246160894246497 CPUtime=2.7 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) R 4753 4753 3634 0 -1 4202560 9842 0 0 0 268 2 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885052597728 139885716687227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15417412 memory=6077670637220358246 CPUtime=0.62 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) S 4753 4753 3634 0 -1 1077944384 3372 0 0 0 61 1 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4769] ppid=4753 vsize=15417412 memory=410 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4769/stat : 4769 (java) S 4753 4753 3634 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 19 0 475070144 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885049452848 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4770] ppid=4753 vsize=15417412 memory=390 CPUtime=5.29 cores=1,3,5,7
/proc/4755/task/4770/stat : 4770 (java) R 4753 4753 3634 0 -1 4202560 1871 0 0 0 529 0 0 0 20 0 19 0 475071467 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885040235144 139885364509808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4771] ppid=4753 vsize=15417412 memory=389 CPUtime=5.06 cores=1,3,5,7
/proc/4755/task/4771/stat : 4771 (java) R 4753 4753 3634 0 -1 4202560 905 0 0 0 506 0 0 0 20 0 19 0 475071468 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885039183880 139885723602326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4772] ppid=4753 vsize=15417412 memory=381 CPUtime=5.15 cores=1,3,5,7
/proc/4755/task/4772/stat : 4772 (java) R 4753 4753 3634 0 -1 4202560 2056 0 0 0 515 0 0 0 20 0 19 0 475071468 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885038129704 139885364538330 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4773] ppid=4753 vsize=15417412 memory=4499545120826356636 CPUtime=5.15 cores=1,3,5,7
/proc/4755/task/4773/stat : 4773 (java) R 4753 4753 3634 0 -1 1077944384 8306 0 0 0 515 0 0 0 20 0 19 0 475071468 15787429888 1541565 33554432000 4194304 4196468 140722171493952 139885037076176 139885723600597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 63.46 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 6167712 KiB

[startup+19.001 s]*
/proc/loadavg: 8.46 4.74 2.60 6/232 4773
/proc/meminfo: memFree=4976120/32770624 swapFree=66935844/67108860
[pid=4753] ppid=4750 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4753/stat : 4753 (xcsp3-exec) S 4750 4753 3634 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475070138 115843072 363 33554432000 4194304 5098028 140736074862368 140736074860472 139675982426748 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 30736384 140736074867543 140736074867801 140736074867801 140736074870726 0
/proc/4753/statm: 28282 363 304 221 0 87 0
[pid=4755] ppid=4753 vsize=15417412 memory=6166972 CPUtime=64.2 cores=1,3,5,7
/proc/4755/stat : 4755 (java) S 4753 4753 3634 0 -1 1077944320 122533 0 0 0 5786 634 0 0 20 0 14 0 475070138 15787429888 1541743 33554432000 4194304 4196468 140722171493952 140722171476496 139885723590391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
/proc/4755/statm: 3854353 1541743 3529 1 0 3815453 0
[pid=4755/tid=4756] ppid=4753 vsize=15417412 memory=7883960649037381690 CPUtime=5.03 cores=1,3,5,7
/proc/4755/task/4756/stat : 4756 (java) S 4753 4753 3634 0 -1 1077944384 12935 0 0 0 490 13 0 0 20 0 14 0 475070139 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885727833232 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4757] ppid=4753 vsize=15417412 memory=8956 CPUtime=7.96 cores=1,3,5,7
/proc/4755/task/4757/stat : 4757 (java) S 4753 4753 3634 0 -1 1077944384 13941 0 0 0 632 164 0 0 20 0 14 0 475070139 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885315808016 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4758] ppid=4753 vsize=15417412 memory=3905381375291598496 CPUtime=7.94 cores=1,3,5,7
/proc/4755/task/4758/stat : 4758 (java) S 4753 4753 3634 0 -1 1077944384 14245 0 0 0 646 148 0 0 20 0 14 0 475070139 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885314755472 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4759] ppid=4753 vsize=15417412 memory=0 CPUtime=7.99 cores=1,3,5,7
/proc/4755/task/4759/stat : 4759 (java) S 4753 4753 3634 0 -1 1077944384 14779 0 0 0 652 147 0 0 20 0 14 0 475070139 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885313702928 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4760] ppid=4753 vsize=15417412 memory=-1 CPUtime=8.04 cores=1,3,5,7
/proc/4755/task/4760/stat : 4760 (java) S 4753 4753 3634 0 -1 1077944384 14124 0 0 0 652 152 0 0 20 0 14 0 475070139 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885312650384 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4761] ppid=4753 vsize=15417412 memory=140166805759616 CPUtime=0.13 cores=1,3,5,7
/proc/4755/task/4761/stat : 4761 (java) S 4753 4753 3634 0 -1 1077944384 8354 0 0 0 12 1 0 0 20 0 14 0 475070141 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885057874112 139885723601538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4762] ppid=4753 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4762/stat : 4762 (java) S 4753 4753 3634 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 14 0 475070141 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885056820192 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4763] ppid=4753 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4763/stat : 4763 (java) S 4753 4753 3634 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 14 0 475070141 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885055767552 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4764] ppid=4753 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4764/stat : 4764 (java) S 4753 4753 3634 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 14 0 475070144 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885054714880 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4765] ppid=4753 vsize=15417412 memory=0 CPUtime=2.48 cores=1,3,5,7
/proc/4755/task/4765/stat : 4765 (java) S 4753 4753 3634 0 -1 1077944384 11056 0 0 0 246 2 0 0 20 0 14 0 475070144 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885053643280 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4766] ppid=4753 vsize=15417412 memory=-1 CPUtime=2.83 cores=1,3,5,7
/proc/4755/task/4766/stat : 4766 (java) R 4753 4753 3634 0 -1 4202560 11759 0 0 0 281 2 0 0 20 0 14 0 475070144 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885052592336 139885708716160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4767] ppid=4753 vsize=15417412 memory=140166805759616 CPUtime=0.65 cores=1,3,5,7
/proc/4755/task/4767/stat : 4767 (java) S 4753 4753 3634 0 -1 1077944384 4335 0 0 0 64 1 0 0 20 0 14 0 475070144 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885051558640 139885723601538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
[pid=4755/tid=4768] ppid=4753 vsize=15417412 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4755/task/4768/stat : 4768 (java) S 4753 4753 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475070144 15787429888 1541743 33554432000 4194304 4196468 140722171493952 139885050506336 139885723600597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25452544 140722171495387 140722171495562 140722171495562 140722171498447 0
Current children cumulated CPU time: 64.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 6168424 KiB

Child status: 0
Real time (s): 19.0945
CPU time (s): 64.2947
CPU user time (s): 57.914
CPU system time (s): 6.3808
CPU usage (%): 336.719
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 6168424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.914
system time used= 6.3808
maximum resident set size= 6167280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3602
involuntary context switches= 1278


# summary of solver processes directly reported to runsolver:
#   pid: 4753
#   total CPU time (s): 64.2947
#   total CPU user time (s): 57.914
#   total CPU system time (s): 6.3808

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.141336 second user time and 0.253386 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr4-m1296-04.xml
MD5SUM	bed822053ada34bca9e942ef4238d644
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.308784
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2408
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	14
Distribution of variable degrees	[{"degree":2,"count":35},{"degree":3,"count":82},{"degree":4,"count":123},{"degree":6,"count":120},{"degree":7,"count":123},{"degree":8,"count":122},{"degree":9,"count":86},{"degree":10,"count":51},{"degree":11,"count":23},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":537},{"arity":2,"count":1870},{"arity":777,"count":1}]
Number of extensional constraints	2407
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2407},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4403459

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
