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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20	SAT	21.3777	5.97973
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: 16375 MiB (7301 MiB free)
  memory of node 1: 16384 MiB (1328 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403438-1568989238/watcher-4403438-1568989238 -o /tmp/evaluation-result-4403438-1568989238/solver-4403438-1568989238 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568988007-29940 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2060690006 HOME/instance-4403438-1568989238.xml 

running on 4 cores: 0-3

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


[startup+0.102101 s]*
/proc/loadavg: 8.06 7.54 6.06 7/233 31836
/proc/meminfo: memFree=8820848/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15144776 memory=29132 CPUtime=0.12 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 5679 0 0 0 11 1 0 0 20 0 15 0 474865396 15508250624 7283 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3786194 7283 3159 1 0 3748377 0
[pid=31822/tid=31823] ppid=31820 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) R 31820 31820 29909 0 -1 4202560 3591 0 0 0 8 1 0 0 20 0 15 0 474865396 15508250624 7283 33554432000 4194304 4196468 140723442699184 140308757583664 140308737434974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 7283 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 7283 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 7283 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 7283 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865398 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474865399 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307626198304 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474865399 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307625145968 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) S 31820 31820 29909 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0.01 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) R 31820 31820 29909 0 -1 4202560 373 0 0 0 1 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307620936048 140308745595877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 7283 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30584 KiB

[startup+0.211593 s]*
/proc/loadavg: 8.06 7.54 6.06 6/233 31836
/proc/meminfo: memFree=8807612/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15144776 memory=40344 CPUtime=0.34 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 9281 0 0 0 31 3 0 0 20 0 15 0 474865396 15508250624 10086 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3786194 10086 3304 1 0 3748377 0
[pid=31822/tid=31823] ppid=31820 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) R 31820 31820 29909 0 -1 4202560 6556 0 0 0 18 2 0 0 20 0 15 0 474865396 15508250624 10086 33554432000 4194304 4196468 140723442699184 140308757585616 140308746032501 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15144776 memory=9098 CPUtime=0 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 10086 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15144776 memory=140716468369289 CPUtime=0 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 10086 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 10086 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865397 15508250624 10086 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865398 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474865399 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307626198304 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474865399 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307625145968 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15144776 memory=0 CPUtime=0.02 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) S 31820 31820 29909 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15144776 memory=-1 CPUtime=0.01 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15144776 memory=140716464862848 CPUtime=0.08 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865402 15508250624 10086 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41796 KiB

[startup+0.312358 s]*
/proc/loadavg: 8.06 7.54 6.06 7/233 31836
/proc/meminfo: memFree=8803080/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15149032 memory=46984 CPUtime=0.52 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 10532 0 0 0 48 4 0 0 20 0 15 0 474865396 15512608768 11746 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3787258 11746 3348 1 0 3748377 0
[pid=31822/tid=31823] ppid=31820 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) R 31820 31820 29909 0 -1 4202560 7587 0 0 0 27 3 0 0 20 0 15 0 474865396 15512608768 11746 33554432000 4194304 4196468 140723442699184 140308757591712 140308737434974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15512608768 11746 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15512608768 11746 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15512608768 11746 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865397 15512608768 11746 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474865398 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474865399 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307626198304 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474865399 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307625145968 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) S 31820 31820 29909 0 -1 1077944384 608 0 0 0 4 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15149032 memory=0 CPUtime=0.03 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 98 0 0 0 3 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15149032 memory=0 CPUtime=0.13 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 936 0 0 0 13 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865402 15512608768 11746 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48436 KiB

[startup+0.700966 s]
/proc/loadavg: 8.06 7.54 6.06 9/233 31836
/proc/meminfo: memFree=8781804/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15151156 memory=93236 CPUtime=1.71 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 14445 0 0 0 165 6 0 0 20 0 15 0 474865396 15514783744 23309 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3787789 23309 3450 1 0 3748889 0
[pid=31822/tid=31823] ppid=31820 vsize=15151156 memory=53716 CPUtime=0.67 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) R 31820 31820 29909 0 -1 4202560 8425 0 0 0 63 4 0 0 20 0 15 0 474865396 15514783744 23309 33554432000 4194304 4196468 140723442699184 140308757591528 140308345142051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15151156 memory=984 CPUtime=0 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15514783744 23309 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15151156 memory=2044 CPUtime=0 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15514783744 23309 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15151156 memory=1432 CPUtime=0 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865397 15514783744 23309 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15151156 memory=1056 CPUtime=0 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474865397 15514783744 23309 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15151156 memory=788 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474865398 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15151156 memory=1704 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474865399 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307626198304 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15151156 memory=1280 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474865399 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307625145968 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15151156 memory=6048 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15151156 memory=780 CPUtime=0.32 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) R 31820 31820 29909 0 -1 4202560 1635 0 0 0 32 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307623027680 140308737640602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15151156 memory=3604 CPUtime=0.32 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) R 31820 31820 29909 0 -1 4202560 1189 0 0 0 32 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307621969728 140308734899023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15151156 memory=1088 CPUtime=0.36 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 1890 0 0 0 36 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15151156 memory=2832 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15151156 memory=1564 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474865402 15514783744 23309 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94688 KiB

[startup+1.50097 s]
/proc/loadavg: 8.06 7.55 6.07 8/233 31836
/proc/meminfo: memFree=8703700/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0

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

/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 71147 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31837] ppid=31820 vsize=15417412 memory=288230596050944315 CPUtime=2.86 cores=0-3
/proc/31822/task/31837/stat : 31837 (java) R 31820 31820 29909 0 -1 4202560 221 0 0 0 286 0 0 0 20 0 19 0 474865551 15787429888 71147 33554432000 4194304 4196468 140723442699184 140307609851112 140308350181954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31838] ppid=31820 vsize=15417412 memory=15544024371040198 CPUtime=2.8 cores=0-3
/proc/31822/task/31838/stat : 31838 (java) R 31820 31820 29909 0 -1 4202560 633 0 0 0 279 1 0 0 20 0 19 0 474865551 15787429888 71147 33554432000 4194304 4196468 140723442699184 140307608799736 140308350182282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31839] ppid=31820 vsize=15417412 memory=281432698349232 CPUtime=2.74 cores=0-3
/proc/31822/task/31839/stat : 31839 (java) R 31820 31820 29909 0 -1 4202560 440 0 0 0 274 0 0 0 20 0 19 0 474865551 15787429888 71147 33554432000 4194304 4196468 140723442699184 140307607745144 140308350182091 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31840] ppid=31820 vsize=15417412 memory=7379543179595047764 CPUtime=2.57 cores=0-3
/proc/31822/task/31840/stat : 31840 (java) R 31820 31820 29909 0 -1 4202560 220 0 0 0 257 0 0 0 20 0 19 0 474865551 15787429888 71147 33554432000 4194304 4196468 140723442699184 140307606693704 140308350182101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 286040 KiB

[startup+5.60097 s]
/proc/loadavg: 8.06 7.55 6.07 11/238 31846
/proc/meminfo: memFree=8564508/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15417412 memory=281608 CPUtime=19.96 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 30515 0 0 0 1974 22 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3854353 70402 3521 1 0 3815453 0
[pid=31822/tid=31823] ppid=31820 vsize=15417412 memory=-6519613052471072158 CPUtime=1.46 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) S 31820 31820 29909 0 -1 1077944384 9586 0 0 0 140 6 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308757595264 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15417412 memory=7306921424221136738 CPUtime=0.04 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 135 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15417412 memory=0 CPUtime=0.04 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 294 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15417412 memory=7649399397133332787 CPUtime=0.05 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 160 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15417412 memory=0 CPUtime=0.05 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 213 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 19 0 474865398 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307626198368 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307625145984 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15417412 memory=281432698619328 CPUtime=1.73 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) S 31820 31820 29909 0 -1 1077944384 6380 0 0 0 173 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15417412 memory=284148 CPUtime=1.78 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 6449 0 0 0 177 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15417412 memory=16101481145185174 CPUtime=0.64 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 3443 0 0 0 63 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31837] ppid=31820 vsize=15417412 memory=984 CPUtime=3.63 cores=0-3
/proc/31822/task/31837/stat : 31837 (java) R 31820 31820 29909 0 -1 4202560 239 0 0 0 363 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307609851000 140308350181944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31838] ppid=31820 vsize=15417412 memory=2044 CPUtime=3.59 cores=0-3
/proc/31822/task/31838/stat : 31838 (java) R 31820 31820 29909 0 -1 4202560 763 0 0 0 358 1 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307608800024 140308350528339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31839] ppid=31820 vsize=15417412 memory=1432 CPUtime=3.51 cores=0-3
/proc/31822/task/31839/stat : 31839 (java) R 31820 31820 29909 0 -1 4202560 459 0 0 0 351 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307607745128 140308350182142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31840] ppid=31820 vsize=15417412 memory=1056 CPUtime=3.32 cores=0-3
/proc/31822/task/31840/stat : 31840 (java) R 31820 31820 29909 0 -1 4202560 387 0 0 0 332 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307606691504 140308350182167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 19.96 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283060 KiB

[startup+5.80096 s]
/proc/loadavg: 8.06 7.55 6.07 11/238 31846
/proc/meminfo: memFree=8564508/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15417412 memory=281608 CPUtime=20.76 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 30523 0 0 0 2054 22 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3854353 70402 3521 1 0 3815453 0
[pid=31822/tid=31823] ppid=31820 vsize=15417412 memory=1280 CPUtime=1.46 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) S 31820 31820 29909 0 -1 1077944384 9586 0 0 0 140 6 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308757595264 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15417412 memory=6048 CPUtime=0.04 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 135 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15417412 memory=780 CPUtime=0.04 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 294 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15417412 memory=0 CPUtime=0.05 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 160 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15417412 memory=-1088251628401078322 CPUtime=0.05 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 213 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15417412 memory=-2245088631185882904 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 19 0 474865398 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15417412 memory=-1088251628401078322 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307626198368 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15417412 memory=-6583791378613451611 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307625145984 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15417412 memory=-2247047206120872280 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15417412 memory=-1598831813028945288 CPUtime=1.73 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) S 31820 31820 29909 0 -1 1077944384 6386 0 0 0 173 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15417412 memory=-3472574513799858003 CPUtime=1.78 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 6449 0 0 0 177 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15417412 memory=9123871379154395351 CPUtime=0.64 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 3444 0 0 0 63 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15417412 memory=-7169539485663701033 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15417412 memory=281432698611648 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31837] ppid=31820 vsize=15417412 memory=288230377007612191 CPUtime=3.83 cores=0-3
/proc/31822/task/31837/stat : 31837 (java) R 31820 31820 29909 0 -1 4202560 239 0 0 0 383 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307609851000 140308350181954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31838] ppid=31820 vsize=15417412 memory=14698482715854294 CPUtime=3.79 cores=0-3
/proc/31822/task/31838/stat : 31838 (java) R 31820 31820 29909 0 -1 4202560 764 0 0 0 378 1 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307608798040 140308350182196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31839] ppid=31820 vsize=15417412 memory=0 CPUtime=3.71 cores=0-3
/proc/31822/task/31839/stat : 31839 (java) R 31820 31820 29909 0 -1 4202560 459 0 0 0 371 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307607745128 140308350182157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31840] ppid=31820 vsize=15417412 memory=288230376974057755 CPUtime=3.52 cores=0-3
/proc/31822/task/31840/stat : 31840 (java) R 31820 31820 29909 0 -1 4202560 387 0 0 0 352 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307606691504 140308350182305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 20.76 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283060 KiB

[startup+5.90197 s]
/proc/loadavg: 8.06 7.55 6.07 11/238 31846
/proc/meminfo: memFree=8564508/32770688 swapFree=66971760/67108860
[pid=31820] ppid=31817 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/31820/stat : 31820 (xcsp3-exec) S 31817 31820 29909 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 474865396 115843072 363 33554432000 4194304 5098028 140721228438544 140721228436648 140060350976636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40054784 140721228440442 140721228440685 140721228440685 140721228443594 0
/proc/31820/statm: 28282 363 305 221 0 87 0
[pid=31822] ppid=31820 vsize=15417412 memory=281608 CPUtime=21.16 cores=0-3
/proc/31822/stat : 31822 (java) S 31820 31820 29909 0 -1 1077944320 30621 0 0 0 2094 22 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140723442681728 140308753354487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
/proc/31822/statm: 3854353 70402 3521 1 0 3815453 0
[pid=31822/tid=31823] ppid=31820 vsize=15417412 memory=1452 CPUtime=1.46 cores=0-3
/proc/31822/task/31823/stat : 31823 (java) S 31820 31820 29909 0 -1 1077944384 9586 0 0 0 140 6 0 0 20 0 19 0 474865396 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308757595264 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31824] ppid=31820 vsize=15417412 memory=284328 CPUtime=0.04 cores=0-3
/proc/31822/task/31824/stat : 31824 (java) S 31820 31820 29909 0 -1 1077944384 135 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308665010576 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31825] ppid=31820 vsize=15417412 memory=2044 CPUtime=0.04 cores=0-3
/proc/31822/task/31825/stat : 31825 (java) S 31820 31820 29909 0 -1 1077944384 294 0 0 0 2 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308663957776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31826] ppid=31820 vsize=15417412 memory=1432 CPUtime=0.05 cores=0-3
/proc/31822/task/31826/stat : 31826 (java) S 31820 31820 29909 0 -1 1077944384 160 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308343941776 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31827] ppid=31820 vsize=15417412 memory=0 CPUtime=0.05 cores=0-3
/proc/31822/task/31827/stat : 31827 (java) S 31820 31820 29909 0 -1 1077944384 213 0 0 0 3 2 0 0 20 0 19 0 474865397 15787429888 70402 33554432000 4194304 4196468 140723442699184 140308342888976 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31828] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31828/stat : 31828 (java) S 31820 31820 29909 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 19 0 474865398 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307627252336 140308753365634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31829] ppid=31820 vsize=15417412 memory=3612 CPUtime=0 cores=0-3
/proc/31822/task/31829/stat : 31829 (java) S 31820 31820 29909 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307626198368 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31830] ppid=31820 vsize=15417412 memory=53732 CPUtime=0 cores=0-3
/proc/31822/task/31830/stat : 31830 (java) S 31820 31820 29909 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 474865399 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307625145984 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31831] ppid=31820 vsize=15417412 memory=284328 CPUtime=0 cores=0-3
/proc/31822/task/31831/stat : 31831 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307624094288 140308753373083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31832] ppid=31820 vsize=15417412 memory=-5153075247754915967 CPUtime=1.73 cores=0-3
/proc/31822/task/31832/stat : 31832 (java) R 31820 31820 29909 0 -1 1077944384 6386 0 0 0 173 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307623041136 140308753365634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31833] ppid=31820 vsize=15417412 memory=5787213827113576551 CPUtime=1.8 cores=0-3
/proc/31822/task/31833/stat : 31833 (java) S 31820 31820 29909 0 -1 1077944384 6481 0 0 0 179 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307621988336 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31834] ppid=31820 vsize=15417412 memory=1452 CPUtime=0.64 cores=0-3
/proc/31822/task/31834/stat : 31834 (java) S 31820 31820 29909 0 -1 1077944384 3446 0 0 0 63 1 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307620936048 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31835] ppid=31820 vsize=15417412 memory=268032 CPUtime=0 cores=0-3
/proc/31822/task/31835/stat : 31835 (java) S 31820 31820 29909 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307619883488 140308753364693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31836] ppid=31820 vsize=15417412 memory=0 CPUtime=0 cores=0-3
/proc/31822/task/31836/stat : 31836 (java) S 31820 31820 29909 0 -1 1077944384 504 0 0 0 0 0 0 0 20 0 19 0 474865402 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307618831280 140308753365634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31837] ppid=31820 vsize=15417412 memory=1452 CPUtime=3.93 cores=0-3
/proc/31822/task/31837/stat : 31837 (java) R 31820 31820 29909 0 -1 4202560 249 0 0 0 393 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307609851000 140308350182308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31838] ppid=31820 vsize=15417412 memory=282112 CPUtime=3.89 cores=0-3
/proc/31822/task/31838/stat : 31838 (java) R 31820 31820 29909 0 -1 4202560 817 0 0 0 388 1 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307608799528 140308344097645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31839] ppid=31820 vsize=15417412 memory=0 CPUtime=3.79 cores=0-3
/proc/31822/task/31839/stat : 31839 (java) R 31820 31820 29909 0 -1 4202560 459 0 0 0 379 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307607745128 140308350181944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
[pid=31822/tid=31840] ppid=31820 vsize=15417412 memory=281432698188352 CPUtime=3.62 cores=0-3
/proc/31822/task/31840/stat : 31840 (java) R 31820 31820 29909 0 -1 4202560 388 0 0 0 362 0 0 0 20 0 19 0 474865551 15787429888 70402 33554432000 4194304 4196468 140723442699184 140307606691504 140308350903472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25350144 140723442705391 140723442705562 140723442705562 140723442708431 0
Current children cumulated CPU time: 21.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 283060 KiB

Child status: 0
Real time (s): 5.97973
CPU time (s): 21.3777
CPU user time (s): 21.1386
CPU system time (s): 0.239161
CPU usage (%): 357.503
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 286216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1386
system time used= 0.239161
maximum resident set size= 284768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2764
involuntary context switches= 878


# summary of solver processes directly reported to runsolver:
#   pid: 31820
#   total CPU time (s): 21.3777
#   total CPU user time (s): 21.1386
#   total CPU system time (s): 0.239161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059086 second user time and 0.120687 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-600-co.xml
MD5SUM	c8310886daa61c46dd98a045c4929b4c
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	7.06352
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	602
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":600}]
Minimum variable degree	602
Maximum variable degree	602
Distribution of variable degrees	[{"degree":602,"count":600}]
Minimum constraint arity	600
Maximum constraint arity	600
Distribution of constraint arities	[{"arity":600,"count":602}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problem	NO
Type of objective
Trace number 4403438

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
