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	8.28269	2.83258
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 (2055 MiB free)
  memory of node 1: 16384 MiB (3097 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403696-1568988371/watcher-4403696-1568988371 -o /var/tmp/evaluation-result-4403696-1568988371/solver-4403696-1568988371 -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 2064517391 HOME/instance-4403696-1568988371.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=2448, runsolver pid=2445
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 8.19 8.25 6.58 8/235 2464
/proc/meminfo: memFree=5259976/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15144776 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 5799 0 0 0 12 1 0 0 20 0 15 0 475092742 15508250624 7408 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3786194 7408 3159 1 0 3748377 0
[pid=2450/tid=2451] ppid=2448 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) R 2448 2448 1883 0 -1 4202560 3707 0 0 0 9 0 0 0 20 0 15 0 475092742 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199764938464 140199760719254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475092744 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475092744 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199228203808 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475092745 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199227151472 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) S 2448 2448 1883 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199225047664 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199223994864 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0.02 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) R 2448 2448 1883 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199222942576 140199739646636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 7408 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31088 KiB

[startup+0.211004 s]*
/proc/loadavg: 8.19 8.25 6.58 8/235 2464
/proc/meminfo: memFree=5246364/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15144776 memory=40980 CPUtime=0.34 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 9470 0 0 0 31 3 0 0 20 0 15 0 475092742 15508250624 10245 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3786194 10245 3286 1 0 3748377 0
[pid=2450/tid=2451] ppid=2448 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) S 2448 2448 1883 0 -1 1077944384 6634 0 0 0 18 2 0 0 20 0 15 0 475092742 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199764942304 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15144776 memory=139915474721851 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475092743 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475092744 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475092744 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199228203808 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475092745 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199227151472 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) S 2448 2448 1883 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199225047664 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) S 2448 2448 1883 0 -1 1077944384 126 0 0 0 1 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199223994864 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15144776 memory=139915471500928 CPUtime=0.08 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092747 15508250624 10245 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42436 KiB

[startup+0.316442 s]*
/proc/loadavg: 8.19 8.25 6.58 7/235 2464
/proc/meminfo: memFree=5239596/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15149032 memory=50496 CPUtime=0.54 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 10907 0 0 0 50 4 0 0 20 0 15 0 475092742 15512608768 12624 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3787258 12624 3354 1 0 3748377 0
[pid=2450/tid=2451] ppid=2448 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) R 2448 2448 1883 0 -1 4202560 7900 0 0 0 28 3 0 0 20 0 15 0 475092742 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199764942528 140199744787806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475092743 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15149032 memory=7305771399818405986 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475092744 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15149032 memory=-8990763340995141536 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475092744 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199228203808 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15149032 memory=7893295687695688722 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475092745 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199227151472 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15149032 memory=4629539418400394614 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15149032 memory=7756508770093863771 CPUtime=0.04 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) S 2448 2448 1883 0 -1 1077944384 684 0 0 0 4 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199225047664 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) S 2448 2448 1883 0 -1 1077944384 208 0 0 0 4 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199223994864 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092747 15512608768 12632 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51952 KiB

[startup+0.702381 s]
/proc/loadavg: 8.19 8.25 6.58 9/235 2464
/proc/meminfo: memFree=5219808/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15151156 memory=111820 CPUtime=1.7 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 14551 0 0 0 164 6 0 0 20 0 15 0 475092742 15514783744 27955 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3787789 27955 3445 1 0 3748889 0
[pid=2450/tid=2451] ppid=2448 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) R 2448 2448 1883 0 -1 4202560 8333 0 0 0 64 4 0 0 20 0 15 0 475092742 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199764941136 140199359154156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15151156 memory=-7666365152037270720 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15151156 memory=4123362363845260850 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15151156 memory=40184 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199228203808 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475092745 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199227151472 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15151156 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15151156 memory=1044 CPUtime=0.35 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) R 2448 2448 1883 0 -1 4202560 1988 0 0 0 35 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199225033688 140199740362544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15151156 memory=708 CPUtime=0.35 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) R 2448 2448 1883 0 -1 4202560 1292 0 0 0 35 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199223980744 140199745629120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15151156 memory=9364 CPUtime=0.29 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 1630 0 0 0 29 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 27955 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113276 KiB

[startup+1.50141 s]
/proc/loadavg: 8.19 8.25 6.58 4/213 2495
/proc/meminfo: memFree=7275784/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0

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

/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15151156 memory=21105469297456 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15151156 memory=10814 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15151156 memory=24215 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199228203808 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 475092745 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199227151472 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15151156 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) R 2448 2448 1883 0 -1 4202560 5176 0 0 0 101 0 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199225031360 140199752996768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15151156 memory=0 CPUtime=1 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) R 2448 2448 1883 0 -1 4202560 4033 0 0 0 100 0 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199223981432 140199742251042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15151156 memory=3580 CPUtime=0.56 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 4519 0 0 0 55 1 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15151156 memory=40184 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 51633 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 207988 KiB

[startup+2.83251 s]
# the end of solver process 2448 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=8.08393 s, system=0.198761 s

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

[startup+1.60094 s]
/proc/loadavg: 8.19 8.25 6.58 4/213 2495
/proc/meminfo: memFree=7275784/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15151156 memory=222652 CPUtime=4.43 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 27491 0 0 0 432 11 0 0 20 0 15 0 475092742 15514783744 55663 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3787789 55663 3508 1 0 3748889 0
[pid=2450/tid=2451] ppid=2448 vsize=15151156 memory=11204 CPUtime=1.55 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) R 2448 2448 1883 0 -1 4202560 10581 0 0 0 149 6 0 0 20 0 15 0 475092742 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199764944432 140199364381915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15151156 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 475092743 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15151156 memory=252009 CPUtime=0.01 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 15 0 475092743 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 475092743 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15151156 memory=6944656592455360604 CPUtime=0.01 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 15 0 475092743 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15151156 memory=1 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199228203872 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15151156 memory=-5628408999910123566 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 475092745 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199227151488 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15151156 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15151156 memory=6944652177228980320 CPUtime=1.11 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) R 2448 2448 1883 0 -1 4202560 5601 0 0 0 110 1 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199225026896 140199744118191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15151156 memory=6944656592455097440 CPUtime=1.09 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) R 2448 2448 1883 0 -1 4202560 4524 0 0 0 109 0 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199223987352 140199739945796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15151156 memory=6944656591647563856 CPUtime=0.57 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 4541 0 0 0 56 1 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15151156 memory=7682475212697334586 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15151156 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 55663 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 224108 KiB

[startup+2.40141 s]
/proc/loadavg: 8.19 8.25 6.58 7/231 2542
/proc/meminfo: memFree=7031664/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15151156 memory=369352 CPUtime=6.87 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 30635 0 0 0 673 14 0 0 20 0 15 0 475092742 15514783744 92338 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3787789 92338 3512 1 0 3748889 0
[pid=2450/tid=2451] ppid=2448 vsize=15151156 memory=10814 CPUtime=2.32 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) R 2448 2448 1883 0 -1 4202560 10836 0 0 0 225 7 0 0 20 0 15 0 475092742 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199764943256 140199360289091 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15151156 memory=24215 CPUtime=0.03 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 100 0 0 0 3 0 0 0 20 0 15 0 475092743 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15151156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 475092743 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15151156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 475092743 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15151156 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 475092743 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 475092744 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199228203872 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 475092745 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199227151488 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15151156 memory=224728 CPUtime=1.89 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) S 2448 2448 1883 0 -1 1077944384 6908 0 0 0 188 1 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199225047664 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15151156 memory=279830675793024 CPUtime=1.88 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) S 2448 2448 1883 0 -1 1077944384 5686 0 0 0 187 1 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199223994864 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15151156 memory=-6234758880078832264 CPUtime=0.59 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) S 2448 2448 1883 0 -1 1077944384 4600 0 0 0 58 1 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199222942576 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 475092747 15514783744 92338 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 6.87 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 370808 KiB

[startup+2.81038 s]
/proc/loadavg: 8.19 8.25 6.58 7/231 2542
/proc/meminfo: memFree=7031664/32770624 swapFree=66952576/67108860
[pid=2448] ppid=2445 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/2448/stat : 2448 (xcsp3-exec) S 2445 2448 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475092741 115843072 364 33554432000 4194304 5098028 140728281946608 140728281944712 140455167169148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25001984 140728281949014 140728281949273 140728281949273 140728281952198 0
/proc/2448/statm: 28282 364 305 221 0 87 0
[pid=2450] ppid=2448 vsize=15419460 memory=396572 CPUtime=8.21 cores=1,3,5,7
/proc/2450/stat : 2450 (java) S 2448 2448 1883 0 -1 1077944320 31985 0 0 0 802 19 0 0 20 0 19 0 475092742 15789527040 99143 33554432000 4194304 4196468 140734966675680 140734966658224 140199760707319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
/proc/2450/statm: 3854865 99143 3534 1 0 3815965 0
[pid=2450/tid=2451] ppid=2448 vsize=15419460 memory=139915337904465 CPUtime=2.41 cores=1,3,5,7
/proc/2450/task/2451/stat : 2451 (java) S 2448 2448 1883 0 -1 1077944384 11017 0 0 0 234 7 0 0 20 0 19 0 475092742 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199764948096 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2452] ppid=2448 vsize=15419460 memory=2276 CPUtime=0.06 cores=1,3,5,7
/proc/2450/task/2452/stat : 2452 (java) S 2448 2448 1883 0 -1 1077944384 177 0 0 0 5 1 0 0 20 0 19 0 475092743 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199688747920 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2453] ppid=2448 vsize=15419460 memory=6944652177228980320 CPUtime=0.06 cores=1,3,5,7
/proc/2450/task/2453/stat : 2453 (java) S 2448 2448 1883 0 -1 1077944384 518 0 0 0 5 1 0 0 20 0 19 0 475092743 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199687695120 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2454] ppid=2448 vsize=15419460 memory=6944656592455097440 CPUtime=0.05 cores=1,3,5,7
/proc/2450/task/2454/stat : 2454 (java) S 2448 2448 1883 0 -1 1077944384 176 0 0 0 4 1 0 0 20 0 19 0 475092743 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199686642832 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2455] ppid=2448 vsize=15419460 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2450/task/2455/stat : 2455 (java) S 2448 2448 1883 0 -1 1077944384 281 0 0 0 4 1 0 0 20 0 19 0 475092743 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199685590032 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2456] ppid=2448 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2450/task/2456/stat : 2456 (java) S 2448 2448 1883 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 19 0 475092744 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199229257840 140199760718466 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2457] ppid=2448 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2457/stat : 2457 (java) S 2448 2448 1883 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475092744 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199228203872 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2458] ppid=2448 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2458/stat : 2458 (java) S 2448 2448 1883 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 475092745 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199227151488 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2459] ppid=2448 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2459/stat : 2459 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199226099792 140199760725915 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2460] ppid=2448 vsize=15419460 memory=0 CPUtime=2.1 cores=1,3,5,7
/proc/2450/task/2460/stat : 2460 (java) R 2448 2448 1883 0 -1 4202560 7012 0 0 0 209 1 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199225033728 140199744207732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2461] ppid=2448 vsize=15419460 memory=2868665472191025 CPUtime=2.1 cores=1,3,5,7
/proc/2450/task/2461/stat : 2461 (java) R 2448 2448 1883 0 -1 4202560 5766 0 0 0 209 1 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199223979632 140199745624756 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2462] ppid=2448 vsize=15419460 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2450/task/2462/stat : 2462 (java) R 2448 2448 1883 0 -1 4202560 4770 0 0 0 67 1 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199222942336 140199760719254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2463] ppid=2448 vsize=15419460 memory=-6517932947147445662 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2463/stat : 2463 (java) S 2448 2448 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199221890016 140199760717525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
[pid=2450/tid=2464] ppid=2448 vsize=15419460 memory=-7749694995119233653 CPUtime=0 cores=1,3,5,7
/proc/2450/task/2464/stat : 2464 (java) S 2448 2448 1883 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 475092747 15789527040 99143 33554432000 4194304 4196468 140734966675680 140199220836784 140199760718466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11366400 140734966682587 140734966682762 140734966682762 140734966685647 0
Current children cumulated CPU time: 8.21 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 398028 KiB

Child status: 0
Real time (s): 2.83258
CPU time (s): 8.28269
CPU user time (s): 8.08393
CPU system time (s): 0.198761
CPU usage (%): 292.408
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 398028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.08393
system time used= 0.198761
maximum resident set size= 397952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32673
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= 2400
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 2448
#   total CPU time (s): 8.28269
#   total CPU user time (s): 8.08393
#   total CPU system time (s): 0.198761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048032 second user time and 0.063686 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
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	2.21188
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403696

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
