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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	4	13.2829	4.10813
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 (3279 MiB free)
  memory of node 1: 16384 MiB (3326 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403704-1568988389/watcher-4403704-1568988389 -o /var/tmp/evaluation-result-4403704-1568988389/solver-4403704-1568988389 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2143204469 HOME/instance-4403704-1568988389.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
Current StackSize limit: 8192 KiB
solver pid=2722, runsolver pid=2719


[startup+0.100921 s]*
/proc/loadavg: 8.30 8.27 6.61 7/235 2738
/proc/meminfo: memFree=6748104/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15144776 memory=29288 CPUtime=0.13 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 5773 0 0 0 12 1 0 0 20 0 15 0 475094483 15508250624 7322 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3786194 7322 3173 1 0 3748377 0
[pid=2724/tid=2725] ppid=2722 vsize=15144776 memory=-2698087569006908830 CPUtime=0.08 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) R 2722 2722 1883 0 -1 4202560 3689 0 0 0 8 0 0 0 20 0 15 0 475094484 15508250624 7322 33554432000 4194304 4196468 140721241044832 140330364516560 140330360298902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329501836832 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329500783984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) S 2722 2722 1883 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329498679664 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) S 2722 2722 1883 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329497626864 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0.02 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) R 2722 2722 1883 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329496574064 140330338962160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 7322 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30740 KiB

[startup+0.210947 s]*
/proc/loadavg: 8.04 8.21 6.60 7/235 2738
/proc/meminfo: memFree=6718844/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15144776 memory=40812 CPUtime=0.34 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 9454 0 0 0 31 3 0 0 20 0 15 0 475094483 15508250624 10203 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3786194 10203 3305 1 0 3748377 0
[pid=2724/tid=2725] ppid=2722 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) R 2722 2722 1883 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 475094484 15508250624 10203 33554432000 4194304 4196468 140721241044832 140330364518880 140330344367454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15144776 memory=140049683831867 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329501836832 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475094486 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329500783984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) S 2722 2722 1883 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329498679664 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) S 2722 2722 1883 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329497626864 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15144776 memory=140049680610944 CPUtime=0.08 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) R 2722 2722 1883 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329496574064 140330360308314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094489 15508250624 10203 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42264 KiB

[startup+0.310841 s]*
/proc/loadavg: 8.04 8.21 6.60 7/235 2738
/proc/meminfo: memFree=6696752/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15149032 memory=50336 CPUtime=0.53 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 10847 0 0 0 49 4 0 0 20 0 15 0 475094483 15512608768 12584 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3787258 12584 3363 1 0 3748377 0
[pid=2724/tid=2725] ppid=2722 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) R 2722 2722 1883 0 -1 4202560 7803 0 0 0 27 2 0 0 20 0 15 0 475094484 15512608768 12584 33554432000 4194304 4196468 140721241044832 140330364520752 140330344367454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475094484 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475094486 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475094486 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329501836832 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475094486 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329500783984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) S 2722 2722 1883 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329498679664 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 348 0 0 0 5 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329497617248 140330340119248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) S 2722 2722 1883 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329496574064 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094489 15512608768 12584 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51788 KiB

[startup+0.701661 s]
/proc/loadavg: 8.04 8.21 6.60 9/235 2738
/proc/meminfo: memFree=6645228/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15151156 memory=111404 CPUtime=1.7 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 14433 0 0 0 165 5 0 0 20 0 15 0 475094483 15514783744 27851 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3787789 27851 3445 1 0 3748889 0
[pid=2724/tid=2725] ppid=2722 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) R 2722 2722 1883 0 -1 4202560 8324 0 0 0 64 3 0 0 20 0 15 0 475094484 15514783744 27851 33554432000 4194304 4196468 140721241044832 140330364519920 140330360298902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15151156 memory=164 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475094484 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094484 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15151156 memory=40184 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475094486 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475094486 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329501836832 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475094486 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329500783984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15151156 memory=1044 CPUtime=0.35 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) R 2722 2722 1883 0 -1 4202560 1718 0 0 0 35 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329498665688 140330343673437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15151156 memory=708 CPUtime=0.36 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 1459 0 0 0 36 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329497613088 140330341831120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15151156 memory=9364 CPUtime=0.29 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) R 2722 2722 1883 0 -1 4202560 1624 0 0 0 29 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329496574064 140330360308314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475094489 15514783744 27851 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 112856 KiB

[startup+1.50167 s]
/proc/loadavg: 8.04 8.21 6.60 8/235 2738
/proc/meminfo: memFree=6494120/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0

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

/proc/2724/task/2734/stat : 2734 (java) R 2722 2722 1883 0 -1 4202560 5701 0 0 0 239 1 0 0 20 0 19 0 475094489 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329498661344 140330341808085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15420488 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 5538 0 0 0 242 1 0 0 20 0 19 0 475094489 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329497613432 140330345411002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15420488 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) S 2722 2722 1883 0 -1 1077944384 5624 0 0 0 75 1 0 0 20 0 19 0 475094489 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329496574064 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15420488 memory=5450874560983370026 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15420488 memory=7295948401339689552 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2751] ppid=2722 vsize=15420488 memory=4638778398718902374 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2751/stat : 2751 (java) S 2722 2722 1883 0 -1 1077944384 19 0 0 0 6 0 0 0 20 0 19 0 475094777 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329483148800 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2752] ppid=2722 vsize=15420488 memory=26721 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2752/stat : 2752 (java) S 2722 2722 1883 0 -1 1077944384 17 0 0 0 6 0 0 0 20 0 19 0 475094777 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329482097488 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2753] ppid=2722 vsize=15420488 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/2724/task/2753/stat : 2753 (java) R 2722 2722 1883 0 -1 4202560 19 0 0 0 8 0 0 0 20 0 19 0 475094777 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329485249720 140329960537576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2754] ppid=2722 vsize=15420488 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/2724/task/2754/stat : 2754 (java) S 2722 2722 1883 0 -1 1077944384 18 0 0 0 7 0 0 0 20 0 19 0 475094777 15790579712 98780 33554432000 4194304 4196468 140721241044832 140329478948432 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 396572 KiB

[startup+4.10807 s]
# the end of solver process 2722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=13.0684 s, system=0.214461 s

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

[startup+3.20104 s]
/proc/loadavg: 8.04 8.21 6.60 12/239 2754
/proc/meminfo: memFree=5967248/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15420488 memory=395248 CPUtime=9.73 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 31626 0 0 0 953 20 0 0 20 0 19 0 475094483 15790579712 98812 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3855122 98812 3533 1 0 3816222 0
[pid=2724/tid=2725] ppid=2722 vsize=15420488 memory=13252 CPUtime=2.43 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) S 2722 2722 1883 0 -1 1077944384 10974 0 0 0 235 8 0 0 20 0 19 0 475094484 15790579712 98812 33554432000 4194304 4196468 140721241044832 140330364527744 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15420488 memory=15460 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 164 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15420488 memory=17668 CPUtime=0.05 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 737 0 0 0 4 1 0 0 20 0 19 0 475094484 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15420488 memory=19876 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15420488 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 229 0 0 0 6 1 0 0 20 0 19 0 475094484 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15420488 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15420488 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329501836896 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15420488 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329500784000 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15420488 memory=0 CPUtime=2.49 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) R 2722 2722 1883 0 -1 4202560 5716 0 0 0 248 1 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329498666496 140330341831054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15420488 memory=0 CPUtime=2.51 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 5552 0 0 0 250 1 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329497608432 140330341808163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15420488 memory=6944656592455097440 CPUtime=0.76 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) S 2722 2722 1883 0 -1 1077944384 5630 0 0 0 75 1 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329496574064 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15420488 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 98812 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 396700 KiB

[startup+3.60166 s]
/proc/loadavg: 8.04 8.21 6.60 12/239 2754
/proc/meminfo: memFree=5967248/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15420488 memory=396052 CPUtime=11.31 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 31816 0 0 0 1111 20 0 0 20 0 19 0 475094483 15790579712 99013 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3855122 99013 3536 1 0 3816222 0
[pid=2724/tid=2725] ppid=2722 vsize=15420488 memory=0 CPUtime=2.43 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) S 2722 2722 1883 0 -1 1077944384 10974 0 0 0 235 8 0 0 20 0 19 0 475094484 15790579712 99013 33554432000 4194304 4196468 140721241044832 140330364527744 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15420488 memory=-7814691523512926820 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 164 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15420488 memory=-1161699032755887707 CPUtime=0.05 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 737 0 0 0 4 1 0 0 20 0 19 0 475094484 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15420488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 229 0 0 0 6 1 0 0 20 0 19 0 475094484 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15420488 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15420488 memory=-2605811476043407915 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329501836896 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15420488 memory=8475934422144423578 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329500784000 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15420488 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15420488 memory=7007709048888710761 CPUtime=2.74 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) R 2722 2722 1883 0 -1 4202560 5761 0 0 0 273 1 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329498672856 140330339796252 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15420488 memory=1044 CPUtime=2.72 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 5599 0 0 0 271 1 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329497613408 140330346309150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15420488 memory=2241 CPUtime=0.83 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) R 2722 2722 1883 0 -1 1077944384 5720 0 0 0 81 2 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329496574064 140330360298114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15420488 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99013 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 11.31 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 397504 KiB

[startup+4.00166 s]*
/proc/loadavg: 8.04 8.21 6.60 12/239 2762
/proc/meminfo: memFree=5902688/32770624 swapFree=66952576/67108860
[pid=2722] ppid=2719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2722/stat : 2722 (xcsp3-exec) S 2719 2722 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475094483 115843072 363 33554432000 4194304 5098028 140734890142976 140734890141080 140207285056124 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39124992 140734890148694 140734890148953 140734890148953 140734890151878 0
/proc/2722/statm: 28282 363 304 221 0 87 0
[pid=2724] ppid=2722 vsize=15420488 memory=396732 CPUtime=12.94 cores=1,3,5,7
/proc/2724/stat : 2724 (java) S 2722 2722 1883 0 -1 1077944320 31962 0 0 0 1274 20 0 0 20 0 19 0 475094483 15790579712 99183 33554432000 4194304 4196468 140721241044832 140721241027376 140330360286967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
/proc/2724/statm: 3855122 99183 3538 1 0 3816222 0
[pid=2724/tid=2725] ppid=2722 vsize=15420488 memory=8317482817917895235 CPUtime=2.43 cores=1,3,5,7
/proc/2724/task/2725/stat : 2725 (java) S 2722 2722 1883 0 -1 1077944384 10974 0 0 0 235 8 0 0 20 0 19 0 475094484 15790579712 99183 33554432000 4194304 4196468 140721241044832 140330364527744 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2726] ppid=2722 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2726/stat : 2726 (java) S 2722 2722 1883 0 -1 1077944384 164 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329952995984 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2727] ppid=2722 vsize=15420488 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2724/task/2727/stat : 2727 (java) S 2722 2722 1883 0 -1 1077944384 737 0 0 0 4 1 0 0 20 0 19 0 475094484 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329951943184 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2728] ppid=2722 vsize=15420488 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2724/task/2728/stat : 2728 (java) S 2722 2722 1883 0 -1 1077944384 167 0 0 0 5 1 0 0 20 0 19 0 475094484 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329950890384 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2729] ppid=2722 vsize=15420488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2724/task/2729/stat : 2729 (java) S 2722 2722 1883 0 -1 1077944384 229 0 0 0 6 1 0 0 20 0 19 0 475094484 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329949837584 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2730] ppid=2722 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2730/stat : 2730 (java) S 2722 2722 1883 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329502890864 140330360298114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2731] ppid=2722 vsize=15420488 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2731/stat : 2731 (java) S 2722 2722 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329501836896 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2732] ppid=2722 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2732/stat : 2732 (java) S 2722 2722 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475094486 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329500784000 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2733] ppid=2722 vsize=15420488 memory=7900611722800716256 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2733/stat : 2733 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329499732304 140330360305563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2734] ppid=2722 vsize=15420488 memory=0 CPUtime=2.95 cores=1,3,5,7
/proc/2724/task/2734/stat : 2734 (java) R 2722 2722 1883 0 -1 4202560 5862 0 0 0 294 1 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329498672152 140330345192273 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2735] ppid=2722 vsize=15420488 memory=-1 CPUtime=2.92 cores=1,3,5,7
/proc/2724/task/2735/stat : 2735 (java) R 2722 2722 1883 0 -1 4202560 5630 0 0 0 291 1 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329497616256 140330345213659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2736] ppid=2722 vsize=15420488 memory=140049680610944 CPUtime=0.84 cores=1,3,5,7
/proc/2724/task/2736/stat : 2736 (java) S 2722 2722 1883 0 -1 1077944384 5734 0 0 0 82 2 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329496574064 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2737] ppid=2722 vsize=15420488 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2737/stat : 2737 (java) S 2722 2722 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329495521504 140330360297173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2738] ppid=2722 vsize=15420488 memory=140049680613152 CPUtime=0 cores=1,3,5,7
/proc/2724/task/2738/stat : 2738 (java) S 2722 2722 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475094489 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329494469808 140330360298114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2759] ppid=2722 vsize=15420488 memory=140049555781023 CPUtime=0.66 cores=1,3,5,7
/proc/2724/task/2759/stat : 2759 (java) R 2722 2722 1883 0 -1 4202560 17 0 0 0 66 0 0 0 20 0 19 0 475094800 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329482093960 140329961263732 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2760] ppid=2722 vsize=15420488 memory=140049680613152 CPUtime=0.57 cores=1,3,5,7
/proc/2724/task/2760/stat : 2760 (java) R 2722 2722 1883 0 -1 4202560 20 0 0 0 57 0 0 0 20 0 19 0 475094800 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329485251816 140329961267647 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2761] ppid=2722 vsize=15420488 memory=140049555785631 CPUtime=0.59 cores=1,3,5,7
/proc/2724/task/2761/stat : 2761 (java) R 2722 2722 1883 0 -1 4202560 17 0 0 0 59 0 0 0 20 0 19 0 475094800 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329483143656 140329961585038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
[pid=2724/tid=2762] ppid=2722 vsize=15420488 memory=263370 CPUtime=0.51 cores=1,3,5,7
/proc/2724/task/2762/stat : 2762 (java) R 2722 2722 1883 0 -1 4202560 22 0 0 0 51 0 0 0 20 0 19 0 475094800 15790579712 99183 33554432000 4194304 4196468 140721241044832 140329478945576 140329960616988 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721241052123 140721241052298 140721241052298 140721241055183 0
Current children cumulated CPU time: 12.94 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 398184 KiB

Child status: 0
Real time (s): 4.10813
CPU time (s): 13.2829
CPU user time (s): 13.0684
CPU system time (s): 0.214461
CPU usage (%): 323.332
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 398184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.0684
system time used= 0.214461
maximum resident set size= 397716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32727
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= 2790
involuntary context switches= 450


# summary of solver processes directly reported to runsolver:
#   pid: 2722
#   total CPU time (s): 13.2829
#   total CPU user time (s): 13.0684
#   total CPU system time (s): 0.214461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059459 second user time and 0.081847 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml
MD5SUM	4c5949db6bfbca6a63c3d4670a37bb2f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	1.94048
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9803
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	28
Maximum variable degree	67
Distribution of variable degrees	[{"degree":28,"count":1},{"degree":29,"count":1},{"degree":31,"count":2},{"degree":32,"count":7},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":18},{"degree":37,"count":10},{"degree":38,"count":21},{"degree":39,"count":27},{"degree":40,"count":25},{"degree":41,"count":33},{"degree":42,"count":22},{"degree":43,"count":23},{"degree":44,"count":27},{"degree":45,"count":26},{"degree":46,"count":37},{"degree":47,"count":26},{"degree":48,"count":25},{"degree":49,"count":23},{"degree":50,"count":17},{"degree":51,"count":11},{"degree":52,"count":13},{"degree":53,"count":9},{"degree":54,"count":8},{"degree":55,"count":4},{"degree":56,"count":1},{"degree":57,"count":4},{"degree":58,"count":5},{"degree":60,"count":5},{"degree":61,"count":4},{"degree":63,"count":1},{"degree":66,"count":2},{"degree":67,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9803}]
Number of extensional constraints	0
Number of intensional constraints	9803
Distribution of constraint types	[{"type":"intension","count":9803}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403704

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
