2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	22	2400.03	2385.81
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 (7976 MiB free)
  memory of node 1: 16384 MiB (11856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292704-1532290780/watcher-4292704-1532290780 -o /tmp/evaluation-result-4292704-1532290780/solver-4292704-1532290780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532279285-3429 --watchdog 2560 HOME/xcsp3-exec -seed 1840573671 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292704-1532290780.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4758, runsolver pid=4755
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 1.39 1.66 1.68 3/217 4774
/proc/meminfo: memFree=20292332/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14082840 memory=28404 CPUtime=0.12 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 5525 0 0 0 11 1 0 0 20 0 15 0 46641193 14420828160 7101 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3520710 7101 2976 1 0 3483008 0
[pid=4760/tid=4761] ppid=4758 vsize=14082840 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 3537 0 0 0 8 1 0 0 20 0 15 0 46641194 14420828160 7101 33554432000 4194304 4196468 140733734683392 139928387299360 139928383081878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14082840 memory=3472468084805866704 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 7101 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 7101 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 7101 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 7101 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927562691616 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927561638768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0.01 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 7101 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 29860 KiB

[startup+0.210598 s]*
/proc/loadavg: 1.39 1.66 1.68 3/217 4774
/proc/meminfo: memFree=20280144/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14082840 memory=40816 CPUtime=0.34 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 8286 0 0 0 32 2 0 0 20 0 15 0 46641193 14420828160 10204 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3520710 10204 3158 1 0 3483008 0
[pid=4760/tid=4761] ppid=4758 vsize=14082840 memory=4500115623978573208 CPUtime=0.2 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 5406 0 0 0 19 1 0 0 20 0 15 0 46641194 14420828160 10204 33554432000 4194304 4196468 140733734683392 139928387304928 139928361306648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14082840 memory=3472468084805866704 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 10204 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 10204 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 10204 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14420828160 10204 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927562691616 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46641196 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927561638768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0.07 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 759 0 0 0 7 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14082840 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641199 14420828160 10204 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42272 KiB

[startup+0.310571 s]*
/proc/loadavg: 1.39 1.66 1.68 3/217 4774
/proc/meminfo: memFree=20274584/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14087096 memory=47744 CPUtime=0.51 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 9100 0 0 0 48 3 0 0 20 0 15 0 46641193 14425186304 11936 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3521774 11936 3222 1 0 3483008 0
[pid=4760/tid=4761] ppid=4758 vsize=14087096 memory=4500115623978573208 CPUtime=0.29 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 6124 0 0 0 27 2 0 0 20 0 15 0 46641194 14425186304 11936 33554432000 4194304 4196468 140733734683392 139928387306528 139928383093533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14087096 memory=3472468084805866704 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14425186304 11936 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14087096 memory=139955910717344 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641194 14425186304 11936 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14087096 memory=139955804421223 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14425186304 11936 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14087096 memory=139955804421103 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14425186304 11936 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14087096 memory=139955910718436 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46641196 14425186304 11936 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14087096 memory=139955804430319 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46641196 14425186304 11936 33554432000 4194304 4196468 140733734683392 139927562691616 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14087096 memory=279911608858320 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46641196 14425186304 11936 33554432000 4194304 4196468 140733734683392 139927561638768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14087096 memory=279911608865200 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14425186304 11936 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 604 0 0 0 4 0 0 0 20 0 15 0 46641199 14425186304 11936 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14087096 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 239 0 0 0 3 0 0 0 20 0 15 0 46641199 14425186304 12001 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14087096 memory=139955910715008 CPUtime=0.12 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 46641199 14425186304 12001 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14087096 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14425186304 12001 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14087096 memory=139955910715008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641199 14425186304 12001 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49200 KiB

[startup+0.701094 s]
/proc/loadavg: 1.39 1.66 1.68 5/217 4774
/proc/meminfo: memFree=20252688/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14089220 memory=101800 CPUtime=1.76 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 12344 0 0 0 172 4 0 0 20 0 15 0 46641193 14427361280 25450 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3522305 25450 3332 1 0 3483520 0
[pid=4760/tid=4761] ppid=4758 vsize=14089220 memory=15564 CPUtime=0.68 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 6646 0 0 0 65 3 0 0 20 0 15 0 46641194 14427361280 25450 33554432000 4194304 4196468 140733734683392 139928387307024 139928383081878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14427361280 25450 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14089220 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641194 14427361280 25450 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14089220 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14427361280 25450 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46641194 14427361280 25450 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14089220 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46641196 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14089220 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46641196 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927562691616 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14089220 memory=5300 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46641196 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927561638768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14089220 memory=11960 CPUtime=0.37 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) R 4758 4758 877 0 -1 4202560 1475 0 0 0 37 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927559523024 139928364593630 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14089220 memory=1008 CPUtime=0.37 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) R 4758 4758 877 0 -1 4202560 1127 0 0 0 37 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927558467984 139928362503073 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14089220 memory=792 CPUtime=0.32 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) R 4758 4758 877 0 -1 1077944384 1786 0 0 0 32 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14089220 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14089220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46641199 14427361280 25450 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 103256 KiB

[startup+1.50082 s]
/proc/loadavg: 1.39 1.66 1.68 5/217 4774
/proc/meminfo: memFree=20169036/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0

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

/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927561638784 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14091268 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14091268 memory=1952 CPUtime=6.58 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 41821 0 0 0 653 5 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14091268 memory=695048 CPUtime=4.08 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 28646 0 0 0 405 3 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.91 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 13602 0 0 0 89 2 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14091268 memory=18484 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14091268 memory=916 CPUtime=1.08 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1886 0 0 0 46 62 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 2276.42 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 696504 KiB

[startup+2322.3 s]
/proc/loadavg: 2.14 2.16 2.05 3/217 4925
/proc/meminfo: memFree=22191704/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14091268 memory=695048 CPUtime=2336.47 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 122345 0 0 0 233556 91 0 0 20 0 15 0 46641193 14429458432 173762 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3522817 173762 3430 1 0 3484032 0
[pid=4760/tid=4761] ppid=4758 vsize=14091268 memory=695048 CPUtime=2319.89 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 23170 0 0 0 231982 7 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928387308648 139927979962827 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.46 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 1108 0 0 0 42 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1843 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 754 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14091268 memory=1456 CPUtime=0.44 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 1290 0 0 0 40 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14091268 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 6645 0 0 0 197 4 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14091268 memory=695048 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927562691680 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927561638784 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14091268 memory=15616 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14091268 memory=1456 CPUtime=6.58 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 41821 0 0 0 653 5 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14091268 memory=1456 CPUtime=4.09 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 28811 0 0 0 406 3 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14091268 memory=1456 CPUtime=0.91 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 13602 0 0 0 89 2 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14091268 memory=695048 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14091268 memory=7392 CPUtime=1.1 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1892 0 0 0 46 64 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 2336.47 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 696504 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.13 2.05 3/217 4926
/proc/meminfo: memFree=22192308/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14091268 memory=695048 CPUtime=2396.5 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 122822 0 0 0 239558 92 0 0 20 0 15 0 46641193 14429458432 173762 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3522817 173762 3430 1 0 3484032 0
[pid=4760/tid=4761] ppid=4758 vsize=14091268 memory=695048 CPUtime=2379.89 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 23410 0 0 0 237982 7 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928387306304 139927980426296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14091268 memory=1456 CPUtime=0.46 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 1108 0 0 0 42 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1843 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14091268 memory=1456 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 754 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14091268 memory=695048 CPUtime=0.44 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 1290 0 0 0 40 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14091268 memory=279911608855008 CPUtime=2.01 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 6672 0 0 0 197 4 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14091268 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927562691680 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14091268 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927561638784 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14091268 memory=695048 CPUtime=6.59 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 42006 0 0 0 654 5 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14091268 memory=4140 CPUtime=4.09 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 28813 0 0 0 406 3 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14091268 memory=15616 CPUtime=0.91 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 13605 0 0 0 89 2 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14091268 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14091268 memory=1952 CPUtime=1.13 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1912 0 0 0 47 66 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 2396.5 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 696504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2385.8 s]
/proc/loadavg: 2.05 2.13 2.05 3/217 4926
/proc/meminfo: memFree=22192308/32770624 swapFree=67108860/67108860
[pid=4758] ppid=4755 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4758/stat : 4758 (xcsp3-exec) S 4755 4758 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46641193 115843072 364 33554432000 4194304 5098028 140724424599568 140724424597672 140263828324988 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24313856 140724424606778 140724424606980 140724424606980 140724424609738 0
/proc/4758/statm: 28282 364 306 221 0 87 0
[pid=4760] ppid=4758 vsize=14091268 memory=695048 CPUtime=2400 cores=1,3,5,7
/proc/4760/stat : 4760 (java) S 4758 4758 877 0 -1 1077944320 122822 0 0 0 239908 92 0 0 20 0 15 0 46641193 14429458432 173762 33554432000 4194304 4196468 140733734683392 140733734665936 139928383069943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
/proc/4760/statm: 3522817 173762 3430 1 0 3484032 0
[pid=4760/tid=4761] ppid=4758 vsize=14091268 memory=1724 CPUtime=2383.39 cores=1,3,5,7
/proc/4760/task/4761/stat : 4761 (java) R 4758 4758 877 0 -1 4202560 23410 0 0 0 238332 7 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928387306304 139927980426296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4762] ppid=4758 vsize=14091268 memory=1228 CPUtime=0.46 cores=1,3,5,7
/proc/4760/task/4762/stat : 4762 (java) S 4758 4758 877 0 -1 1077944384 1108 0 0 0 42 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928298138768 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4763] ppid=4758 vsize=14091268 memory=8112282956445269571 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4763/stat : 4763 (java) S 4758 4758 877 0 -1 1077944384 1843 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928297085968 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4764] ppid=4758 vsize=14091268 memory=5300 CPUtime=0.45 cores=1,3,5,7
/proc/4760/task/4764/stat : 4764 (java) S 4758 4758 877 0 -1 1077944384 754 0 0 0 41 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928296033168 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4765] ppid=4758 vsize=14091268 memory=4616 CPUtime=0.44 cores=1,3,5,7
/proc/4760/task/4765/stat : 4765 (java) S 4758 4758 877 0 -1 1077944384 1290 0 0 0 40 4 0 0 20 0 15 0 46641194 14429458432 173762 33554432000 4194304 4196468 140733734683392 139928294980368 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4766] ppid=4758 vsize=14091268 memory=11960 CPUtime=2.01 cores=1,3,5,7
/proc/4760/task/4766/stat : 4766 (java) S 4758 4758 877 0 -1 1077944384 6672 0 0 0 197 4 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927563745648 139928383081090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4767] ppid=4758 vsize=14091268 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4767/stat : 4767 (java) S 4758 4758 877 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927562691680 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4768] ppid=4758 vsize=14091268 memory=792 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4768/stat : 4768 (java) S 4758 4758 877 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 46641196 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927561638784 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4769] ppid=4758 vsize=14091268 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4769/stat : 4769 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927560587088 139928383088539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4770] ppid=4758 vsize=14091268 memory=1952 CPUtime=6.59 cores=1,3,5,7
/proc/4760/task/4770/stat : 4770 (java) S 4758 4758 877 0 -1 1077944384 42006 0 0 0 654 5 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927559535472 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4771] ppid=4758 vsize=14091268 memory=-8253362762721939848 CPUtime=4.1 cores=1,3,5,7
/proc/4760/task/4771/stat : 4771 (java) S 4758 4758 877 0 -1 1077944384 28813 0 0 0 407 3 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927558482672 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4772] ppid=4758 vsize=14091268 memory=4715433313220523562 CPUtime=0.91 cores=1,3,5,7
/proc/4760/task/4772/stat : 4772 (java) S 4758 4758 877 0 -1 1077944384 13605 0 0 0 89 2 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927557429872 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4773] ppid=4758 vsize=14091268 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/4760/task/4773/stat : 4773 (java) S 4758 4758 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927556377312 139928383080149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
[pid=4760/tid=4774] ppid=4758 vsize=14091268 memory=-8412656567318647667 CPUtime=1.13 cores=1,3,5,7
/proc/4760/task/4774/stat : 4774 (java) S 4758 4758 877 0 -1 1077944384 1912 0 0 0 47 66 0 0 20 0 15 0 46641199 14429458432 173762 33554432000 4194304 4196468 140733734683392 139927555324592 139928383081090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 36646912 140733734687873 140733734688049 140733734688049 140733734690767 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 696504 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2385.81 s]
# the end of solver process 4758 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001054 s, system=0.001526 s

[startup+2385.81 s]
# the end of solver process 4760 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.09 s, system=0.934698 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2385.81
CPU time (s): 2400.03
CPU user time (s): 2399.09
CPU system time (s): 0.934698
CPU usage (%): 100.596
Max. virtual memory (cumulated for all children) (KiB): 14206192
Max. memory (cumulated for all children) (KiB): 696504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.09
system time used= 0.934698
maximum resident set size= 695596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123608
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55104
involuntary context switches= 705


# summary of solver processes directly reported to runsolver:
#   pid: 4758,4760
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.09
#   total CPU system time (s): 0.934698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.984 second user time and 22.8803 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
MD5SUM	2788969af340f57bdb68eae00f77e52f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	5246
Number of domains	7
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5246}]
Number of extensional constraints	0
Number of intensional constraints	5246
Distribution of constraint types	[{"type":"intension","count":5246}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4292704

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
