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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	SAT (TO)	24	2400.68	604.7
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 (15257 MiB free)
  memory of node 1: 16384 MiB (14380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400606-1568676662/watcher-4400606-1568676662 -o /tmp/evaluation-result-4400606-1568676662/solver-4400606-1568676662 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1438203455 HOME/instance-4400606-1568676662.xml 

running on 4 cores: 0,2,4,6

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=5794, runsolver pid=5791
Current StackSize limit: 8192 KiB


[startup+0.102735 s]*
/proc/loadavg: 8.08 8.48 8.39 7/234 5810
/proc/meminfo: memFree=30334452/32770624 swapFree=66997368/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15144776 memory=29264 CPUtime=0.13 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 5750 0 0 0 12 1 0 0 20 0 15 0 443919273 15508250624 7316 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3786194 7316 3146 1 0 3748377 0
[pid=5796/tid=5797] ppid=5794 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) R 5794 5794 32513 0 -1 4202560 3642 0 0 0 8 1 0 0 20 0 15 0 443919273 15508250624 7316 33554432000 4194304 4196468 140727521563536 140253880751088 140253876534678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 7316 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 7316 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 7316 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 7316 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443919275 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443919276 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252748391968 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443919276 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252747339120 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919278 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5794 32513 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 443919278 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252745234800 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443919278 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0.02 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) R 5794 5794 32513 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 443919278 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252743124960 140253876534678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919279 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919279 15508250624 7316 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30716 KiB

[startup+0.210765 s]*
/proc/loadavg: 8.08 8.48 8.39 6/234 5810
/proc/meminfo: memFree=30321064/32770624 swapFree=66997368/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15144776 memory=41088 CPUtime=0.33 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 9474 0 0 0 30 3 0 0 20 0 15 0 443919273 15508250624 10272 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3786194 10272 3305 1 0 3748377 0
[pid=5796/tid=5797] ppid=5794 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) R 5794 5794 32513 0 -1 4202560 6626 0 0 0 17 2 0 0 20 0 15 0 443919273 15508250624 10272 33554432000 4194304 4196468 140727521563536 140253880756208 140253860603230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 10272 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15144776 memory=288370572035745408 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 10272 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 10272 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443919274 15508250624 10272 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443919275 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443919276 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252748391968 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443919276 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252747339120 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919278 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5794 32513 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 443919278 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252745234800 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 15 0 443919278 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15144776 memory=140195884033664 CPUtime=0.08 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) R 5794 5794 32513 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 443919278 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252743129200 140253860603230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919279 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919279 15508250624 10272 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42540 KiB

[startup+0.310615 s]*
/proc/loadavg: 8.08 8.48 8.39 9/234 5810
/proc/meminfo: memFree=30316052/32770624 swapFree=66997368/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15149032 memory=50104 CPUtime=0.52 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 10805 0 0 0 48 4 0 0 20 0 15 0 443919273 15512608768 12526 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3787258 12526 3371 1 0 3748377 0
[pid=5796/tid=5797] ppid=5794 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) R 5794 5794 32513 0 -1 4202560 7751 0 0 0 27 3 0 0 20 0 15 0 443919273 15512608768 12526 33554432000 4194304 4196468 140727521563536 140253880753856 140253860603230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15512608768 12557 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15149032 memory=13851884602905920 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15512608768 12557 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15512608768 12557 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443919274 15512608768 12557 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443919275 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443919276 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252748391968 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443919276 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252747339120 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919278 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) R 5794 5794 32513 0 -1 4202560 661 0 0 0 5 0 0 0 20 0 15 0 443919278 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252745234800 140253856216441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 443919278 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5794 32513 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 443919278 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252743129200 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919279 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919279 15512608768 12557 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51556 KiB

[startup+0.701159 s]
/proc/loadavg: 8.08 8.48 8.39 10/234 5810
/proc/meminfo: memFree=30293992/32770624 swapFree=66997368/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15151156 memory=106120 CPUtime=1.73 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 14620 0 0 0 167 6 0 0 20 0 15 0 443919273 15514783744 26530 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3787789 26530 3445 1 0 3748889 0
[pid=5796/tid=5797] ppid=5794 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) R 5794 5794 32513 0 -1 4202560 8398 0 0 0 63 4 0 0 20 0 15 0 443919273 15514783744 26530 33554432000 4194304 4196468 140727521563536 140253880761312 140253861597201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15514783744 26530 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15514783744 26530 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919274 15514783744 26530 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443919274 15514783744 26530 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443919275 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443919276 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252748391968 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443919276 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252747339120 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919278 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15151156 memory=1764 CPUtime=0.36 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) R 5794 5794 32513 0 -1 4202560 1740 0 0 0 36 0 0 0 20 0 15 0 443919278 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252745220824 140253858042534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15151156 memory=111628 CPUtime=0.34 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) R 5794 5794 32513 0 -1 4202560 1510 0 0 0 34 0 0 0 20 0 15 0 443919278 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252744167880 140253858046181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15151156 memory=796 CPUtime=0.31 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) R 5794 5794 32513 0 -1 4202560 1668 0 0 0 31 0 0 0 20 0 15 0 443919278 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252743129200 140253856237540 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443919279 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443919279 15514783744 26530 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 107572 KiB

[startup+1.50085 s]
/proc/loadavg: 8.08 8.48 8.39 6/234 5810
/proc/meminfo: memFree=30214132/32770624 swapFree=66997368/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0

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

/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 105975 0 0 0 207295 83 0 0 20 0 19 0 443919273 15790579712 512550 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3855122 512550 3559 1 0 3816222 0
[pid=5796/tid=5797] ppid=5794 vsize=15420488 memory=2050200 CPUtime=2.3 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) S 5794 5794 32513 0 -1 1077944384 11196 0 0 0 222 8 0 0 20 0 19 0 443919273 15790579712 512550 33554432000 4194304 4196468 140727521563536 140253880763520 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15420488 memory=2050200 CPUtime=1.11 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 4328 0 0 0 103 8 0 0 20 0 19 0 443919274 15790579712 512550 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15420488 memory=1452 CPUtime=1.12 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 3965 0 0 0 104 8 0 0 20 0 19 0 443919274 15790579712 512550 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15420488 memory=2050200 CPUtime=1.11 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 2611 0 0 0 103 8 0 0 20 0 19 0 443919274 15790579712 512550 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15420488 memory=2050200 CPUtime=1.12 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 4347 0 0 0 104 8 0 0 20 0 19 0 443919274 15790579712 512550 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15420488 memory=1452 CPUtime=0.42 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 8562 0 0 0 37 5 0 0 20 0 19 0 443919275 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15420488 memory=2604 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252748392032 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15420488 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252747339136 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15420488 memory=2179312 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919278 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15420488 memory=1452 CPUtime=4 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5794 32513 0 -1 1077944384 19780 0 0 0 398 2 0 0 20 0 19 0 443919278 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252745234800 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15420488 memory=8112282956445269571 CPUtime=3.68 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 15177 0 0 0 367 1 0 0 20 0 19 0 443919278 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15420488 memory=1004 CPUtime=0.91 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5794 32513 0 -1 1077944384 11099 0 0 0 90 1 0 0 20 0 19 0 443919278 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252743129200 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15420488 memory=2146280 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919279 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15420488 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 554 0 0 0 0 15 0 0 20 0 19 0 443919279 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5827] ppid=5794 vsize=15420488 memory=1452 CPUtime=513.66 cores=0,2,4,6
/proc/5796/task/5827/stat : 5827 (java) R 5794 5794 32513 0 -1 4202560 1821 0 0 0 51366 0 0 0 20 0 19 0 443919565 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252729937696 140253521640467 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5828] ppid=5794 vsize=15420488 memory=2050200 CPUtime=514.15 cores=0,2,4,6
/proc/5796/task/5828/stat : 5828 (java) R 5794 5794 32513 0 -1 4202560 7358 0 0 0 51402 13 0 0 20 0 19 0 443919565 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252732046464 140253522572430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5829] ppid=5794 vsize=15420488 memory=0 CPUtime=514.53 cores=0,2,4,6
/proc/5796/task/5829/stat : 5829 (java) R 5794 5794 32513 0 -1 4202560 9408 0 0 0 51438 15 0 0 20 0 19 0 443919565 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252730990720 140253523075243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5830] ppid=5794 vsize=15420488 memory=6645459911560372124 CPUtime=514.22 cores=0,2,4,6
/proc/5796/task/5830/stat : 5830 (java) R 5794 5794 32513 0 -1 4202560 3913 0 0 0 51419 3 0 0 20 0 19 0 443919567 15790579712 512550 33554432000 4194304 4196468 140727521563536 140252727832776 140253521522465 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 2073.78 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2051652 KiB

[startup+582.301 s]
/proc/loadavg: 8.77 8.75 8.55 10/237 5982
/proc/meminfo: memFree=29255936/32770624 swapFree=66997372/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15420488 memory=2068732 CPUtime=2311.81 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 118395 0 0 0 231093 88 0 0 20 0 19 0 443919273 15790579712 517183 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3855122 517183 3559 1 0 3816222 0
[pid=5796/tid=5797] ppid=5794 vsize=15420488 memory=2068732 CPUtime=2.3 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) S 5794 5794 32513 0 -1 1077944384 11196 0 0 0 222 8 0 0 20 0 19 0 443919273 15790579712 517183 33554432000 4194304 4196468 140727521563536 140253880763520 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15420488 memory=5072 CPUtime=1.62 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 4901 0 0 0 154 8 0 0 20 0 19 0 443919274 15790579712 517183 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15420488 memory=1452 CPUtime=1.62 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 4367 0 0 0 154 8 0 0 20 0 19 0 443919274 15790579712 517183 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15420488 memory=1452 CPUtime=1.61 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 3437 0 0 0 152 9 0 0 20 0 19 0 443919274 15790579712 517183 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15420488 memory=2068732 CPUtime=1.63 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 4938 0 0 0 155 8 0 0 20 0 19 0 443919274 15790579712 517183 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15420488 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 16509 0 0 0 46 8 0 0 20 0 19 0 443919275 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15420488 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252748392032 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15420488 memory=47852 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252747339136 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15420488 memory=2050700 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919278 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15420488 memory=1452 CPUtime=4.01 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5794 32513 0 -1 1077944384 20429 0 0 0 399 2 0 0 20 0 19 0 443919278 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252745234800 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15420488 memory=2068732 CPUtime=3.68 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 15181 0 0 0 367 1 0 0 20 0 19 0 443919278 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15420488 memory=1452 CPUtime=0.91 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5794 32513 0 -1 1077944384 11103 0 0 0 90 1 0 0 20 0 19 0 443919278 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252743129200 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919279 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15420488 memory=2050720 CPUtime=0.17 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 583 0 0 0 0 17 0 0 20 0 19 0 443919279 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5827] ppid=5794 vsize=15420488 memory=2068732 CPUtime=572.63 cores=0,2,4,6
/proc/5796/task/5827/stat : 5827 (java) R 5794 5794 32513 0 -1 4202560 1926 0 0 0 57262 1 0 0 20 0 19 0 443919565 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252729937832 140253521690147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5828] ppid=5794 vsize=15420488 memory=1452 CPUtime=573.1 cores=0,2,4,6
/proc/5796/task/5828/stat : 5828 (java) R 5794 5794 32513 0 -1 4202560 7760 0 0 0 57296 14 0 0 20 0 19 0 443919565 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252732043736 140253521639997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5829] ppid=5794 vsize=15420488 memory=2068732 CPUtime=573.51 cores=0,2,4,6
/proc/5796/task/5829/stat : 5829 (java) R 5794 5794 32513 0 -1 4202560 10056 0 0 0 57335 16 0 0 20 0 19 0 443919565 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252730993088 140253523170893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5830] ppid=5794 vsize=15420488 memory=1452 CPUtime=573.21 cores=0,2,4,6
/proc/5796/task/5830/stat : 5830 (java) R 5794 5794 32513 0 -1 4202560 4153 0 0 0 57318 3 0 0 20 0 19 0 443919567 15790579712 517183 33554432000 4194304 4196468 140727521563536 140252727832528 140253521522657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 2311.81 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2070184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.601 s]
/proc/loadavg: 8.89 8.78 8.56 12/239 6293
/proc/meminfo: memFree=29243752/32770624 swapFree=66997372/67108860
[pid=5794] ppid=5791 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5794/stat : 5794 (xcsp3-exec) S 5791 5794 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 443919272 115843072 363 33554432000 4194304 5098028 140735611655712 140735611653816 140102750970492 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29650944 140735611659130 140735611659373 140735611659373 140735611662282 0
/proc/5794/statm: 28282 363 304 221 0 87 0
[pid=5796] ppid=5794 vsize=15420488 memory=2062272 CPUtime=2400.31 cores=0,2,4,6
/proc/5796/stat : 5796 (java) S 5794 5794 32513 0 -1 1077944320 120308 0 0 0 239942 89 0 0 20 0 19 0 443919273 15790579712 515568 33554432000 4194304 4196468 140727521563536 140727521546080 140253876522743 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
/proc/5796/statm: 3855122 515568 3559 1 0 3816222 0
[pid=5796/tid=5797] ppid=5794 vsize=15420488 memory=14689699524512400 CPUtime=2.3 cores=0,2,4,6
/proc/5796/task/5797/stat : 5797 (java) S 5794 5794 32513 0 -1 1077944384 11196 0 0 0 222 8 0 0 20 0 19 0 443919273 15790579712 515568 33554432000 4194304 4196468 140727521563536 140253880763520 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5798] ppid=5794 vsize=15420488 memory=7523634139994746728 CPUtime=1.67 cores=0,2,4,6
/proc/5796/task/5798/stat : 5798 (java) S 5794 5794 32513 0 -1 1077944384 5076 0 0 0 159 8 0 0 20 0 19 0 443919274 15790579712 515568 33554432000 4194304 4196468 140727521563536 140253468895888 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5799] ppid=5794 vsize=15420488 memory=7373043975103999339 CPUtime=1.68 cores=0,2,4,6
/proc/5796/task/5799/stat : 5799 (java) S 5794 5794 32513 0 -1 1077944384 4536 0 0 0 160 8 0 0 20 0 19 0 443919274 15790579712 515568 33554432000 4194304 4196468 140727521563536 140253467843088 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5800] ppid=5794 vsize=15420488 memory=7450478163434694765 CPUtime=1.67 cores=0,2,4,6
/proc/5796/task/5800/stat : 5800 (java) S 5794 5794 32513 0 -1 1077944384 3991 0 0 0 158 9 0 0 20 0 19 0 443919274 15790579712 515568 33554432000 4194304 4196468 140727521563536 140253466790288 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5801] ppid=5794 vsize=15420488 memory=7306083695478203496 CPUtime=1.68 cores=0,2,4,6
/proc/5796/task/5801/stat : 5801 (java) S 5794 5794 32513 0 -1 1077944384 5102 0 0 0 160 8 0 0 20 0 19 0 443919274 15790579712 515568 33554432000 4194304 4196468 140727521563536 140253465737488 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5802] ppid=5794 vsize=15420488 memory=6444205126443296097 CPUtime=0.57 cores=0,2,4,6
/proc/5796/task/5802/stat : 5802 (java) S 5794 5794 32513 0 -1 1077944384 16816 0 0 0 48 9 0 0 20 0 19 0 443919275 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252749446000 140253876533890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5803] ppid=5794 vsize=15420488 memory=5794279396661750375 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5803/stat : 5803 (java) S 5794 5794 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252748392032 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5804] ppid=5794 vsize=15420488 memory=7881670237238879588 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5804/stat : 5804 (java) S 5794 5794 32513 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 443919276 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252747339136 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5805] ppid=5794 vsize=15420488 memory=7449324698697819493 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5805/stat : 5805 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919278 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252746287440 140253876541339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5806] ppid=5794 vsize=15420488 memory=8514701219781834910 CPUtime=4.01 cores=0,2,4,6
/proc/5796/task/5806/stat : 5806 (java) S 5794 5794 32513 0 -1 1077944384 20431 0 0 0 399 2 0 0 20 0 19 0 443919278 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252745234800 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5807] ppid=5794 vsize=15420488 memory=7739269290516702572 CPUtime=3.68 cores=0,2,4,6
/proc/5796/task/5807/stat : 5807 (java) S 5794 5794 32513 0 -1 1077944384 15184 0 0 0 367 1 0 0 20 0 19 0 443919278 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252744182000 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5808] ppid=5794 vsize=15420488 memory=7450759643060005458 CPUtime=0.91 cores=0,2,4,6
/proc/5796/task/5808/stat : 5808 (java) S 5794 5794 32513 0 -1 1077944384 11105 0 0 0 90 1 0 0 20 0 19 0 443919278 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252743129200 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5809] ppid=5794 vsize=15420488 memory=7740675566256285800 CPUtime=0 cores=0,2,4,6
/proc/5796/task/5809/stat : 5809 (java) S 5794 5794 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443919279 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252742076640 140253876532949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5810] ppid=5794 vsize=15420488 memory=-8486080722631693414 CPUtime=0.18 cores=0,2,4,6
/proc/5796/task/5810/stat : 5810 (java) S 5794 5794 32513 0 -1 1077944384 591 0 0 0 0 18 0 0 20 0 19 0 443919279 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252741024944 140253876533890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5827] ppid=5794 vsize=15420488 memory=-7666414585839465563 CPUtime=594.68 cores=0,2,4,6
/proc/5796/task/5827/stat : 5827 (java) R 5794 5794 32513 0 -1 4202560 1974 0 0 0 59467 1 0 0 20 0 19 0 443919565 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252729936992 140253516902567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5828] ppid=5794 vsize=15420488 memory=-6520478321162704286 CPUtime=595.13 cores=0,2,4,6
/proc/5796/task/5828/stat : 5828 (java) R 5794 5794 32513 0 -1 4202560 7901 0 0 0 59499 14 0 0 20 0 19 0 443919565 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252732043616 140253521904428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5829] ppid=5794 vsize=15420488 memory=-7521736447810188379 CPUtime=595.58 cores=0,2,4,6
/proc/5796/task/5829/stat : 5829 (java) R 5794 5794 32513 0 -1 4202560 10330 0 0 0 59542 16 0 0 20 0 19 0 443919565 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252730992992 140253522232256 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
[pid=5796/tid=5830] ppid=5794 vsize=15420488 memory=-8412652160765825907 CPUtime=595.3 cores=0,2,4,6
/proc/5796/task/5830/stat : 5830 (java) R 5794 5794 32513 0 -1 4202560 4219 0 0 0 59527 3 0 0 20 0 19 0 443919567 15790579712 515568 33554432000 4194304 4196468 140727521563536 140252727832776 140253521522859 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27303936 140727521571823 140727521571994 140727521571994 140727521574863 0
Current children cumulated CPU time: 2400.31 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 2063724 KiB

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

[startup+604.635 s]
# the end of solver process 5794 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002345 s

[startup+604.7 s]
# the end of solver process 5796 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.76 s, system=0.912566 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): 604.7
CPU time (s): 2400.68
CPU user time (s): 2399.76
CPU system time (s): 0.912566
CPU usage (%): 397.003
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 2224736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.912566
maximum resident set size= 2224116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35037
involuntary context switches= 52244


# summary of solver processes directly reported to runsolver:
#   pid: 5794,5796
#   total CPU time (s): 2400.68
#   total CPU user time (s): 2399.76
#   total CPU system time (s): 0.912566

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69245 second user time and 6.87422 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	31.2143
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400606

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
