2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	SAT (TO)	24	2520.7	635.698
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 (14796 MiB free)
  memory of node 1: 16384 MiB (15111 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393446-1568313864/watcher-4393446-1568313864 -o /tmp/evaluation-result-4393446-1568313864/solver-4393446-1568313864 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1385660453 HOME/instance-4393446-1568313864.xml 

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

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


[startup+0.100053 s]*
/proc/loadavg: 7.95 7.22 4.34 6/233 15285
/proc/meminfo: memFree=30609132/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15144768 memory=30292 CPUtime=0.12 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 5465 0 0 0 11 1 0 0 20 0 15 0 407641067 15508242432 7573 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3786192 7573 3151 1 0 3748377 0
[pid=15271/tid=15272] ppid=15269 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) R 15269 15269 14062 0 -1 4202560 3387 0 0 0 8 0 0 0 20 0 15 0 407641068 15508242432 7573 33554432000 4194304 4196468 140736341870304 139953300400672 139953288411966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15144768 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15144768 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641070 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407641070 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952763381152 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407641071 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952762328560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) R 15269 15269 14062 0 -1 4202560 437 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952760215232 139953275830065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) R 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15144768 memory=139707755308672 CPUtime=0.02 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) R 15269 15269 14062 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952758118640 139953275136337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15144768 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 7573 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31740 KiB

[startup+0.210678 s]*
/proc/loadavg: 7.95 7.22 4.34 7/233 15285
/proc/meminfo: memFree=30597052/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15144768 memory=40828 CPUtime=0.34 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 8892 0 0 0 31 3 0 0 20 0 15 0 407641067 15508242432 10207 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3786192 10207 3306 1 0 3748377 0
[pid=15271/tid=15272] ppid=15269 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) R 15269 15269 14062 0 -1 4202560 6188 0 0 0 18 2 0 0 20 0 15 0 407641068 15508242432 10207 33554432000 4194304 4196468 140736341870304 139953300411600 139953280255326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15144768 memory=2855612 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641069 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407641070 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407641070 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952763381152 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15144768 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407641071 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952762328560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) S 15269 15269 14062 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952760223728 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) S 15269 15269 14062 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641073 15508242432 10207 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42276 KiB

[startup+0.310523 s]*
/proc/loadavg: 7.95 7.22 4.34 7/233 15285
/proc/meminfo: memFree=30590008/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15149024 memory=50044 CPUtime=0.53 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 10340 0 0 0 49 4 0 0 20 0 15 0 407641067 15512600576 12511 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3787256 12511 3373 1 0 3748377 0
[pid=15271/tid=15272] ppid=15269 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) R 15269 15269 14062 0 -1 4202560 7343 0 0 0 27 3 0 0 20 0 15 0 407641068 15512600576 12511 33554432000 4194304 4196468 140736341870304 139953300405952 139953280255326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15149024 memory=2855172 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641069 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15149024 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407641070 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407641070 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952763381152 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407641071 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952762328560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) R 15269 15269 14062 0 -1 4202560 651 0 0 0 5 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952760214112 139953273436096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15149024 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) S 15269 15269 14062 0 -1 1077944384 137 0 0 0 3 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15149024 memory=139707755308672 CPUtime=0.12 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 909 0 0 0 12 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15149024 memory=139707755308672 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641073 15512600576 12511 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51492 KiB

[startup+0.701029 s]
/proc/loadavg: 7.95 7.22 4.34 8/233 15285
/proc/meminfo: memFree=30570024/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15151148 memory=107756 CPUtime=1.74 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 13992 0 0 0 168 6 0 0 20 0 15 0 407641067 15514775552 26939 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3787787 26939 3444 1 0 3748889 0
[pid=15271/tid=15272] ppid=15269 vsize=15151148 memory=11932 CPUtime=0.68 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) R 15269 15269 14062 0 -1 4202560 7887 0 0 0 64 4 0 0 20 0 15 0 407641068 15514775552 26939 33554432000 4194304 4196468 140736341870304 139953300410352 139952936972292 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15151148 memory=500 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407641069 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15151148 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641069 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407641070 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15151148 memory=876 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407641070 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952763381152 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15151148 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407641071 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952762328560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15151148 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15151148 memory=7302135314614015840 CPUtime=0.37 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) R 15269 15269 14062 0 -1 4202560 1807 0 0 0 37 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952760209912 139953277718928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15151148 memory=6152570554750233197 CPUtime=0.33 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) R 15269 15269 14062 0 -1 4202560 1228 0 0 0 33 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952759157208 139953281099888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15151148 memory=7223887401239728208 CPUtime=0.32 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 1762 0 0 0 32 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407641073 15514775552 26939 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 109204 KiB

[startup+1.50103 s]
/proc/loadavg: 7.95 7.22 4.34 8/233 15285
/proc/meminfo: memFree=30486684/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0

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

/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 96599 0 0 0 206995 83 0 0 20 0 19 0 407641067 15790571520 419908 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3855120 419908 3554 1 0 3816222 0
[pid=15271/tid=15272] ppid=15269 vsize=15420480 memory=1679632 CPUtime=2.32 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) S 15269 15269 14062 0 -1 1077944384 10267 0 0 0 226 6 0 0 20 0 19 0 407641068 15790571520 419908 33554432000 4194304 4196468 140736341870304 139953300415616 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15420480 memory=1679632 CPUtime=1.43 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 4252 0 0 0 136 7 0 0 20 0 19 0 407641069 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15420480 memory=1680148 CPUtime=1.43 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 3500 0 0 0 135 8 0 0 20 0 19 0 407641069 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15420480 memory=1448 CPUtime=1.42 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 3383 0 0 0 134 8 0 0 20 0 19 0 407641069 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15420480 memory=1680148 CPUtime=1.42 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 3998 0 0 0 134 8 0 0 20 0 19 0 407641069 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15420480 memory=1679632 CPUtime=0.6 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 12110 0 0 0 52 8 0 0 20 0 19 0 407641070 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15420480 memory=1679632 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407641070 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952763381216 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407641071 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952762328576 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15420480 memory=1680648 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15420480 memory=5908 CPUtime=3.19 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) S 15269 15269 14062 0 -1 1077944384 15278 0 0 0 316 3 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952760223728 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15420480 memory=628 CPUtime=3.51 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) S 15269 15269 14062 0 -1 1077944384 14306 0 0 0 349 2 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15420480 memory=1056 CPUtime=0.92 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 8152 0 0 0 91 1 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15420480 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15420480 memory=1760 CPUtime=0.18 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 681 0 0 0 0 18 0 0 20 0 19 0 407641073 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15302] ppid=15269 vsize=15420480 memory=1448 CPUtime=513.8 cores=0,2,4,6
/proc/15271/task/15302/stat : 15302 (java) R 15269 15269 14062 0 -1 4202560 2181 0 0 0 51378 2 0 0 20 0 19 0 407641349 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952745990128 139952941726304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15303] ppid=15269 vsize=15420480 memory=1679632 CPUtime=514.07 cores=0,2,4,6
/proc/15271/task/15303/stat : 15303 (java) R 15269 15269 14062 0 -1 4202560 6528 0 0 0 51393 14 0 0 20 0 19 0 407641349 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952743883072 139952941590752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15304] ppid=15269 vsize=15420480 memory=1556 CPUtime=512.82 cores=0,2,4,6
/proc/15271/task/15304/stat : 15304 (java) R 15269 15269 14062 0 -1 4202560 7229 0 0 0 51270 12 0 0 20 0 19 0 407641349 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952744935224 139952941011026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15305] ppid=15269 vsize=15420480 memory=500 CPUtime=512.93 cores=0,2,4,6
/proc/15271/task/15305/stat : 15305 (java) R 15269 15269 14062 0 -1 4202560 2864 0 0 0 51291 2 0 0 20 0 19 0 407641350 15790571520 419908 33554432000 4194304 4196468 140736341870304 139952740732608 139952940725255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 2070.78 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1681080 KiB

[startup+582.301 s]
/proc/loadavg: 7.86 7.88 6.07 10/237 15627
/proc/meminfo: memFree=26962640/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15420480 memory=1647632 CPUtime=2308.91 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 105903 0 0 0 230806 85 0 0 20 0 19 0 407641067 15790571520 411908 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3855120 411908 3554 1 0 3816222 0
[pid=15271/tid=15272] ppid=15269 vsize=15420480 memory=1664932 CPUtime=2.32 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) S 15269 15269 14062 0 -1 1077944384 10267 0 0 0 226 6 0 0 20 0 19 0 407641068 15790571520 411908 33554432000 4194304 4196468 140736341870304 139953300415616 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15420480 memory=1687076 CPUtime=1.67 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 5215 0 0 0 159 8 0 0 20 0 19 0 407641069 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15420480 memory=1688212 CPUtime=1.66 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 4001 0 0 0 158 8 0 0 20 0 19 0 407641069 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15420480 memory=1686672 CPUtime=1.65 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 4121 0 0 0 157 8 0 0 20 0 19 0 407641069 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15420480 memory=1686160 CPUtime=1.65 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 4957 0 0 0 157 8 0 0 20 0 19 0 407641069 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15420480 memory=1685648 CPUtime=0.68 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 16125 0 0 0 59 9 0 0 20 0 19 0 407641070 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15420480 memory=1647632 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407641070 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952763381216 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407641071 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952762328576 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15420480 memory=1648660 CPUtime=3.19 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) S 15269 15269 14062 0 -1 1077944384 15282 0 0 0 316 3 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952760223728 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15420480 memory=1648144 CPUtime=3.51 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) S 15269 15269 14062 0 -1 1077944384 14843 0 0 0 349 2 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15420480 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 8156 0 0 0 91 1 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15420480 memory=22896 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15420480 memory=1648660 CPUtime=0.2 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 726 0 0 0 0 20 0 0 20 0 19 0 407641073 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15302] ppid=15269 vsize=15420480 memory=3624 CPUtime=573.2 cores=0,2,4,6
/proc/15271/task/15302/stat : 15302 (java) R 15269 15269 14062 0 -1 4202560 2417 0 0 0 57318 2 0 0 20 0 19 0 407641349 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952745987912 139952941725162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15303] ppid=15269 vsize=15420480 memory=1648144 CPUtime=573.3 cores=0,2,4,6
/proc/15271/task/15303/stat : 15303 (java) R 15269 15269 14062 0 -1 4202560 6886 0 0 0 57316 14 0 0 20 0 19 0 407641349 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952743885952 139952942816358 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15304] ppid=15269 vsize=15420480 memory=1448 CPUtime=572 cores=0,2,4,6
/proc/15271/task/15304/stat : 15304 (java) R 15269 15269 14062 0 -1 4202560 7861 0 0 0 57188 12 0 0 20 0 19 0 407641349 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952744935200 139952941712332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15305] ppid=15269 vsize=15420480 memory=1448 CPUtime=572.19 cores=0,2,4,6
/proc/15271/task/15305/stat : 15305 (java) R 15269 15269 14062 0 -1 4202560 3176 0 0 0 57217 2 0 0 20 0 19 0 407641350 15790571520 411908 33554432000 4194304 4196468 140736341870304 139952740732744 139952940725147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 2308.91 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1649080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+635.611 s]
/proc/loadavg: 7.98 7.91 6.18 10/237 15631
/proc/meminfo: memFree=25780120/32770624 swapFree=66996212/67108860
[pid=15269] ppid=15266 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15269/stat : 15269 (xcsp3-exec) S 15266 15269 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407641067 115843072 362 33554432000 4194304 5098028 140734254030144 140734254028248 140581115482748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39768064 140734254031738 140734254031981 140734254031981 140734254034890 0
/proc/15269/statm: 28282 362 304 221 0 87 0
[pid=15271] ppid=15269 vsize=15420480 memory=1650120 CPUtime=2520.38 cores=0,2,4,6
/proc/15271/stat : 15271 (java) S 15269 15269 14062 0 -1 1077944320 108485 0 0 0 251951 87 0 0 20 0 19 0 407641067 15790571520 412530 33554432000 4194304 4196468 140736341870304 140736341852848 139953296174839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
/proc/15271/statm: 3855120 412530 3554 1 0 3816222 0
[pid=15271/tid=15272] ppid=15269 vsize=15420480 memory=1650068 CPUtime=2.32 cores=0,2,4,6
/proc/15271/task/15272/stat : 15272 (java) S 15269 15269 14062 0 -1 1077944384 10267 0 0 0 226 6 0 0 20 0 19 0 407641068 15790571520 412530 33554432000 4194304 4196468 140736341870304 139953300415616 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15273] ppid=15269 vsize=15420480 memory=6791534058613427641 CPUtime=1.86 cores=0,2,4,6
/proc/15271/task/15273/stat : 15273 (java) S 15269 15269 14062 0 -1 1077944384 5680 0 0 0 178 8 0 0 20 0 19 0 407641069 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952888293648 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15274] ppid=15269 vsize=15420480 memory=3436 CPUtime=1.85 cores=0,2,4,6
/proc/15271/task/15274/stat : 15274 (java) S 15269 15269 14062 0 -1 1077944384 4195 0 0 0 177 8 0 0 20 0 19 0 407641069 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952887241104 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15275] ppid=15269 vsize=15420480 memory=1448 CPUtime=1.84 cores=0,2,4,6
/proc/15271/task/15275/stat : 15275 (java) S 15269 15269 14062 0 -1 1077944384 4292 0 0 0 176 8 0 0 20 0 19 0 407641069 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952886188560 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15276] ppid=15269 vsize=15420480 memory=1650068 CPUtime=1.84 cores=0,2,4,6
/proc/15271/task/15276/stat : 15276 (java) S 15269 15269 14062 0 -1 1077944384 5210 0 0 0 176 8 0 0 20 0 19 0 407641069 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952885136016 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15277] ppid=15269 vsize=15420480 memory=1412 CPUtime=0.76 cores=0,2,4,6
/proc/15271/task/15277/stat : 15277 (java) S 15269 15269 14062 0 -1 1077944384 16792 0 0 0 66 10 0 0 20 0 19 0 407641070 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952764434928 139953296185986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15278] ppid=15269 vsize=15420480 memory=5288 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15278/stat : 15278 (java) S 15269 15269 14062 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 407641070 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952763381216 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15279] ppid=15269 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15279/stat : 15279 (java) S 15269 15269 14062 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407641071 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952762328576 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15280] ppid=15269 vsize=15420480 memory=3449244 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15280/stat : 15280 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952761277136 139953296193435 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15281] ppid=15269 vsize=15420480 memory=1164 CPUtime=3.19 cores=0,2,4,6
/proc/15271/task/15281/stat : 15281 (java) S 15269 15269 14062 0 -1 1077944384 15284 0 0 0 316 3 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952760223728 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15282] ppid=15269 vsize=15420480 memory=8317482817917895235 CPUtime=3.51 cores=0,2,4,6
/proc/15271/task/15282/stat : 15282 (java) S 15269 15269 14062 0 -1 1077944384 14846 0 0 0 349 2 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952759171184 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15283] ppid=15269 vsize=15420480 memory=4126316290023845779 CPUtime=0.92 cores=0,2,4,6
/proc/15271/task/15283/stat : 15283 (java) S 15269 15269 14062 0 -1 1077944384 8158 0 0 0 91 1 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952758118640 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15284] ppid=15269 vsize=15420480 memory=500 CPUtime=0 cores=0,2,4,6
/proc/15271/task/15284/stat : 15284 (java) S 15269 15269 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952757066336 139953296185045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15285] ppid=15269 vsize=15420480 memory=928 CPUtime=0.21 cores=0,2,4,6
/proc/15271/task/15285/stat : 15285 (java) S 15269 15269 14062 0 -1 1077944384 756 0 0 0 0 21 0 0 20 0 19 0 407641073 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952756013872 139953296185986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15302] ppid=15269 vsize=15420480 memory=1528 CPUtime=625.96 cores=0,2,4,6
/proc/15271/task/15302/stat : 15302 (java) R 15269 15269 14062 0 -1 4202560 2580 0 0 0 62594 2 0 0 20 0 19 0 407641349 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952745990240 139952941725157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15303] ppid=15269 vsize=15420480 memory=1448 CPUtime=625.93 cores=0,2,4,6
/proc/15271/task/15303/stat : 15303 (java) R 15269 15269 14062 0 -1 4202560 7083 0 0 0 62579 14 0 0 20 0 19 0 407641349 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952743883072 139953282242964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15304] ppid=15269 vsize=15420480 memory=876 CPUtime=624.68 cores=0,2,4,6
/proc/15271/task/15304/stat : 15304 (java) R 15269 15269 14062 0 -1 4202560 8145 0 0 0 62455 13 0 0 20 0 19 0 407641349 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952744935472 139952934257247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
[pid=15271/tid=15305] ppid=15269 vsize=15420480 memory=1448 CPUtime=624.76 cores=0,2,4,6
/proc/15271/task/15305/stat : 15305 (java) R 15269 15269 14062 0 -1 4202560 3327 0 0 0 62474 2 0 0 20 0 19 0 407641350 15790571520 412530 33554432000 4194304 4196468 140736341870304 139952740731808 139952941724952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10838016 140736341873647 140736341873818 140736341873818 140736341876687 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 1651568 KiB

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

[startup+635.645 s]
# the end of solver process 15269 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.0015 s, system=0.00075 s

[startup+635.698 s]
# the end of solver process 15271 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.81 s, system=0.892263 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): 635.698
CPU time (s): 2520.7
CPU user time (s): 2519.81
CPU system time (s): 0.892263
CPU usage (%): 396.525
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 1895796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.892263
maximum resident set size= 1919312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41809
involuntary context switches= 38700


# summary of solver processes directly reported to runsolver:
#   pid: 15269,15271
#   total CPU time (s): 2520.7
#   total CPU user time (s): 2519.81
#   total CPU system time (s): 0.892263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.16677 second user time and 6.86008 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	29.6788
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 4393446

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
