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-06-14 parallel	SAT	42.3506	6.74917
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 (11844 MiB free)
  memory of node 1: 16384 MiB (10749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393578-1568421995/watcher-4393578-1568421995 -o /tmp/evaluation-result-4393578-1568421995/solver-4393578-1568421995 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568417505-21287 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1156833709 HOME/instance-4393578-1568421995.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100084 s]*
/proc/loadavg: 7.23 7.05 6.98 3/211 23811
/proc/meminfo: memFree=23115552/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28227388 memory=31720 CPUtime=0.12 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 5397 0 0 0 11 1 0 0 20 0 20 0 418114427 28904845312 7930 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7056847 7930 3118 1 0 7019032 0
[pid=23792/tid=23793] ppid=23790 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 21260 0 -1 4202560 3290 0 0 0 8 0 0 0 20 0 20 0 418114427 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858612434736 139858608213398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28227388 memory=140428389656192 CPUtime=0 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23797] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858156829456 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23798] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858155776656 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23799] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858154723856 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23800] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 7930 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857205623664 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857204569632 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857203516784 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857202465104 139858608220059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 21260 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857201412464 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857199306864 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) R 23790 23790 21260 0 -1 4202560 349 0 0 0 1 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857198254064 139858587489069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23811] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23811/stat : 23811 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 7930 33554432000 4194304 4196468 140724052879920 139857196149808 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 33176 KiB

[startup+0.210406 s]*
/proc/loadavg: 7.23 7.05 6.98 3/211 23811
/proc/meminfo: memFree=23103044/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28227388 memory=42956 CPUtime=0.34 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 8952 0 0 0 31 3 0 0 20 0 20 0 418114427 28904845312 10739 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7056847 10739 3301 1 0 7019032 0
[pid=23792/tid=23793] ppid=23790 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 21260 0 -1 4202560 6115 0 0 0 18 2 0 0 20 0 20 0 418114427 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858612438512 139858587767424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28227388 memory=140428392750185 CPUtime=0 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23797] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858156829456 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23798] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858155776656 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23799] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858154723856 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23800] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28904845312 10739 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857205623664 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857204569632 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418114430 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857203516784 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857202465104 139858608220059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 21260 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857201412464 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) S 23790 23790 21260 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857199306864 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) S 23790 23790 21260 0 -1 1077944384 748 0 0 0 7 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857198254064 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23811] ppid=23790 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23811/stat : 23811 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28904845312 10739 33554432000 4194304 4196468 140724052879920 139857196149808 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 44412 KiB

[startup+0.310397 s]*
/proc/loadavg: 7.23 7.05 6.98 3/211 23811
/proc/meminfo: memFree=23096528/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28231644 memory=51424 CPUtime=0.52 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 10277 0 0 0 48 4 0 0 20 0 20 0 418114427 28909203456 12856 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7057911 12856 3345 1 0 7019032 0
[pid=23792/tid=23793] ppid=23790 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 21260 0 -1 4202560 7216 0 0 0 27 2 0 0 20 0 20 0 418114427 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858612435248 139858592281950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23797] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858156829456 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23798] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858155776656 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23799] ppid=23790 vsize=28231644 memory=140428250802863 CPUtime=0 cores=0-7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858154723856 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23800] ppid=23790 vsize=28231644 memory=140428250805168 CPUtime=0 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28231644 memory=140428250807472 CPUtime=0 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28909203456 12856 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418114430 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857205623664 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28231644 memory=280856501628816 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418114430 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857204569632 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28231644 memory=280856501626512 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418114430 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857203516784 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28231644 memory=280856501633424 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857202465104 139858608220059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28231644 memory=280856501574704 CPUtime=0.03 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) R 23790 23790 21260 0 -1 4202560 457 0 0 0 3 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857201412464 139858591586556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28231644 memory=280856501647248 CPUtime=0.03 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28231644 memory=280856501654160 CPUtime=0.01 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) S 23790 23790 21260 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857199306864 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28231644 memory=280856501651856 CPUtime=0.12 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) S 23790 23790 21260 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857198254064 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23811] ppid=23790 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/23792/task/23811/stat : 23811 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418114433 28909203456 12856 33554432000 4194304 4196468 140724052879920 139857196149808 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 52880 KiB

[startup+0.709819 s]
/proc/loadavg: 7.23 7.05 6.98 4/211 23811
/proc/meminfo: memFree=23072864/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28233768 memory=114436 CPUtime=1.87 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 14767 0 0 0 180 7 0 0 20 0 20 0 418114427 28911378432 28609 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7058442 28609 3445 1 0 7019544 0
[pid=23792/tid=23793] ppid=23790 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) R 23790 23790 21260 0 -1 4202560 8051 0 0 0 64 4 0 0 20 0 20 0 418114427 28911378432 28609 33554432000 4194304 4196468 140724052879920 139858612437272 139858244921334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28233768 memory=140428251014000 CPUtime=0 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28911378432 28609 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418114428 28911378432 28609 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28233768 memory=1256 CPUtime=0 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418114428 28911378432 28609 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0

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

[pid=23792/tid=23800] ppid=23790 vsize=28768328 memory=6791534058613427641 CPUtime=0.08 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 194 0 0 0 4 4 0 0 20 0 28 0 418114428 29458767872 122177 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28768328 memory=1984 CPUtime=0.09 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 28 0 418114428 29458767872 122177 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28768328 memory=1440 CPUtime=0 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857205623664 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28768328 memory=812 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857204569696 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28768328 memory=2580 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857203516800 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28768328 memory=1760 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857202465104 139858608220059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28768328 memory=111636 CPUtime=2.26 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) S 23790 23790 21260 0 -1 1077944384 6518 0 0 0 224 2 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857201412464 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28768328 memory=808 CPUtime=2.61 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 7035 0 0 0 259 2 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28768328 memory=1808 CPUtime=2 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) R 23790 23790 21260 0 -1 4202560 4811 0 0 0 198 2 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857199307160 139858591586756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28768328 memory=924 CPUtime=0.82 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) S 23790 23790 21260 0 -1 1077944384 4862 0 0 0 81 1 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857198254064 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28768328 memory=4148 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23811] ppid=23790 vsize=28768328 memory=4104 CPUtime=0 cores=0-7
/proc/23792/task/23811/stat : 23811 (java) S 23790 23790 21260 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857196149808 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23812] ppid=23790 vsize=28768328 memory=1412 CPUtime=3.82 cores=0-7
/proc/23792/task/23812/stat : 23812 (java) R 23790 23790 21260 0 -1 4202560 157 0 0 0 382 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857187176456 139858251668364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23813] ppid=23790 vsize=28768328 memory=2668 CPUtime=3.83 cores=0-7
/proc/23792/task/23813/stat : 23813 (java) R 23790 23790 21260 0 -1 4202560 132 0 0 0 383 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857186123880 139858251668235 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23814] ppid=23790 vsize=28768328 memory=1456 CPUtime=3.73 cores=0-7
/proc/23792/task/23814/stat : 23814 (java) R 23790 23790 21260 0 -1 4202560 1314 0 0 0 367 6 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857185071192 139858254169023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23815] ppid=23790 vsize=28768328 memory=1052 CPUtime=3.51 cores=0-7
/proc/23792/task/23815/stat : 23815 (java) R 23790 23790 21260 0 -1 4202560 480 0 0 0 351 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857184018136 139858251668326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23816] ppid=23790 vsize=28768328 memory=776 CPUtime=3.74 cores=0-7
/proc/23792/task/23816/stat : 23816 (java) R 23790 23790 21260 0 -1 4202560 95 0 0 0 374 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857182965504 139858251668157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23817] ppid=23790 vsize=28768328 memory=2832 CPUtime=3.52 cores=0-7
/proc/23792/task/23817/stat : 23817 (java) R 23790 23790 21260 0 -1 4202560 142 0 0 0 352 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857181913080 139858251668279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23818] ppid=23790 vsize=28768328 memory=668 CPUtime=3.7 cores=0-7
/proc/23792/task/23818/stat : 23818 (java) R 23790 23790 21260 0 -1 4202560 131 0 0 0 370 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857180860608 139858251668235 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23819] ppid=23790 vsize=28768328 memory=1256 CPUtime=4.02 cores=0-7
/proc/23792/task/23819/stat : 23819 (java) R 23790 23790 21260 0 -1 4202560 223 0 0 0 402 0 0 0 20 0 28 0 418114623 29458767872 122177 33554432000 4194304 4196468 140724052879920 139857179810584 139858251668279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 40.26 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 490164 KiB

[startup+6.60183 s]
/proc/loadavg: 6.81 6.96 6.95 9/219 23819
/proc/meminfo: memFree=22662148/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28768328 memory=488944 CPUtime=41.85 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 38604 0 0 0 4119 66 0 0 20 0 28 0 418114427 29458767872 122236 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7192082 122236 3529 1 0 7153184 0
[pid=23792/tid=23793] ppid=23790 vsize=28768328 memory=22444 CPUtime=1.81 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 21260 0 -1 1077944384 8799 0 0 0 174 7 0 0 20 0 28 0 418114427 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858612442240 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28768328 memory=14056 CPUtime=0.07 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 125 0 0 0 3 4 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28768328 memory=2116 CPUtime=0.1 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 195 0 0 0 4 6 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28768328 memory=520 CPUtime=0.07 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 86 0 0 0 3 4 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23797] ppid=23790 vsize=28768328 memory=1560 CPUtime=0.1 cores=0-7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 21260 0 -1 1077944384 195 0 0 0 4 6 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858156829456 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23798] ppid=23790 vsize=28768328 memory=924 CPUtime=0.08 cores=0-7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 21260 0 -1 1077944384 121 0 0 0 3 5 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858155776656 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23799] ppid=23790 vsize=28768328 memory=3688 CPUtime=0.09 cores=0-7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 21260 0 -1 1077944384 140 0 0 0 5 4 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858154723856 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23800] ppid=23790 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 194 0 0 0 4 4 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28768328 memory=-6452064069391756930 CPUtime=0.09 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 28 0 418114428 29458767872 122236 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28768328 memory=-3395018486312292127 CPUtime=0 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857205623664 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28768328 memory=-6584131518495940709 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857204569696 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28768328 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 418114430 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857203516800 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28768328 memory=-2247047206104031065 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857202465104 139858608220059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28768328 memory=-2746958450906831424 CPUtime=2.29 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) R 23790 23790 21260 0 -1 4202560 6524 0 0 0 227 2 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857201412464 139858589731015 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28768328 memory=-6875398377015749927 CPUtime=2.69 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 7045 0 0 0 267 2 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28768328 memory=-6379554838977735514 CPUtime=2.06 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) S 23790 23790 21260 0 -1 1077944384 4825 0 0 0 204 2 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857199306864 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28768328 memory=280856501852904 CPUtime=0.84 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) S 23790 23790 21260 0 -1 1077944384 4905 0 0 0 83 1 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857198254064 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28768328 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23811] ppid=23790 vsize=28768328 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/23792/task/23811/stat : 23811 (java) S 23790 23790 21260 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 28 0 418114433 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857196149808 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23812] ppid=23790 vsize=28768328 memory=6655300316396806240 CPUtime=4.02 cores=0-7
/proc/23792/task/23812/stat : 23812 (java) R 23790 23790 21260 0 -1 4202560 157 0 0 0 402 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857187177880 139858252204399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23813] ppid=23790 vsize=28768328 memory=-3967418655009478193 CPUtime=4.03 cores=0-7
/proc/23792/task/23813/stat : 23813 (java) R 23790 23790 21260 0 -1 4202560 132 0 0 0 403 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857186123880 139858251668279 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23814] ppid=23790 vsize=28768328 memory=4137290303932963203 CPUtime=3.87 cores=0-7
/proc/23792/task/23814/stat : 23814 (java) R 23790 23790 21260 0 -1 4202560 1321 0 0 0 381 6 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857185070648 139858244828416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23815] ppid=23790 vsize=28768328 memory=288230574492221466 CPUtime=3.69 cores=0-7
/proc/23792/task/23815/stat : 23815 (java) R 23790 23790 21260 0 -1 4202560 480 0 0 0 369 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857184018136 139858251669027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23816] ppid=23790 vsize=28768328 memory=288230596050944315 CPUtime=3.92 cores=0-7
/proc/23792/task/23816/stat : 23816 (java) R 23790 23790 21260 0 -1 4202560 95 0 0 0 392 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857182967736 139858252466575 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23817] ppid=23790 vsize=28768328 memory=14699582244260401 CPUtime=3.64 cores=0-7
/proc/23792/task/23817/stat : 23817 (java) R 23790 23790 21260 0 -1 4202560 142 0 0 0 364 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857181913080 139858252156166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23818] ppid=23790 vsize=28768328 memory=0 CPUtime=3.89 cores=0-7
/proc/23792/task/23818/stat : 23818 (java) R 23790 23790 21260 0 -1 4202560 131 0 0 0 389 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857180860608 139858251668157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23819] ppid=23790 vsize=28768328 memory=0 CPUtime=4.2 cores=0-7
/proc/23792/task/23819/stat : 23819 (java) R 23790 23790 21260 0 -1 4202560 223 0 0 0 420 0 0 0 20 0 28 0 418114623 29458767872 122236 33554432000 4194304 4196468 140724052879920 139857179808408 139858251668279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 41.85 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 490400 KiB

[startup+6.70121 s]
/proc/loadavg: 6.81 6.96 6.95 9/219 23819
/proc/meminfo: memFree=22662148/32770624 swapFree=66939840/67108860
[pid=23790] ppid=23787 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/23790/stat : 23790 (xcsp3-exec) S 23787 23790 21260 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418114427 115843072 364 33554432000 4194304 5098028 140722239280784 140722239278888 140036208063100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9457664 140722239284085 140722239284329 140722239284329 140722239287242 0
/proc/23790/statm: 28282 364 305 221 0 87 0
[pid=23792] ppid=23790 vsize=28768328 memory=488580 CPUtime=42.3 cores=0-7
/proc/23792/stat : 23792 (java) S 23790 23790 21260 0 -1 1077944320 38813 0 0 0 4163 67 0 0 20 0 19 0 418114427 29458767872 122145 33554432000 4194304 4196468 140724052879920 140724052862464 139858608201463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
/proc/23792/statm: 7192082 122145 3531 1 0 7153184 0
[pid=23792/tid=23793] ppid=23790 vsize=28768328 memory=1456 CPUtime=1.82 cores=0-7
/proc/23792/task/23793/stat : 23793 (java) S 23790 23790 21260 0 -1 1077944384 8858 0 0 0 175 7 0 0 20 0 19 0 418114427 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858612444304 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23794] ppid=23790 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7
/proc/23792/task/23794/stat : 23794 (java) S 23790 23790 21260 0 -1 1077944384 125 0 0 0 3 4 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858564754576 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23795] ppid=23790 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/23792/task/23795/stat : 23795 (java) S 23790 23790 21260 0 -1 1077944384 195 0 0 0 4 6 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858158935056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23796] ppid=23790 vsize=28768328 memory=33 CPUtime=0.07 cores=0-7
/proc/23792/task/23796/stat : 23796 (java) S 23790 23790 21260 0 -1 1077944384 86 0 0 0 3 4 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858157882256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23797] ppid=23790 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7
/proc/23792/task/23797/stat : 23797 (java) S 23790 23790 21260 0 -1 1077944384 195 0 0 0 4 6 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858156829456 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23798] ppid=23790 vsize=28768328 memory=56 CPUtime=0.08 cores=0-7
/proc/23792/task/23798/stat : 23798 (java) S 23790 23790 21260 0 -1 1077944384 121 0 0 0 3 5 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858155776656 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23799] ppid=23790 vsize=28768328 memory=8475934422147845324 CPUtime=0.09 cores=0-7
/proc/23792/task/23799/stat : 23799 (java) S 23790 23790 21260 0 -1 1077944384 140 0 0 0 5 4 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858154723856 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23800] ppid=23790 vsize=28768328 memory=-7316765473029595040 CPUtime=0.08 cores=0-7
/proc/23792/task/23800/stat : 23800 (java) S 23790 23790 21260 0 -1 1077944384 194 0 0 0 4 4 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858153671056 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23801] ppid=23790 vsize=28768328 memory=-7966001734536614954 CPUtime=0.09 cores=0-7
/proc/23792/task/23801/stat : 23801 (java) S 23790 23790 21260 0 -1 1077944384 162 0 0 0 4 5 0 0 20 0 19 0 418114428 29458767872 122145 33554432000 4194304 4196468 140724052879920 139858152618256 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23802] ppid=23790 vsize=28768328 memory=56 CPUtime=0.01 cores=0-7
/proc/23792/task/23802/stat : 23802 (java) S 23790 23790 21260 0 -1 1077944384 862 0 0 0 1 0 0 0 20 0 19 0 418114430 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857205623872 139858608212610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23803] ppid=23790 vsize=28768328 memory=10754 CPUtime=0 cores=0-7
/proc/23792/task/23803/stat : 23803 (java) S 23790 23790 21260 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 418114430 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857204569696 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23804] ppid=23790 vsize=28768328 memory=24415 CPUtime=0 cores=0-7
/proc/23792/task/23804/stat : 23804 (java) S 23790 23790 21260 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 418114430 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857203516800 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23805] ppid=23790 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23805/stat : 23805 (java) S 23790 23790 21260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857202464752 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23806] ppid=23790 vsize=28768328 memory=3504 CPUtime=2.38 cores=0-7
/proc/23792/task/23806/stat : 23806 (java) R 23790 23790 21260 0 -1 4202560 6577 0 0 0 236 2 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857201412760 139858608215312 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23807] ppid=23790 vsize=28768328 memory=40644 CPUtime=2.71 cores=0-7
/proc/23792/task/23807/stat : 23807 (java) S 23790 23790 21260 0 -1 1077944384 7049 0 0 0 269 2 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857200359664 139858608212610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23808] ppid=23790 vsize=28768328 memory=988 CPUtime=2.06 cores=0-7
/proc/23792/task/23808/stat : 23808 (java) S 23790 23790 21260 0 -1 1077944384 4825 0 0 0 204 2 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857199291360 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23809] ppid=23790 vsize=28768328 memory=2008 CPUtime=0.85 cores=0-7
/proc/23792/task/23809/stat : 23809 (java) S 23790 23790 21260 0 -1 1077944384 4911 0 0 0 84 1 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857198252960 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
[pid=23792/tid=23810] ppid=23790 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/23792/task/23810/stat : 23810 (java) S 23790 23790 21260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 418114433 29458767872 122145 33554432000 4194304 4196468 140724052879920 139857197202528 139858608211669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12570624 140724052886506 140724052886678 140724052886678 140724052889551 0
Current children cumulated CPU time: 42.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 490036 KiB

Child status: 0
Real time (s): 6.74917
CPU time (s): 42.3506
CPU user time (s): 41.6674
CPU system time (s): 0.683256
CPU usage (%): 627.493
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 491664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6674
system time used= 0.683256
maximum resident set size= 490396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4599
involuntary context switches= 1181


# summary of solver processes directly reported to runsolver:
#   pid: 23790
#   total CPU time (s): 42.3506
#   total CPU user time (s): 41.6674
#   total CPU system time (s): 0.683256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083781 second user time and 0.108486 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 4393578

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
