2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	3	14.7501	4.20886
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 (9724 MiB free)
  memory of node 1: 16384 MiB (8264 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404829-1569003440/watcher-4404829-1569003440 -o /tmp/evaluation-result-4404829-1569003440/solver-4404829-1569003440 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1108416522 HOME/instance-4404829-1569003440.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21993, runsolver pid=21990
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 7.32 7.84 7.99 2/210 22014
/proc/meminfo: memFree=18405872/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28227396 memory=29088 CPUtime=0.12 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 5735 0 0 0 11 1 0 0 20 0 20 0 476600820 28904853504 7272 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7056849 7272 3120 1 0 7019032 0
[pid=21995/tid=21996] ppid=21993 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) R 21993 21993 14667 0 -1 4202560 3670 0 0 0 8 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139829292644144 140735527386335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28227396 memory=140135517305371 CPUtime=0 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22000] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22000/stat : 22000 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139828836293776 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22001] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22001/stat : 22001 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139828835240208 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22002] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22002/stat : 22002 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139828834187664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22003] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22003/stat : 22003 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 7272 33554432000 4194304 4196468 140735526875744 139828833135120 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22004] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22004/stat : 22004 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600822 28904853504 7272 33554432000 4194304 4196468 140735526875744 139828832082576 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22005] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22005/stat : 22005 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600823 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827483732464 139829288426114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22006] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22006/stat : 22006 (java) S 21993 21993 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600823 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827482678688 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22007] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22007/stat : 22007 (java) S 21993 21993 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600824 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827481626096 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22008] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22008/stat : 22008 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827480574672 139829288433563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22009] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22009/stat : 22009 (java) S 21993 21993 14667 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827479521264 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22010] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22010/stat : 22010 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827478468720 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22011] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22011/stat : 22011 (java) S 21993 21993 14667 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827477416176 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22012] ppid=21993 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21995/task/22012/stat : 22012 (java) R 21993 21993 14667 0 -1 4202560 339 0 0 0 1 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827476363632 139829288426902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22013] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22013/stat : 22013 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827475311328 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22014] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22014/stat : 22014 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600827 28904853504 7272 33554432000 4194304 4196468 140735526875744 139827474258864 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30540 KiB

[startup+0.20991 s]*
/proc/loadavg: 7.32 7.84 7.99 2/210 22014
/proc/meminfo: memFree=18392932/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28227396 memory=40700 CPUtime=0.33 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 9492 0 0 0 30 3 0 0 20 0 20 0 476600820 28904853504 10175 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7056849 10175 3221 1 0 7019032 0
[pid=21995/tid=21996] ppid=21993 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) R 21993 21993 14667 0 -1 4202560 6683 0 0 0 18 2 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139829292654640 139829272495454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28227396 memory=288370511668999808 CPUtime=0 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22000] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22000/stat : 22000 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139828836293776 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22001] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22001/stat : 22001 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139828835240208 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22002] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22002/stat : 22002 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139828834187664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22003] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22003/stat : 22003 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28904853504 10175 33554432000 4194304 4196468 140735526875744 139828833135120 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22004] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22004/stat : 22004 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600822 28904853504 10175 33554432000 4194304 4196468 140735526875744 139828832082576 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22005] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22005/stat : 22005 (java) S 21993 21993 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476600823 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827483732464 139829288426114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22006] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22006/stat : 22006 (java) S 21993 21993 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600823 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827482678688 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22007] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22007/stat : 22007 (java) S 21993 21993 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600824 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827481626096 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22008] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22008/stat : 22008 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827480574672 139829288433563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22009] ppid=21993 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21995/task/22009/stat : 22009 (java) S 21993 21993 14667 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827479521264 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22010] ppid=21993 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7
/proc/21995/task/22010/stat : 22010 (java) S 21993 21993 14667 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827478468720 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22011] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22011/stat : 22011 (java) S 21993 21993 14667 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827477416176 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22012] ppid=21993 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/21995/task/22012/stat : 22012 (java) R 21993 21993 14667 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827476363632 139829288436314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22013] ppid=21993 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22013/stat : 22013 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600826 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827475311328 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22014] ppid=21993 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22014/stat : 22014 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600827 28904853504 10175 33554432000 4194304 4196468 140735526875744 139827474258864 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42152 KiB

[startup+0.309561 s]*
/proc/loadavg: 7.32 7.84 7.99 4/210 22014
/proc/meminfo: memFree=18385536/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28231652 memory=49616 CPUtime=0.5 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 10765 0 0 0 47 3 0 0 20 0 20 0 476600820 28909211648 12404 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7057913 12404 3321 1 0 7019032 0
[pid=21995/tid=21996] ppid=21993 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) R 21993 21993 14667 0 -1 4202560 7806 0 0 0 27 2 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139829292646080 139829272495454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22000] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22000/stat : 22000 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139828836293776 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22001] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22001/stat : 22001 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139828835240208 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22002] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22002/stat : 22002 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12404 33554432000 4194304 4196468 140735526875744 139828834187664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22003] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22003/stat : 22003 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28909211648 12434 33554432000 4194304 4196468 140735526875744 139828833135120 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22004] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22004/stat : 22004 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600822 28909211648 12434 33554432000 4194304 4196468 140735526875744 139828832082576 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22005] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22005/stat : 22005 (java) S 21993 21993 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476600823 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827483732464 139829288426114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22006] ppid=21993 vsize=28231652 memory=280270775459200 CPUtime=0 cores=0-7
/proc/21995/task/22006/stat : 22006 (java) S 21993 21993 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600823 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827482678688 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22007] ppid=21993 vsize=28231652 memory=280270775463808 CPUtime=0 cores=0-7
/proc/21995/task/22007/stat : 22007 (java) S 21993 21993 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600824 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827481626096 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22008] ppid=21993 vsize=28231652 memory=280270775468416 CPUtime=0 cores=0-7
/proc/21995/task/22008/stat : 22008 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827480574672 139829288433563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22009] ppid=21993 vsize=28231652 memory=280270775473024 CPUtime=0.01 cores=0-7
/proc/21995/task/22009/stat : 22009 (java) S 21993 21993 14667 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827479521264 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22010] ppid=21993 vsize=28231652 memory=280270775477632 CPUtime=0.03 cores=0-7
/proc/21995/task/22010/stat : 22010 (java) S 21993 21993 14667 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827478468720 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22011] ppid=21993 vsize=28231652 memory=280270775482240 CPUtime=0.02 cores=0-7
/proc/21995/task/22011/stat : 22011 (java) S 21993 21993 14667 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827477416176 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22012] ppid=21993 vsize=28231652 memory=280270775486848 CPUtime=0.12 cores=0-7
/proc/21995/task/22012/stat : 22012 (java) S 21993 21993 14667 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827476363632 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22013] ppid=21993 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22013/stat : 22013 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600826 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827475311328 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22014] ppid=21993 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21995/task/22014/stat : 22014 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600827 28909211648 12434 33554432000 4194304 4196468 140735526875744 139827474258864 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51068 KiB

[startup+0.700927 s]
/proc/loadavg: 7.32 7.84 7.99 5/210 22014
/proc/meminfo: memFree=18364992/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28233776 memory=115252 CPUtime=1.94 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 15920 0 0 0 189 5 0 0 20 0 20 0 476600820 28911386624 28813 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7058444 28813 3449 1 0 7019544 0
[pid=21995/tid=21996] ppid=21993 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) R 21993 21993 14667 0 -1 4202560 8402 0 0 0 64 3 0 0 20 0 20 0 476600821 28911386624 28813 33554432000 4194304 4196468 140735526875744 139829292653120 139828922261996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600821 28911386624 28813 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600821 28911386624 28813 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600821 28911386624 28813 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0

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

[pid=21995/tid=22021] ppid=21993 vsize=28766288 memory=-5874771483550381248 CPUtime=0.17 cores=0-7
/proc/21995/task/22021/stat : 22021 (java) S 21993 21993 14667 0 -1 1077944384 29 0 0 0 17 0 0 0 20 0 28 0 476601106 29456678912 161688 33554432000 4194304 4196468 140735526875744 139827458960512 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22022] ppid=21993 vsize=28766288 memory=7100839870071150693 CPUtime=0.18 cores=0-7
/proc/21995/task/22022/stat : 22022 (java) S 21993 21993 14667 0 -1 1077944384 30 0 0 0 18 0 0 0 20 0 28 0 476601106 29456678912 161688 33554432000 4194304 4196468 140735526875744 139827457911312 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 11.19 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 646156 KiB

[startup+4.2088 s]
# the end of solver process 21993 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14.3532 s, system=0.396857 s

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

[startup+3.2016 s]
/proc/loadavg: 7.32 7.84 7.99 13/218 22022
/proc/meminfo: memFree=17810792/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28766288 memory=671772 CPUtime=11.41 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 34860 0 0 0 1106 35 0 0 20 0 28 0 476600820 29456678912 167943 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7191572 167943 3516 1 0 7152672 0
[pid=21995/tid=21996] ppid=21993 vsize=28766288 memory=-7098080424032564416 CPUtime=2.73 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) S 21993 21993 14667 0 -1 1077944384 10519 0 0 0 264 9 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139829292655744 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28766288 memory=8974679720218626470 CPUtime=0.09 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 196 0 0 0 7 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28766288 memory=1804 CPUtime=0.08 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 165 0 0 0 6 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28766288 memory=916 CPUtime=0.09 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 89 0 0 0 7 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22000] ppid=21993 vsize=28766288 memory=4480 CPUtime=0.09 cores=0-7
/proc/21995/task/22000/stat : 22000 (java) S 21993 21993 14667 0 -1 1077944384 148 0 0 0 7 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139828836293776 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22001] ppid=21993 vsize=28766288 memory=4100 CPUtime=0.1 cores=0-7
/proc/21995/task/22001/stat : 22001 (java) S 21993 21993 14667 0 -1 1077944384 167 0 0 0 8 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139828835240208 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22002] ppid=21993 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/21995/task/22002/stat : 22002 (java) S 21993 21993 14667 0 -1 1077944384 194 0 0 0 5 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139828834187664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22003] ppid=21993 vsize=28766288 memory=11204 CPUtime=0.1 cores=0-7
/proc/21995/task/22003/stat : 22003 (java) S 21993 21993 14667 0 -1 1077944384 113 0 0 0 8 2 0 0 20 0 28 0 476600821 29456678912 167943 33554432000 4194304 4196468 140735526875744 139828833135120 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22004] ppid=21993 vsize=28766288 memory=-7233780906022726806 CPUtime=0.06 cores=0-7
/proc/21995/task/22004/stat : 22004 (java) S 21993 21993 14667 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 28 0 476600822 29456678912 167943 33554432000 4194304 4196468 140735526875744 139828832082576 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22005] ppid=21993 vsize=28766288 memory=8257237230706253920 CPUtime=0.01 cores=0-7
/proc/21995/task/22005/stat : 22005 (java) D 21993 21993 14667 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 28 0 476600823 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827483730864 139829273452597 0 0 0 16800975 18446744072099536005 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22006] ppid=21993 vsize=28766288 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/21995/task/22006/stat : 22006 (java) S 21993 21993 14667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476600823 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827482678752 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22007] ppid=21993 vsize=28766288 memory=280270775342064 CPUtime=0 cores=0-7
/proc/21995/task/22007/stat : 22007 (java) S 21993 21993 14667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476600824 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827481626112 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22008] ppid=21993 vsize=28766288 memory=96618778987242 CPUtime=0 cores=0-7
/proc/21995/task/22008/stat : 22008 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827480574672 139829288433563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22009] ppid=21993 vsize=28766288 memory=96623073954538 CPUtime=1.88 cores=0-7
/proc/21995/task/22009/stat : 22009 (java) S 21993 21993 14667 0 -1 1077944384 5308 0 0 0 186 2 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827479509104 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22010] ppid=21993 vsize=28766288 memory=96635958856426 CPUtime=1.94 cores=0-7
/proc/21995/task/22010/stat : 22010 (java) S 21993 21993 14667 0 -1 1077944384 5407 0 0 0 193 1 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827478459824 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22011] ppid=21993 vsize=28766288 memory=96644548791018 CPUtime=1.93 cores=0-7
/proc/21995/task/22011/stat : 22011 (java) S 21993 21993 14667 0 -1 1077944384 7524 0 0 0 192 1 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827477407456 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22012] ppid=21993 vsize=28766288 memory=137944954308353 CPUtime=0.66 cores=0-7
/proc/21995/task/22012/stat : 22012 (java) S 21993 21993 14667 0 -1 1077944384 2935 0 0 0 65 1 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827476359344 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22013] ppid=21993 vsize=28766288 memory=280270775449616 CPUtime=0 cores=0-7
/proc/21995/task/22013/stat : 22013 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476600826 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827475311328 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22014] ppid=21993 vsize=28766288 memory=96644548791018 CPUtime=0 cores=0-7
/proc/21995/task/22014/stat : 22014 (java) D 21993 21993 14667 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476600827 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827474258784 139829273271054 0 4 0 16800975 18446744072099536005 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22015] ppid=21993 vsize=28766288 memory=96644548791018 CPUtime=0.19 cores=0-7
/proc/21995/task/22015/stat : 22015 (java) S 21993 21993 14667 0 -1 1077944384 75 0 0 0 19 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827465278944 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22016] ppid=21993 vsize=28766288 memory=96644548791018 CPUtime=0.16 cores=0-7
/proc/21995/task/22016/stat : 22016 (java) S 21993 21993 14667 0 -1 1077944384 42 0 0 0 16 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827464224768 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22017] ppid=21993 vsize=28766288 memory=1416 CPUtime=0.2 cores=0-7
/proc/21995/task/22017/stat : 22017 (java) S 21993 21993 14667 0 -1 1077944384 41 0 0 0 20 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827463174032 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22018] ppid=21993 vsize=28766288 memory=1712 CPUtime=0.2 cores=0-7
/proc/21995/task/22018/stat : 22018 (java) S 21993 21993 14667 0 -1 1077944384 80 0 0 0 20 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827462121664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22019] ppid=21993 vsize=28766288 memory=692 CPUtime=0.18 cores=0-7
/proc/21995/task/22019/stat : 22019 (java) S 21993 21993 14667 0 -1 1077944384 31 0 0 0 18 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827461067664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22020] ppid=21993 vsize=28766288 memory=1056 CPUtime=0.12 cores=0-7
/proc/21995/task/22020/stat : 22020 (java) S 21993 21993 14667 0 -1 1077944384 35 0 0 0 12 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827460017440 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22021] ppid=21993 vsize=28766288 memory=1556 CPUtime=0.17 cores=0-7
/proc/21995/task/22021/stat : 22021 (java) S 21993 21993 14667 0 -1 1077944384 29 0 0 0 17 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827458960512 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22022] ppid=21993 vsize=28766288 memory=780 CPUtime=0.18 cores=0-7
/proc/21995/task/22022/stat : 22022 (java) S 21993 21993 14667 0 -1 1077944384 30 0 0 0 18 0 0 0 20 0 28 0 476601106 29456678912 167943 33554432000 4194304 4196468 140735526875744 139827457911312 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 673224 KiB

[startup+4.00095 s]*
/proc/loadavg: 7.32 7.84 7.99 5/218 22038
/proc/meminfo: memFree=17758196/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
[pid=21995] ppid=21993 vsize=28768336 memory=676820 CPUtime=14.12 cores=0-7
/proc/21995/stat : 21995 (java) S 21993 21993 14667 0 -1 1077944320 38575 0 0 0 1375 37 0 0 20 0 28 0 476600820 29458776064 169205 33554432000 4194304 4196468 140735526875744 140735526858288 139829288414967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
/proc/21995/statm: 7192084 169205 3524 1 0 7153184 0
[pid=21995/tid=21996] ppid=21993 vsize=28768336 memory=0 CPUtime=2.74 cores=0-7
/proc/21995/task/21996/stat : 21996 (java) S 21993 21993 14667 0 -1 1077944384 10566 0 0 0 265 9 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139829292655744 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21997] ppid=21993 vsize=28768336 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/21995/task/21997/stat : 21997 (java) S 21993 21993 14667 0 -1 1077944384 196 0 0 0 7 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139829241035536 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21998] ppid=21993 vsize=28768336 memory=6655300316396806240 CPUtime=0.08 cores=0-7
/proc/21995/task/21998/stat : 21998 (java) S 21993 21993 14667 0 -1 1077944384 165 0 0 0 6 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139829239982992 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=21999] ppid=21993 vsize=28768336 memory=6944656592455359580 CPUtime=0.09 cores=0-7
/proc/21995/task/21999/stat : 21999 (java) S 21993 21993 14667 0 -1 1077944384 89 0 0 0 7 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139829238930448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22000] ppid=21993 vsize=28768336 memory=6944656592387989600 CPUtime=0.09 cores=0-7
/proc/21995/task/22000/stat : 22000 (java) S 21993 21993 14667 0 -1 1077944384 148 0 0 0 7 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139828836293776 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22001] ppid=21993 vsize=28768336 memory=4206186544037388384 CPUtime=0.1 cores=0-7
/proc/21995/task/22001/stat : 22001 (java) S 21993 21993 14667 0 -1 1077944384 167 0 0 0 8 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139828835240208 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22002] ppid=21993 vsize=28768336 memory=6944656592455359580 CPUtime=0.07 cores=0-7
/proc/21995/task/22002/stat : 22002 (java) S 21993 21993 14667 0 -1 1077944384 194 0 0 0 5 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139828834187664 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22003] ppid=21993 vsize=28768336 memory=9023629670928638048 CPUtime=0.1 cores=0-7
/proc/21995/task/22003/stat : 22003 (java) S 21993 21993 14667 0 -1 1077944384 113 0 0 0 8 2 0 0 20 0 28 0 476600821 29458776064 169205 33554432000 4194304 4196468 140735526875744 139828833135120 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22004] ppid=21993 vsize=28768336 memory=6944656592387989600 CPUtime=0.06 cores=0-7
/proc/21995/task/22004/stat : 22004 (java) S 21993 21993 14667 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 28 0 476600822 29458776064 169205 33554432000 4194304 4196468 140735526875744 139828832082576 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22005] ppid=21993 vsize=28768336 memory=6944656591801717918 CPUtime=0.01 cores=0-7
/proc/21995/task/22005/stat : 22005 (java) S 21993 21993 14667 0 -1 1077944384 1346 0 0 0 1 0 0 0 20 0 28 0 476600823 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827483732464 139829288426114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22006] ppid=21993 vsize=28768336 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/21995/task/22006/stat : 22006 (java) S 21993 21993 14667 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 476600823 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827482678752 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22007] ppid=21993 vsize=28768336 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/21995/task/22007/stat : 22007 (java) S 21993 21993 14667 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 476600824 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827481626112 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22008] ppid=21993 vsize=28768336 memory=-7025452035940392864 CPUtime=0 cores=0-7
/proc/21995/task/22008/stat : 22008 (java) S 21993 21993 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827480574672 139829288433563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22009] ppid=21993 vsize=28768336 memory=7679937539659563834 CPUtime=2.31 cores=0-7
/proc/21995/task/22009/stat : 22009 (java) R 21993 21993 14667 0 -1 4202560 5564 0 0 0 229 2 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827479521264 139829269959544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22010] ppid=21993 vsize=28768336 memory=-8990767739041718176 CPUtime=2.25 cores=0-7
/proc/21995/task/22010/stat : 22010 (java) R 21993 21993 14667 0 -1 4202560 5711 0 0 0 224 1 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827478468720 139829271825760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22011] ppid=21993 vsize=28768336 memory=-6236875931223311505 CPUtime=2.35 cores=0-7
/proc/21995/task/22011/stat : 22011 (java) R 21993 21993 14667 0 -1 4202560 8044 0 0 0 234 1 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827477405776 139829271825768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22012] ppid=21993 vsize=28768336 memory=0 CPUtime=0.78 cores=0-7
/proc/21995/task/22012/stat : 22012 (java) S 21993 21993 14667 0 -1 1077944384 3290 0 0 0 76 2 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827476363632 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22013] ppid=21993 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/21995/task/22013/stat : 22013 (java) S 21993 21993 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476600826 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827475311328 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22014] ppid=21993 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22014/stat : 22014 (java) S 21993 21993 14667 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 476600827 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827474258864 139829288426114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22031] ppid=21993 vsize=28768336 memory=2241 CPUtime=0.02 cores=0-7
/proc/21995/task/22031/stat : 22031 (java) S 21993 21993 14667 0 -1 1077944384 19 0 0 0 2 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827462123520 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22032] ppid=21993 vsize=28768336 memory=2244 CPUtime=0.01 cores=0-7
/proc/21995/task/22032/stat : 22032 (java) S 21993 21993 14667 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827457914448 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22033] ppid=21993 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/21995/task/22033/stat : 22033 (java) S 21993 21993 14667 0 -1 1077944384 18 0 0 0 2 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827463176912 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22034] ppid=21993 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22034/stat : 22034 (java) S 21993 21993 14667 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827461071696 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22035] ppid=21993 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/21995/task/22035/stat : 22035 (java) R 21993 21993 14667 0 -1 4202560 29 0 0 0 10 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827465279656 139828927128289 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22036] ppid=21993 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21995/task/22036/stat : 22036 (java) S 21993 21993 14667 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827458966608 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22037] ppid=21993 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/21995/task/22037/stat : 22037 (java) S 21993 21993 14667 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827460019408 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
[pid=21995/tid=22038] ppid=21993 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/21995/task/22038/stat : 22038 (java) S 21993 21993 14667 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 476601209 29458776064 169205 33554432000 4194304 4196468 140735526875744 139827464230224 139829288425173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10174464 140735526884336 140735526884507 140735526884507 140735526887375 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 678272 KiB

[startup+4.20105 s]
/proc/loadavg: 7.32 7.84 7.99 5/218 22038
/proc/meminfo: memFree=17758196/32770624 swapFree=66986244/67108860
[pid=21993] ppid=21990 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21993/stat : 21993 (xcsp3-exec) S 21990 21993 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476600820 115843072 363 33554432000 4194304 5098028 140737425249584 140737425247688 139868256436860 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29130752 140737425253243 140737425253486 140737425253486 140737425256394 0
/proc/21993/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 4.20886
CPU time (s): 14.7501
CPU user time (s): 14.3532
CPU system time (s): 0.396857
CPU usage (%): 350.453
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 678280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3532
system time used= 0.396857
maximum resident set size= 677896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4293
involuntary context switches= 155


# summary of solver processes directly reported to runsolver:
#   pid: 21993
#   total CPU time (s): 14.7501
#   total CPU user time (s): 14.3532
#   total CPU system time (s): 0.396857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05637 second user time and 0.083427 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml
MD5SUM	0df69417c613ef889e63c8df69e0b506
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3
Best CPU time to get the best result obtained on this benchmark	1.32046
Satisfiable
(Un)Satisfiability was proved
Number of variables	1216
Number of constraints	7844
Number of domains	1
Minimum domain size	1216
Maximum domain size	1216
Distribution of domain sizes	[{"size":1216,"count":1216}]
Minimum variable degree	2
Maximum variable degree	21
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":7844}]
Number of extensional constraints	0
Number of intensional constraints	7844
Distribution of constraint types	[{"type":"intension","count":7844}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404829

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
