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-24 parallel	OPT	6	392.902	51.9814
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 (10978 MiB free)
  memory of node 1: 16384 MiB (12790 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407024-1569344161/watcher-4407024-1569344161 -o /var/tmp/evaluation-result-4407024-1569344161/solver-4407024-1569344161 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 586788715 HOME/instance-4407024-1569344161.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=17985, runsolver pid=17982
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 2.50 2.64 2.53 2/216 18006
/proc/meminfo: memFree=24321752/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=28227396 memory=29896 CPUtime=0.12 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 5962 0 0 0 11 1 0 0 20 0 20 0 510655640 28904853504 7474 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7056849 7474 3116 1 0 7019032 0
[pid=17987/tid=17988] ppid=17985 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) R 17985 17985 16637 0 -1 4202560 3862 0 0 0 8 0 0 0 20 0 20 0 510655640 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332476213040 140332471991702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=28227396 memory=140302624216704 CPUtime=0 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17992] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17992/stat : 17992 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332421442704 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17993] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17993/stat : 17993 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332420389136 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17994] ppid=17985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/17994/stat : 17994 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332018555280 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17995] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17995/stat : 17995 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332017502736 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17996] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17996/stat : 17996 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 7474 33554432000 4194304 4196468 140735557975936 140332016450192 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17997] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17997/stat : 17997 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655642 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331856706032 140332471990914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17998] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17998/stat : 17998 (java) S 17985 17985 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510655643 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331855652256 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17999] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17999/stat : 17999 (java) S 17985 17985 16637 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510655643 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331854599664 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18000] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18000/stat : 18000 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655645 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331853548240 140332471998363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18001] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18001/stat : 18001 (java) S 17985 17985 16637 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 510655645 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331852494832 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18002] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18002/stat : 18002 (java) S 17985 17985 16637 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510655645 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331851442288 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18003] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18003/stat : 18003 (java) R 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655645 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331850389744 140332471991702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18004] ppid=17985 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) R 17985 17985 16637 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 20 0 510655646 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331849334736 140332472001114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655646 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655646 28904853504 7474 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31344 KiB

[startup+0.210817 s]*
/proc/loadavg: 2.50 2.64 2.53 2/216 18006
/proc/meminfo: memFree=24309752/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=28227396 memory=41424 CPUtime=0.33 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 9549 0 0 0 30 3 0 0 20 0 20 0 510655640 28904853504 10356 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7056849 10356 3310 1 0 7019032 0
[pid=17987/tid=17988] ppid=17985 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) R 17985 17985 16637 0 -1 4202560 6679 0 0 0 17 2 0 0 20 0 20 0 510655640 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332476213824 140332439571520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=28227396 memory=140302628032430 CPUtime=0 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17992] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17992/stat : 17992 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332421442704 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17993] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17993/stat : 17993 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332420389136 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17994] ppid=17985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/17994/stat : 17994 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332018555280 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17995] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17995/stat : 17995 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332017502736 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17996] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17996/stat : 17996 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655641 28904853504 10356 33554432000 4194304 4196468 140735557975936 140332016450192 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17997] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17997/stat : 17997 (java) S 17985 17985 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510655642 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331856706032 140332471990914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17998] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17998/stat : 17998 (java) S 17985 17985 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510655643 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331855652256 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17999] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17999/stat : 17999 (java) S 17985 17985 16637 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510655643 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331854599664 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18000] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18000/stat : 18000 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655645 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331853548240 140332471998363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18001] ppid=17985 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17987/task/18001/stat : 18001 (java) S 17985 17985 16637 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 20 0 510655645 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331852494832 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18002] ppid=17985 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/17987/task/18002/stat : 18002 (java) S 17985 17985 16637 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 510655645 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331851442288 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18003] ppid=17985 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/17987/task/18003/stat : 18003 (java) S 17985 17985 16637 0 -1 1077944384 202 0 0 0 1 0 0 0 20 0 20 0 510655645 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331850389744 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18004] ppid=17985 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) R 17985 17985 16637 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 20 0 510655646 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331849337200 140332450935393 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655646 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655646 28904853504 10356 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42872 KiB

[startup+0.310831 s]*
/proc/loadavg: 2.50 2.64 2.53 4/216 18006
/proc/meminfo: memFree=24302988/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=28231652 memory=49784 CPUtime=0.52 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 10837 0 0 0 48 4 0 0 20 0 20 0 510655640 28909211648 12446 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7057913 12446 3344 1 0 7019032 0
[pid=17987/tid=17988] ppid=17985 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) R 17985 17985 16637 0 -1 4202560 7800 0 0 0 26 3 0 0 20 0 20 0 510655640 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332476210880 140332465076603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17992] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17992/stat : 17992 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332421442704 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17993] ppid=17985 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/17987/task/17993/stat : 17993 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332420389136 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17994] ppid=17985 vsize=28231652 memory=140302488794031 CPUtime=0 cores=0-7
/proc/17987/task/17994/stat : 17994 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332018555280 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17995] ppid=17985 vsize=28231652 memory=140302488796336 CPUtime=0 cores=0-7
/proc/17987/task/17995/stat : 17995 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332017502736 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17996] ppid=17985 vsize=28231652 memory=140302488798640 CPUtime=0 cores=0-7
/proc/17987/task/17996/stat : 17996 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655641 28909211648 12475 33554432000 4194304 4196468 140735557975936 140332016450192 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17997] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17997/stat : 17997 (java) S 17985 17985 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510655642 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331856706032 140332471990914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17998] ppid=17985 vsize=28231652 memory=280604977604240 CPUtime=0 cores=0-7
/proc/17987/task/17998/stat : 17998 (java) S 17985 17985 16637 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510655643 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331855652256 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17999] ppid=17985 vsize=28231652 memory=280604977611152 CPUtime=0 cores=0-7
/proc/17987/task/17999/stat : 17999 (java) S 17985 17985 16637 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510655643 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331854599664 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18000] ppid=17985 vsize=28231652 memory=280604977552432 CPUtime=0 cores=0-7
/proc/17987/task/18000/stat : 18000 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655645 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331853548240 140332471998363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18001] ppid=17985 vsize=28231652 memory=280604977624976 CPUtime=0.02 cores=0-7
/proc/17987/task/18001/stat : 18001 (java) S 17985 17985 16637 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 20 0 510655645 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331852494832 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18002] ppid=17985 vsize=28231652 memory=280604977631888 CPUtime=0.03 cores=0-7
/proc/17987/task/18002/stat : 18002 (java) R 17985 17985 16637 0 -1 4202560 336 0 0 0 3 0 0 0 20 0 20 0 510655645 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331851442288 140332451672859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18003] ppid=17985 vsize=28231652 memory=280604977629584 CPUtime=0.02 cores=0-7
/proc/17987/task/18003/stat : 18003 (java) S 17985 17985 16637 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 20 0 510655645 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331850389744 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18004] ppid=17985 vsize=28231652 memory=280604977645744 CPUtime=0.13 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) S 17985 17985 16637 0 -1 1077944384 796 0 0 0 13 0 0 0 20 0 20 0 510655646 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331849337200 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510655646 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655646 28909211648 12475 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51232 KiB

[startup+0.701057 s]
/proc/loadavg: 2.50 2.64 2.53 4/216 18006
/proc/meminfo: memFree=24279128/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=28233776 memory=126580 CPUtime=1.95 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 15127 0 0 0 189 6 0 0 20 0 20 0 510655640 28911386624 31645 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7058444 31645 3451 1 0 7019544 0
[pid=17987/tid=17988] ppid=17985 vsize=28233776 memory=280604978003632 CPUtime=0.67 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) R 17985 17985 16637 0 -1 4202560 8368 0 0 0 63 4 0 0 20 0 20 0 510655640 28911386624 31645 33554432000 4194304 4196468 140735557975936 140332476216016 140332100517952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=28233776 memory=140302489002864 CPUtime=0 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28911386624 31645 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510655641 28911386624 31645 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510655641 28911386624 31645 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0

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

[pid=17987/tid=18004] ppid=17985 vsize=29300848 memory=0 CPUtime=0.95 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) S 17985 17985 16637 0 -1 1077944384 8052 0 0 0 93 2 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331849337200 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=29300848 memory=280604978181152 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=29300848 memory=14008 CPUtime=0.02 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1007 0 0 0 2 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18103] ppid=17985 vsize=29300848 memory=12024 CPUtime=45.82 cores=0-7
/proc/17987/task/18103/stat : 18103 (java) R 17985 17985 16637 0 -1 4202560 7888 0 0 0 4543 39 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331825388216 140332110036132 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18104] ppid=17985 vsize=29300848 memory=2116 CPUtime=45.94 cores=0-7
/proc/17987/task/18104/stat : 18104 (java) R 17985 17985 16637 0 -1 4202560 568 0 0 0 4594 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331822231872 140332104297506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18105] ppid=17985 vsize=29300848 memory=280604978232400 CPUtime=45.63 cores=0-7
/proc/17987/task/18105/stat : 18105 (java) R 17985 17985 16637 0 -1 4202560 7582 0 0 0 4529 34 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331820125496 140332109696375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18106] ppid=17985 vsize=29300848 memory=589972050867744050 CPUtime=46.04 cores=0-7
/proc/17987/task/18106/stat : 18106 (java) R 17985 17985 16637 0 -1 4202560 755 0 0 0 4603 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331826442232 140332110036099 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18107] ppid=17985 vsize=29300848 memory=288288878790706008 CPUtime=45.59 cores=0-7
/proc/17987/task/18107/stat : 18107 (java) R 17985 17985 16637 0 -1 4202560 3807 0 0 0 4538 21 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331823286552 140332103899698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18108] ppid=17985 vsize=29300848 memory=4337300904001929248 CPUtime=45.71 cores=0-7
/proc/17987/task/18108/stat : 18108 (java) R 17985 17985 16637 0 -1 4202560 607 0 0 0 4571 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331827495112 140332109164881 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18109] ppid=17985 vsize=29300848 memory=0 CPUtime=45.58 cores=0-7
/proc/17987/task/18109/stat : 18109 (java) R 17985 17985 16637 0 -1 4202560 6694 0 0 0 4522 36 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331821181024 140332102980501 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18110] ppid=17985 vsize=29300848 memory=14008 CPUtime=45.37 cores=0-7
/proc/17987/task/18110/stat : 18110 (java) R 17985 17985 16637 0 -1 4202560 853 0 0 0 4536 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331824337400 140332109164559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 390.31 s
Current children cumulated vsize: 29413976 KiB
Current children cumulated memory: 5397900 KiB

[startup+51.802 s]
/proc/loadavg: 5.82 3.49 2.82 9/224 18113
/proc/meminfo: memFree=18949012/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=29300848 memory=5396452 CPUtime=391.91 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 106858 0 0 0 38953 238 0 0 20 0 28 0 510655640 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7325212 1349113 3533 1 0 7286312 0
[pid=17987/tid=17988] ppid=17985 vsize=29300848 memory=34672 CPUtime=3.57 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) S 17985 17985 16637 0 -1 1077944384 11561 0 0 0 347 10 0 0 20 0 28 0 510655640 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332476220544 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=29300848 memory=496 CPUtime=0.22 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 929 0 0 0 14 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=29300848 memory=1564 CPUtime=0.23 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 964 0 0 0 15 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=29300848 memory=928 CPUtime=0.23 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 986 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17992] ppid=17985 vsize=29300848 memory=1744 CPUtime=0.23 cores=0-7
/proc/17987/task/17992/stat : 17992 (java) S 17985 17985 16637 0 -1 1077944384 1011 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332421442704 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17993] ppid=17985 vsize=29300848 memory=780 CPUtime=0.22 cores=0-7
/proc/17987/task/17993/stat : 17993 (java) S 17985 17985 16637 0 -1 1077944384 364 0 0 0 14 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332420389136 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17994] ppid=17985 vsize=29300848 memory=1440 CPUtime=0.23 cores=0-7
/proc/17987/task/17994/stat : 17994 (java) S 17985 17985 16637 0 -1 1077944384 587 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332018555280 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17995] ppid=17985 vsize=29300848 memory=63992 CPUtime=0.24 cores=0-7
/proc/17987/task/17995/stat : 17995 (java) S 17985 17985 16637 0 -1 1077944384 971 0 0 0 15 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332017502736 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17996] ppid=17985 vsize=29300848 memory=988 CPUtime=0.24 cores=0-7
/proc/17987/task/17996/stat : 17996 (java) S 17985 17985 16637 0 -1 1077944384 465 0 0 0 16 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332016450192 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17997] ppid=17985 vsize=29300848 memory=2052 CPUtime=0.03 cores=0-7
/proc/17987/task/17997/stat : 17997 (java) S 17985 17985 16637 0 -1 1077944384 3631 0 0 0 2 1 0 0 20 0 28 0 510655642 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331856706032 140332471990914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17998] ppid=17985 vsize=29300848 memory=1428 CPUtime=0 cores=0-7
/proc/17987/task/17998/stat : 17998 (java) S 17985 17985 16637 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510655643 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331855652320 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17999] ppid=17985 vsize=29300848 memory=1716 CPUtime=0 cores=0-7
/proc/17987/task/17999/stat : 17999 (java) S 17985 17985 16637 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 510655643 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331854599680 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18000] ppid=17985 vsize=29300848 memory=784 CPUtime=0 cores=0-7
/proc/17987/task/18000/stat : 18000 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331853548240 140332471998363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18001] ppid=17985 vsize=29300848 memory=8560 CPUtime=3.99 cores=0-7
/proc/17987/task/18001/stat : 18001 (java) S 17985 17985 16637 0 -1 1077944384 15445 0 0 0 397 2 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331852494832 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18002] ppid=17985 vsize=29300848 memory=6204 CPUtime=4.17 cores=0-7
/proc/17987/task/18002/stat : 18002 (java) S 17985 17985 16637 0 -1 1077944384 15133 0 0 0 414 3 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331851442288 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18003] ppid=17985 vsize=29300848 memory=1056 CPUtime=4.26 cores=0-7
/proc/17987/task/18003/stat : 18003 (java) S 17985 17985 16637 0 -1 1077944384 13292 0 0 0 424 2 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331850389744 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18004] ppid=17985 vsize=29300848 memory=1540 CPUtime=0.95 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) S 17985 17985 16637 0 -1 1077944384 8052 0 0 0 93 2 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331849337200 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=29300848 memory=728 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=29300848 memory=3956 CPUtime=0.02 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1007 0 0 0 2 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18103] ppid=17985 vsize=29300848 memory=449 CPUtime=46.02 cores=0-7
/proc/17987/task/18103/stat : 18103 (java) R 17985 17985 16637 0 -1 4202560 7901 0 0 0 4563 39 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331825388216 140332103186392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18104] ppid=17985 vsize=29300848 memory=0 CPUtime=46.14 cores=0-7
/proc/17987/task/18104/stat : 18104 (java) R 17985 17985 16637 0 -1 4202560 568 0 0 0 4614 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331822231872 140332110036735 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18105] ppid=17985 vsize=29300848 memory=0 CPUtime=45.83 cores=0-7
/proc/17987/task/18105/stat : 18105 (java) R 17985 17985 16637 0 -1 4202560 7590 0 0 0 4549 34 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331820125496 140332109515596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18106] ppid=17985 vsize=29300848 memory=0 CPUtime=46.24 cores=0-7
/proc/17987/task/18106/stat : 18106 (java) R 17985 17985 16637 0 -1 4202560 755 0 0 0 4623 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331826442232 140332109164941 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18107] ppid=17985 vsize=29300848 memory=7521381261906701221 CPUtime=45.79 cores=0-7
/proc/17987/task/18107/stat : 18107 (java) R 17985 17985 16637 0 -1 4202560 3809 0 0 0 4558 21 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331823286552 140332109696375 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18108] ppid=17985 vsize=29300848 memory=-6369387732215973279 CPUtime=45.91 cores=0-7
/proc/17987/task/18108/stat : 18108 (java) R 17985 17985 16637 0 -1 4202560 607 0 0 0 4591 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331827495112 140332108276488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18109] ppid=17985 vsize=29300848 memory=7232886968738802340 CPUtime=45.78 cores=0-7
/proc/17987/task/18109/stat : 18109 (java) R 17985 17985 16637 0 -1 4202560 6701 0 0 0 4542 36 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331821181024 140332107358703 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18110] ppid=17985 vsize=29300848 memory=-7522837583129502606 CPUtime=45.57 cores=0-7
/proc/17987/task/18110/stat : 18110 (java) R 17985 17985 16637 0 -1 4202560 853 0 0 0 4556 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331824337400 140332104297547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 391.91 s
Current children cumulated vsize: 29413976 KiB
Current children cumulated memory: 5397900 KiB

[startup+51.902 s]
/proc/loadavg: 5.82 3.49 2.82 9/224 18113
/proc/meminfo: memFree=18949012/32770624 swapFree=67002960/67108860
[pid=17985] ppid=17982 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/17985/stat : 17985 (xcsp3-exec) S 17982 17985 16637 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510655639 115843072 362 33554432000 4194304 5098028 140727127102032 140727127100136 140472365699708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27832320 140727127110482 140727127110741 140727127110741 140727127113670 0
/proc/17985/statm: 28282 362 304 221 0 87 0
[pid=17987] ppid=17985 vsize=29300848 memory=5396452 CPUtime=392.71 cores=0-7
/proc/17987/stat : 17987 (java) S 17985 17985 16637 0 -1 1077944320 107233 0 0 0 39032 239 0 0 20 0 28 0 510655640 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140735557958480 140332471979767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
/proc/17987/statm: 7325212 1349113 3533 1 0 7286312 0
[pid=17987/tid=17988] ppid=17985 vsize=29300848 memory=1448 CPUtime=3.57 cores=0-7
/proc/17987/task/17988/stat : 17988 (java) S 17985 17985 16637 0 -1 1077944384 11561 0 0 0 347 10 0 0 20 0 28 0 510655640 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332476220544 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17989] ppid=17985 vsize=29300848 memory=5396452 CPUtime=0.22 cores=0-7
/proc/17987/task/17989/stat : 17989 (java) S 17985 17985 16637 0 -1 1077944384 929 0 0 0 14 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332424600336 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17990] ppid=17985 vsize=29300848 memory=280604977540728 CPUtime=0.23 cores=0-7
/proc/17987/task/17990/stat : 17990 (java) S 17985 17985 16637 0 -1 1077944384 964 0 0 0 15 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332423547792 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17991] ppid=17985 vsize=29300848 memory=6944656592455360604 CPUtime=0.23 cores=0-7
/proc/17987/task/17991/stat : 17991 (java) S 17985 17985 16637 0 -1 1077944384 986 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332422495248 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17992] ppid=17985 vsize=29300848 memory=1036 CPUtime=0.23 cores=0-7
/proc/17987/task/17992/stat : 17992 (java) S 17985 17985 16637 0 -1 1077944384 1011 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332421442704 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17993] ppid=17985 vsize=29300848 memory=14008 CPUtime=0.22 cores=0-7
/proc/17987/task/17993/stat : 17993 (java) S 17985 17985 16637 0 -1 1077944384 364 0 0 0 14 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332420389136 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17994] ppid=17985 vsize=29300848 memory=12024 CPUtime=0.23 cores=0-7
/proc/17987/task/17994/stat : 17994 (java) S 17985 17985 16637 0 -1 1077944384 587 0 0 0 14 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332018555280 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17995] ppid=17985 vsize=29300848 memory=3280 CPUtime=0.24 cores=0-7
/proc/17987/task/17995/stat : 17995 (java) S 17985 17985 16637 0 -1 1077944384 971 0 0 0 15 9 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332017502736 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17996] ppid=17985 vsize=29300848 memory=63992 CPUtime=0.24 cores=0-7
/proc/17987/task/17996/stat : 17996 (java) S 17985 17985 16637 0 -1 1077944384 465 0 0 0 16 8 0 0 20 0 28 0 510655641 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140332016450192 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17997] ppid=17985 vsize=29300848 memory=988 CPUtime=0.03 cores=0-7
/proc/17987/task/17997/stat : 17997 (java) S 17985 17985 16637 0 -1 1077944384 3631 0 0 0 2 1 0 0 20 0 28 0 510655642 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331856706032 140332471990914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17998] ppid=17985 vsize=29300848 memory=164 CPUtime=0 cores=0-7
/proc/17987/task/17998/stat : 17998 (java) S 17985 17985 16637 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 510655643 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331855652320 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=17999] ppid=17985 vsize=29300848 memory=-1161699032755964503 CPUtime=0 cores=0-7
/proc/17987/task/17999/stat : 17999 (java) S 17985 17985 16637 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 28 0 510655643 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331854599680 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18000] ppid=17985 vsize=29300848 memory=-6452064069391756930 CPUtime=0 cores=0-7
/proc/17987/task/18000/stat : 18000 (java) S 17985 17985 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331853548240 140332471998363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18001] ppid=17985 vsize=29300848 memory=1448 CPUtime=3.99 cores=0-7
/proc/17987/task/18001/stat : 18001 (java) S 17985 17985 16637 0 -1 1077944384 15445 0 0 0 397 2 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331852494832 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18002] ppid=17985 vsize=29300848 memory=5041240 CPUtime=4.17 cores=0-7
/proc/17987/task/18002/stat : 18002 (java) S 17985 17985 16637 0 -1 1077944384 15133 0 0 0 414 3 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331851442288 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18003] ppid=17985 vsize=29300848 memory=1448 CPUtime=4.26 cores=0-7
/proc/17987/task/18003/stat : 18003 (java) S 17985 17985 16637 0 -1 1077944384 13292 0 0 0 424 2 0 0 20 0 28 0 510655645 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331850389744 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18004] ppid=17985 vsize=29300848 memory=13297 CPUtime=0.95 cores=0-7
/proc/17987/task/18004/stat : 18004 (java) S 17985 17985 16637 0 -1 1077944384 8052 0 0 0 93 2 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331849337200 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18005] ppid=17985 vsize=29300848 memory=4420 CPUtime=0 cores=0-7
/proc/17987/task/18005/stat : 18005 (java) S 17985 17985 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331848284896 140332471989973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18006] ppid=17985 vsize=29300848 memory=6628 CPUtime=0.02 cores=0-7
/proc/17987/task/18006/stat : 18006 (java) S 17985 17985 16637 0 -1 1077944384 1007 0 0 0 2 0 0 0 20 0 28 0 510655646 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331847232432 140332471990914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18103] ppid=17985 vsize=29300848 memory=8836 CPUtime=46.12 cores=0-7
/proc/17987/task/18103/stat : 18103 (java) R 17985 17985 16637 0 -1 4202560 7907 0 0 0 4573 39 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331825388216 140332102980517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18104] ppid=17985 vsize=29300848 memory=6791534058613427641 CPUtime=46.24 cores=0-7
/proc/17987/task/18104/stat : 18104 (java) R 17985 17985 16637 0 -1 4202560 568 0 0 0 4624 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331822231872 140332109699059 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18105] ppid=17985 vsize=29300848 memory=-9123011406873178988 CPUtime=45.93 cores=0-7
/proc/17987/task/18105/stat : 18105 (java) R 17985 17985 16637 0 -1 4202560 7597 0 0 0 4559 34 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331820125496 140332105159213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18106] ppid=17985 vsize=29300848 memory=7962233748357261899 CPUtime=46.34 cores=0-7
/proc/17987/task/18106/stat : 18106 (java) R 17985 17985 16637 0 -1 4202560 755 0 0 0 4633 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331826442232 140332109164812 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18107] ppid=17985 vsize=29300848 memory=8536313005988881035 CPUtime=45.89 cores=0-7
/proc/17987/task/18107/stat : 18107 (java) R 17985 17985 16637 0 -1 4202560 3811 0 0 0 4568 21 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331823286552 140332103900055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18108] ppid=17985 vsize=29300848 memory=0 CPUtime=46.01 cores=0-7
/proc/17987/task/18108/stat : 18108 (java) R 17985 17985 16637 0 -1 4202560 607 0 0 0 4601 0 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331827495112 140332109164876 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18109] ppid=17985 vsize=29300848 memory=-3395018494899541897 CPUtime=45.88 cores=0-7
/proc/17987/task/18109/stat : 18109 (java) R 17985 17985 16637 0 -1 4202560 7061 0 0 0 4552 36 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331821181024 140332101637276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
[pid=17987/tid=18110] ppid=17985 vsize=29300848 memory=-7447376531324479008 CPUtime=45.67 cores=0-7
/proc/17987/task/18110/stat : 18110 (java) R 17985 17985 16637 0 -1 4202560 853 0 0 0 4566 1 0 0 20 0 28 0 510656171 30004068352 1349113 33554432000 4194304 4196468 140735557975936 140331824337400 140332109164916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8982528 140735557977046 140735557977222 140735557977222 140735557980111 0
Current children cumulated CPU time: 392.71 s
Current children cumulated vsize: 29413976 KiB
Current children cumulated memory: 5397900 KiB

Child status: 0
Real time (s): 51.9814
CPU time (s): 392.902
CPU user time (s): 390.48
CPU system time (s): 2.42227
CPU usage (%): 755.852
Max. virtual memory (cumulated for all children) (KiB): 29413976
Max. memory (cumulated for all children) (KiB): 5397900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.48
system time used= 2.42226
maximum resident set size= 5397592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7354
involuntary context switches= 5324


# summary of solver processes directly reported to runsolver:
#   pid: 17985
#   total CPU time (s): 392.902
#   total CPU user time (s): 390.48
#   total CPU system time (s): 2.42227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.495295 second user time and 0.639845 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	58.2779
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407024

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
