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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT	23.029499	15.0387
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 (14526 MiB free)
  memory of node 1: 16384 MiB (15495 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284023-1503204453/watcher-4284023-1503204453 -o /tmp/evaluation-result-4284023-1503204453/solver-4284023-1503204453 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1587152356 HOME/instance-4284023-1503204453.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=1607, runsolver pid=1604

[startup+0.10011 s]*
/proc/loadavg: 1.92 2.01 2.16 2/197 1608
/proc/meminfo: memFree=30742712/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9508 memory=1140 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) R 1604 1607 13977 0 -1 4202496 481 0 0 0 0 0 0 0 20 0 1 0 108785955 9736192 285 18446744073709551615 4194304 5098028 140724915461600 140724915461600 139900226049152 0 0 5 65536 0 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2377 285 237 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1140 KiB

[startup+0.209136 s]*
/proc/loadavg: 1.92 2.01 2.16 2/211 1622
/proc/meminfo: memFree=30731352/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13973868 memory=22008 CPUtime=0.06 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 4914 0 0 0 5 1 0 0 20 0 15 0 108785966 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3493467 5502 2580 1 0 3482964 0
[pid=1609/tid=1610] ppid=1607 vsize=13973868 memory=1404226546352693642 CPUtime=0.04 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 3101 0 0 0 4 0 0 0 20 0 15 0 108785966 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139903507482992 139903503275165 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13973868 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13973868 memory=140148640814720 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785967 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13973868 memory=140148640814720 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785968 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108785969 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108785969 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 108785971 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13973868 memory=140148640814720 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 108785971 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13973868 memory=140148640814720 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785977 14309240832 5502 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23384 KiB

[startup+0.3102 s]*
/proc/loadavg: 1.92 2.01 2.16 3/212 1623
/proc/meminfo: memFree=30718512/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13974352 memory=36368 CPUtime=0.24 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 8607 0 0 0 22 2 0 0 20 0 15 0 108785966 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3493588 9092 2974 1 0 3482964 0
[pid=1609/tid=1610] ppid=1607 vsize=13974352 memory=6933928925625698159 CPUtime=0.14 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 5950 0 0 0 13 1 0 0 20 0 15 0 108785966 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139903507466688 139903482828105 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785967 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785968 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108785969 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108785969 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 108785971 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 108785971 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 692 0 0 0 5 0 0 0 20 0 15 0 108785971 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785977 14309736448 9092 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37744 KiB

[startup+0.700794 s]
/proc/loadavg: 1.92 2.01 2.16 5/212 1623
/proc/meminfo: memFree=30701420/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13978684 memory=84132 CPUtime=1.3 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 13657 0 0 0 126 4 0 0 20 0 15 0 108785966 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3494671 21033 3170 1 0 3482964 0
[pid=1609/tid=1610] ppid=1607 vsize=13978684 memory=1236 CPUtime=0.52 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 7873 0 0 0 50 2 0 0 20 0 15 0 108785966 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139903507487152 139903140767489 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13978684 memory=1148 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13978684 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13978684 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13978684 memory=54420 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785967 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13978684 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 108785968 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13978684 memory=4284 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108785969 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13978684 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108785969 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13978684 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13978684 memory=7302135314614015844 CPUtime=0.23 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) R 1607 1607 13977 0 -1 4202560 1469 0 0 0 23 0 0 0 20 0 15 0 108785971 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902482963616 139903486739276 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13978684 memory=7739276948478453608 CPUtime=0.24 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) R 1607 1607 13977 0 -1 4202560 1389 0 0 0 24 0 0 0 20 0 15 0 108785971 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902481911040 139903486464934 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13978684 memory=7235425698073502828 CPUtime=0.27 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 1619 0 0 0 27 0 0 0 20 0 15 0 108785971 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13978684 memory=7307214010630631265 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13978684 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785977 14314172416 21033 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85508 KiB

[startup+1.50081 s]
/proc/loadavg: 1.92 2.01 2.16 5/212 1623
/proc/meminfo: memFree=30631552/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13980732 memory=170512 CPUtime=4.03 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 21412 0 0 0 396 7 0 0 20 0 15 0 108785966 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3495183 42628 3204 1 0 3483476 0
[pid=1609/tid=1610] ppid=1607 vsize=13980732 memory=5787810879341941074 CPUtime=1.31 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 9098 0 0 0 127 4 0 0 20 0 15 0 108785966 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139903507490000 139903147674348 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13980732 memory=280297081929968 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13980732 memory=140148541178392 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 108785967 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 108785967 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 108785968 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13980732 memory=-1891255765032775953 CPUtime=1 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) R 1607 1607 13977 0 -1 4202560 3838 0 0 0 99 1 0 0 20 0 15 0 108785971 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902482957664 139903486739173 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13980732 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) R 1607 1607 13977 0 -1 4202560 3486 0 0 0 102 0 0 0 20 0 15 0 108785971 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902481903944 139903482472469 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13980732 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 3671 0 0 0 67 1 0 0 20 0 15 0 108785971 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785977 14316269568 42628 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0

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

/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13980732 memory=251016 CPUtime=20.73 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 43179 0 0 0 2056 17 0 0 20 0 15 0 108785966 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3495183 62754 3246 1 0 3483476 0
[pid=1609/tid=1610] ppid=1607 vsize=13980732 memory=1296 CPUtime=12.52 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 10814 0 0 0 1248 4 0 0 20 0 15 0 108785966 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139903507490280 139903140963426 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13980732 memory=1728 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 909 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13980732 memory=5788 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 859 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13980732 memory=1996 CPUtime=0.05 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 249 0 0 0 4 1 0 0 20 0 15 0 108785967 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13980732 memory=796 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 286 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13980732 memory=10096 CPUtime=0.01 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 108785968 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13980732 memory=248964 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13980732 memory=16240 CPUtime=3.46 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 12984 0 0 0 344 2 0 0 20 0 15 0 108785971 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13980732 memory=0 CPUtime=3.58 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 10533 0 0 0 357 1 0 0 20 0 15 0 108785971 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13980732 memory=22308 CPUtime=0.85 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 4816 0 0 0 83 2 0 0 20 0 15 0 108785971 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13980732 memory=11089 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 108785977 14316269568 62754 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 20.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 252392 KiB

[startup+14.4008 s]
/proc/loadavg: 1.99 2.02 2.17 3/212 1623
/proc/meminfo: memFree=30503668/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13980732 memory=251060 CPUtime=22.33 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 43631 0 0 0 2216 17 0 0 20 0 15 0 108785966 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3495183 62765 3246 1 0 3483476 0
[pid=1609/tid=1610] ppid=1607 vsize=13980732 memory=7680170660397595203 CPUtime=14.12 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 11041 0 0 0 1408 4 0 0 20 0 15 0 108785966 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139903507492240 139903147091221 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13980732 memory=251060 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 909 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13980732 memory=1716 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 859 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13980732 memory=1008 CPUtime=0.05 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 249 0 0 0 4 1 0 0 20 0 15 0 108785967 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13980732 memory=95 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 286 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 108785968 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13980732 memory=155 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13980732 memory=1397 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13980732 memory=186 CPUtime=3.46 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 12986 0 0 0 344 2 0 0 20 0 15 0 108785971 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13980732 memory=1232 CPUtime=3.58 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 10741 0 0 0 357 1 0 0 20 0 15 0 108785971 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13980732 memory=9024 CPUtime=0.85 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 4818 0 0 0 83 2 0 0 20 0 15 0 108785971 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13980732 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13980732 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 108785977 14316269568 62765 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 252436 KiB

[startup+14.8008 s]
/proc/loadavg: 1.99 2.02 2.17 3/212 1623
/proc/meminfo: memFree=30503668/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13980732 memory=251124 CPUtime=22.77 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 44370 0 0 0 2260 17 0 0 20 0 15 0 108785966 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3495183 62781 3246 1 0 3483476 0
[pid=1609/tid=1610] ppid=1607 vsize=13980732 memory=251060 CPUtime=14.5 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 11128 0 0 0 1446 4 0 0 20 0 15 0 108785966 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903507492784 139903147640184 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13980732 memory=14975568235988571 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 962 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13980732 memory=14131134732700193 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 906 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13980732 memory=2168 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 303 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13980732 memory=836 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 460 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13980732 memory=3916 CPUtime=0.01 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 108785968 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13980732 memory=3056 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13980732 memory=588912 CPUtime=3.47 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 13300 0 0 0 345 2 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13980732 memory=4068 CPUtime=3.58 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 10741 0 0 0 357 1 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13980732 memory=1236 CPUtime=0.85 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 4818 0 0 0 83 2 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13980732 memory=1148 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 108785977 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 22.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 252500 KiB

[startup+15.0008 s]*
/proc/loadavg: 1.99 2.02 2.17 3/212 1623
/proc/meminfo: memFree=30503668/32770624 swapFree=67108860/67108860
[pid=1607] ppid=1604 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/1607/stat : 1607 (xcsp3-exec) S 1604 1607 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108785955 9740288 344 18446744073709551615 4194304 5098028 140724915461600 140724915459704 139900226609788 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 8077312 140724915462520 140724915462725 140724915462725 140724915466219 0
/proc/1607/statm: 2378 344 289 221 0 87 0
[pid=1609] ppid=1607 vsize=13980732 memory=251124 CPUtime=22.98 cores=1,3,5,7
/proc/1609/stat : 1609 (java) S 1607 1607 13977 0 -1 1077944320 44370 0 0 0 2281 17 0 0 20 0 15 0 108785966 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 140737262151104 139903503253239 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
/proc/1609/statm: 3495183 62781 3246 1 0 3483476 0
[pid=1609/tid=1610] ppid=1607 vsize=13980732 memory=6933928925625698159 CPUtime=14.71 cores=1,3,5,7
/proc/1609/task/1610/stat : 1610 (java) R 1607 1607 13977 0 -1 4202560 11132 0 0 0 1467 4 0 0 20 0 15 0 108785966 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903507492784 139903147640233 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1611] ppid=1607 vsize=13980732 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1611/stat : 1611 (java) S 1607 1607 13977 0 -1 1077944384 962 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903103069200 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1612] ppid=1607 vsize=13980732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1612/stat : 1612 (java) S 1607 1607 13977 0 -1 1077944384 906 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903102016656 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1613] ppid=1607 vsize=13980732 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/1609/task/1613/stat : 1613 (java) S 1607 1607 13977 0 -1 1077944384 303 0 0 0 5 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903100963600 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1614] ppid=1607 vsize=13980732 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1609/task/1614/stat : 1614 (java) S 1607 1607 13977 0 -1 1077944384 460 0 0 0 6 1 0 0 20 0 15 0 108785967 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139903099911056 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1615] ppid=1607 vsize=13980732 memory=-7677921907076154778 CPUtime=0.01 cores=1,3,5,7
/proc/1609/task/1615/stat : 1615 (java) S 1607 1607 13977 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 108785968 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902487185648 139903503264386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1616] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1616/stat : 1616 (java) S 1607 1607 13977 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902486131872 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1617] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1617/stat : 1617 (java) S 1607 1607 13977 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 108785969 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902485078768 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1618] ppid=1607 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1618/stat : 1618 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902484027344 139903503271835 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1619] ppid=1607 vsize=13980732 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/1609/task/1619/stat : 1619 (java) S 1607 1607 13977 0 -1 1077944384 13300 0 0 0 345 2 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902482975472 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1620] ppid=1607 vsize=13980732 memory=3007813197836976 CPUtime=3.58 cores=1,3,5,7
/proc/1609/task/1620/stat : 1620 (java) S 1607 1607 13977 0 -1 1077944384 10741 0 0 0 357 1 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902481922928 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1621] ppid=1607 vsize=13980732 memory=7163935542280020822 CPUtime=0.85 cores=1,3,5,7
/proc/1609/task/1621/stat : 1621 (java) S 1607 1607 13977 0 -1 1077944384 4818 0 0 0 83 2 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902480869872 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1622] ppid=1607 vsize=13980732 memory=7883673633290409578 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1622/stat : 1622 (java) S 1607 1607 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108785971 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902479817568 139903503263445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
[pid=1609/tid=1623] ppid=1607 vsize=13980732 memory=7368000390292333138 CPUtime=0 cores=1,3,5,7
/proc/1609/task/1623/stat : 1623 (java) S 1607 1607 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 108785977 14316269568 62781 18446744073709551615 4194304 4196468 140737262168560 139902478764592 139903503264386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16515072 140737262174641 140737262174817 140737262174817 140737262178255 0
Current children cumulated CPU time: 22.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 252500 KiB

Child status: 0
Real time (s): 15.0387
CPU time (s): 23.0295
CPU user time (s): 22.8448
CPU system time (s): 0.184667
CPU usage (%): 153.135
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 252500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8448
system time used= 0.184667
maximum resident set size= 251428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46005
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= 2859
involuntary context switches= 67


# summary of solver processes directly reported to runsolver:
#   pid: 1607
#   total CPU time (s): 23.0295
#   total CPU user time (s): 22.8448
#   total CPU system time (s): 0.184667

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087573 second user time and 0.221127 second system time

The end
Name	SocialGolfers/SocialGolfers-xcsp2-s1/ SocialGolfers-06-3-5_X2.xml
MD5SUM	a8701a72dabf0de37daca9c92732f8d4
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	13.4951
Satisfiable
(Un)Satisfiability was proved
Number of variables	1080
Number of constraints	3375
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":1080}]
Minimum variable degree	6
Maximum variable degree	16
Distribution of variable degrees	[{"degree":6,"count":630},{"degree":16,"count":450}]
Minimum constraint arity	3
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":3,"count":3150},{"arity":5,"count":90},{"arity":6,"count":105},{"arity":15,"count":30}]
Number of extensional constraints	0
Number of intensional constraints	3150
Distribution of constraint types	[{"type":"intension","count":3150},{"type":"sum","count":225}]
Optimization problem	NO
Type of objective
Trace number 4284023

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
