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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT	12.9242	2.12965
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 (8913 MiB free)
  memory of node 1: 16384 MiB (7402 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404257-1568996529/watcher-4404257-1568996529 -o /tmp/evaluation-result-4404257-1568996529/solver-4404257-1568996529 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568989783-14694 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 716805803 HOME/instance-4404257-1568996529.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
Starting watchdog thread
solver pid=15522, runsolver pid=15519
Current StackSize limit: 8192 KiB


[startup+0.100115 s]*
/proc/loadavg: 8.11 8.20 8.27 2/211 15543
/proc/meminfo: memFree=16689636/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28227396 memory=30012 CPUtime=0.12 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 5903 0 0 0 11 1 0 0 20 0 20 0 475909792 28904853504 7503 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7056849 7503 3156 1 0 7019032 0
[pid=15524/tid=15525] ppid=15522 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) R 15522 15522 14667 0 -1 4202560 3828 0 0 0 8 0 0 0 20 0 20 0 475909792 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481874275360 140481854570555 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481822661264 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28227396 memory=139866071758464 CPUtime=0 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481821608464 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481820555664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15529] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15529/stat : 15529 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481819502864 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15530] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15530/stat : 15530 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481818451088 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15531] ppid=15522 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15531/stat : 15531 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481817398288 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15532] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481816345488 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 7503 33554432000 4194304 4196468 140720973278048 140481815292688 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479998527856 140481870051970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479996420976 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479995369296 140481870059419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) S 15522 15522 14667 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479994317680 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479993264880 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479684237936 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) R 15522 15522 14667 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479683185136 140481849429881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15543] ppid=15522 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15543/stat : 15543 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 7503 33554432000 4194304 4196468 140720973278048 140479681079856 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31464 KiB

[startup+0.209951 s]*
/proc/loadavg: 8.11 8.20 8.27 2/211 15543
/proc/meminfo: memFree=16677464/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28227396 memory=41052 CPUtime=0.33 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 9467 0 0 0 30 3 0 0 20 0 20 0 475909792 28904853504 10263 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7056849 10263 3293 1 0 7019032 0
[pid=15524/tid=15525] ppid=15522 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) R 15522 15522 14667 0 -1 4202560 6683 0 0 0 18 2 0 0 20 0 20 0 475909792 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481874273552 140481870052758 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481822661264 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28227396 memory=139866071773414 CPUtime=0 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481821608464 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481820555664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15529] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15529/stat : 15529 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481819502864 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15530] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15530/stat : 15530 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481818451088 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15531] ppid=15522 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15531/stat : 15531 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481817398288 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15532] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481816345488 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28904853504 10263 33554432000 4194304 4196468 140720973278048 140481815292688 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479998527856 140481870051970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475909795 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479996420976 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479995369296 140481870059419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) S 15522 15522 14667 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479994317680 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) S 15522 15522 14667 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479993264880 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479684237936 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) R 15522 15522 14667 0 -1 4202560 743 0 0 0 7 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479683185136 140481870052758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15543] ppid=15522 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15543/stat : 15543 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28904853504 10263 33554432000 4194304 4196468 140720973278048 140479681079856 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42504 KiB

[startup+0.309532 s]*
/proc/loadavg: 8.11 8.20 8.27 5/211 15543
/proc/meminfo: memFree=16670620/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28231652 memory=49912 CPUtime=0.53 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 10806 0 0 0 49 4 0 0 20 0 20 0 475909792 28909211648 12478 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7057913 12478 3337 1 0 7019032 0
[pid=15524/tid=15525] ppid=15522 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) R 15522 15522 14667 0 -1 4202560 7803 0 0 0 27 2 0 0 20 0 20 0 475909792 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481874271936 140481850010224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481822661264 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481821608464 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481820555664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15529] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15529/stat : 15529 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481819502864 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15530] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15530/stat : 15530 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481818451088 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15531] ppid=15522 vsize=28231652 memory=139865945631407 CPUtime=0 cores=0-7
/proc/15524/task/15531/stat : 15531 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481817398288 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15532] ppid=15522 vsize=28231652 memory=139865945633712 CPUtime=0 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481816345488 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28231652 memory=139865945636016 CPUtime=0 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909793 28909211648 12478 33554432000 4194304 4196468 140720973278048 140481815292688 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475909795 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479998527856 140481870051970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28231652 memory=279731891285904 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475909795 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28231652 memory=279731891283600 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475909795 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479996420976 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28231652 memory=279731891290512 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479995369296 140481870059419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28231652 memory=279731891231792 CPUtime=0.01 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) S 15522 15522 14667 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 20 0 475909798 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479994317680 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28231652 memory=279731891304336 CPUtime=0.04 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) R 15522 15522 14667 0 -1 4202560 317 0 0 0 4 0 0 0 20 0 20 0 475909798 28909211648 12478 33554432000 4194304 4196468 140720973278048 140479993245896 140481853253040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28231652 memory=279731891311248 CPUtime=0.03 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 86 0 0 0 3 0 0 0 20 0 20 0 475909798 28909211648 12506 33554432000 4194304 4196468 140720973278048 140479684237936 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28231652 memory=279731891308944 CPUtime=0.12 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) S 15522 15522 14667 0 -1 1077944384 865 0 0 0 12 0 0 0 20 0 20 0 475909798 28909211648 12506 33554432000 4194304 4196468 140720973278048 140479683185136 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475909798 28909211648 12506 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15543] ppid=15522 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15524/task/15543/stat : 15543 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475909798 28909211648 12506 33554432000 4194304 4196468 140720973278048 140479681079856 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51364 KiB

[startup+0.706117 s]
/proc/loadavg: 8.11 8.20 8.27 5/211 15543
/proc/meminfo: memFree=16651080/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28766288 memory=135564 CPUtime=2.15 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 16112 0 0 0 208 7 0 0 20 0 28 0 475909792 29456678912 33891 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7191572 33891 3468 1 0 7152672 0
[pid=15524/tid=15525] ppid=15522 vsize=28766288 memory=0 CPUtime=0.61 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) S 15522 15522 14667 0 -1 1077944384 9245 0 0 0 57 4 0 0 20 0 28 0 475909792 29456678912 33891 33554432000 4194304 4196468 140720973278048 140481874281600 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28766288 memory=139865945842544 CPUtime=0 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 475909793 29456678912 33891 33554432000 4194304 4196468 140720973278048 140481822661264 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) S 15522 15522 14667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 475909793 29456678912 33891 33554432000 4194304 4196468 140720973278048 140481821608464 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28766288 memory=2832 CPUtime=0 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475909793 29456678912 33891 33554432000 4194304 4196468 140720973278048 140481820555664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0

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

[pid=15524/tid=15532] ppid=15522 vsize=28766288 memory=279731891370624 CPUtime=0.04 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) S 15522 15522 14667 0 -1 1077944384 53 0 0 0 1 3 0 0 20 0 28 0 475909793 29456678912 75308 33554432000 4194304 4196468 140720973278048 140481816345488 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28766288 memory=0 CPUtime=0.04 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) S 15522 15522 14667 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 28 0 475909793 29456678912 75308 33554432000 4194304 4196468 140720973278048 140481815292688 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28766288 memory=279731891854368 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479998527856 140481870051970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28766288 memory=279731891687248 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28766288 memory=139865945990484 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479996420992 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28766288 memory=279731891956768 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479995369296 140481870059419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28766288 memory=0 CPUtime=0.63 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) R 15522 15522 14667 0 -1 1077944384 1769 0 0 0 63 0 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479994317680 140481870051970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28766288 memory=0 CPUtime=0.8 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) S 15522 15522 14667 0 -1 1077944384 3312 0 0 0 79 1 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479993264880 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28766288 memory=0 CPUtime=0.64 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 1476 0 0 0 64 0 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479684237936 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28766288 memory=0 CPUtime=0.42 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) S 15522 15522 14667 0 -1 1077944384 1877 0 0 0 41 1 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479683185136 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28766288 memory=8836 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15543] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15543/stat : 15543 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479681079856 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15544] ppid=15522 vsize=28766288 memory=7649399392838169905 CPUtime=0.69 cores=0-7
/proc/15524/task/15544/stat : 15544 (java) R 15522 15522 14667 0 -1 4202560 45 0 0 0 69 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479672100160 140481489567558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15545] ppid=15522 vsize=28766288 memory=5859295640404643920 CPUtime=0.6 cores=0-7
/proc/15524/task/15545/stat : 15545 (java) R 15522 15522 14667 0 -1 4202560 52 0 0 0 60 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479671045456 140481489565707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15546] ppid=15522 vsize=28766288 memory=27428 CPUtime=0.73 cores=0-7
/proc/15524/task/15546/stat : 15546 (java) R 15522 15522 14667 0 -1 4202560 41 0 0 0 73 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479669994056 140481489565827 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15547] ppid=15522 vsize=28766288 memory=0 CPUtime=0.87 cores=0-7
/proc/15524/task/15547/stat : 15547 (java) R 15522 15522 14667 0 -1 4202560 88 0 0 0 87 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479668941256 140481489566115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15548] ppid=15522 vsize=28766288 memory=0 CPUtime=0.71 cores=0-7
/proc/15524/task/15548/stat : 15548 (java) R 15522 15522 14667 0 -1 4202560 35 0 0 0 71 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479667888456 140481488965147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15549] ppid=15522 vsize=28766288 memory=0 CPUtime=0.7 cores=0-7
/proc/15524/task/15549/stat : 15549 (java) R 15522 15522 14667 0 -1 4202560 40 0 0 0 70 0 0 0 20 0 28 0 475909855 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479666835656 140481489565537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15550] ppid=15522 vsize=28766288 memory=0 CPUtime=0.57 cores=0-7
/proc/15524/task/15550/stat : 15550 (java) R 15522 15522 14667 0 -1 4202560 39 0 0 0 57 0 0 0 20 0 28 0 475909856 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479665782856 140481489565770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15551] ppid=15522 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/15524/task/15551/stat : 15551 (java) R 15522 15522 14667 0 -1 4202560 32 0 0 0 67 0 0 0 20 0 28 0 475909856 29456678912 75308 33554432000 4194304 4196468 140720973278048 140479664730056 140481489063218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 9.16 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 302684 KiB

[startup+2.00213 s]*
/proc/loadavg: 8.11 8.20 8.27 9/219 15551
/proc/meminfo: memFree=16240568/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28766288 memory=518452 CPUtime=12.41 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 20288 0 0 0 1203 38 0 0 20 0 28 0 475909792 29456678912 129613 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7191572 129613 3508 1 0 7152672 0
[pid=15524/tid=15525] ppid=15522 vsize=28766288 memory=4026531863 CPUtime=0.61 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) S 15522 15522 14667 0 -1 1077944384 9245 0 0 0 57 4 0 0 20 0 28 0 475909792 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481874281600 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28766288 memory=1898436 CPUtime=0.06 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) R 15522 15522 14667 0 -1 4202560 59 0 0 0 4 2 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481822661264 140481862669031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28766288 memory=3366407 CPUtime=0.05 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) R 15522 15522 14667 0 -1 4202560 53 0 0 0 3 2 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481821608352 140481855068697 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28766288 memory=279731891379584 CPUtime=0.06 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) R 15522 15522 14667 0 -1 4202560 293 0 0 0 4 2 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481820555664 140481855062898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15529] ppid=15522 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/15524/task/15529/stat : 15529 (java) R 15522 15522 14667 0 -1 4202560 61 0 0 0 4 3 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481819502984 140481853423856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15530] ppid=15522 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/15524/task/15530/stat : 15530 (java) R 15522 15522 14667 0 -1 4202560 61 0 0 0 4 2 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481818451088 140481855064558 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15531] ppid=15522 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/15524/task/15531/stat : 15531 (java) R 15522 15522 14667 0 -1 4202560 53 0 0 0 4 3 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481817398288 140481855066466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15532] ppid=15522 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) R 15522 15522 14667 0 -1 4202560 66 0 0 0 3 4 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481816345488 140481855084889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) R 15522 15522 14667 0 -1 4202560 60 0 0 0 4 2 0 0 20 0 28 0 475909793 29456678912 129613 33554432000 4194304 4196468 140720973278048 140481815292688 140481853423858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479998526368 140481870051029 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28766288 memory=3544952147460240435 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475909795 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479996420992 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28766288 memory=33 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479995369296 140481870059419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) S 15522 15522 14667 0 -1 1077944384 1782 0 0 0 67 0 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479994317680 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28766288 memory=1452 CPUtime=0.82 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) S 15522 15522 14667 0 -1 1077944384 3319 0 0 0 81 1 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479993264880 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28766288 memory=236448 CPUtime=0.69 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 1489 0 0 0 69 0 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479684237936 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28766288 memory=0 CPUtime=0.43 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) S 15522 15522 14667 0 -1 1077944384 1900 0 0 0 42 1 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479683185136 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15543] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15543/stat : 15543 (java) S 15522 15522 14667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475909798 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479681079856 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15544] ppid=15522 vsize=28766288 memory=0 CPUtime=1.07 cores=0-7
/proc/15524/task/15544/stat : 15544 (java) S 15522 15522 14667 0 -1 1077944384 59 0 0 0 107 0 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479672097440 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15545] ppid=15522 vsize=28766288 memory=0 CPUtime=0.97 cores=0-7
/proc/15524/task/15545/stat : 15545 (java) S 15522 15522 14667 0 -1 1077944384 60 0 0 0 97 0 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479671045696 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15546] ppid=15522 vsize=28766288 memory=0 CPUtime=1.12 cores=0-7
/proc/15524/task/15546/stat : 15546 (java) S 15522 15522 14667 0 -1 1077944384 57 0 0 0 111 1 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479669993952 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15547] ppid=15522 vsize=28766288 memory=0 CPUtime=1.21 cores=0-7
/proc/15524/task/15547/stat : 15547 (java) S 15522 15522 14667 0 -1 1077944384 102 0 0 0 121 0 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479668941152 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15548] ppid=15522 vsize=28766288 memory=0 CPUtime=1.05 cores=0-7
/proc/15524/task/15548/stat : 15548 (java) S 15522 15522 14667 0 -1 1077944384 45 0 0 0 105 0 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479667891184 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15549] ppid=15522 vsize=28766288 memory=0 CPUtime=1.05 cores=0-7
/proc/15524/task/15549/stat : 15549 (java) S 15522 15522 14667 0 -1 1077944384 50 0 0 0 105 0 0 0 20 0 28 0 475909855 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479666835296 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15550] ppid=15522 vsize=28766288 memory=0 CPUtime=0.95 cores=0-7
/proc/15524/task/15550/stat : 15550 (java) S 15522 15522 14667 0 -1 1077944384 53 0 0 0 95 0 0 0 20 0 28 0 475909856 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479665782752 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15551] ppid=15522 vsize=28766288 memory=3472592183261933599 CPUtime=1.04 cores=0-7
/proc/15524/task/15551/stat : 15551 (java) S 15522 15522 14667 0 -1 1077944384 41 0 0 0 104 0 0 0 20 0 28 0 475909856 29456678912 129613 33554432000 4194304 4196468 140720973278048 140479664729696 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 519904 KiB

[startup+2.11187 s]
/proc/loadavg: 8.11 8.20 8.27 9/219 15551
/proc/meminfo: memFree=16240568/32770624 swapFree=66986244/67108860
[pid=15522] ppid=15519 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/15522/stat : 15522 (xcsp3-exec) S 15519 15522 14667 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475909792 115843072 363 33554432000 4194304 5098028 140724304789712 140724304787816 140345367716476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27185152 140724304794486 140724304794729 140724304794729 140724304797642 0
/proc/15522/statm: 28282 363 304 221 0 87 0
[pid=15524] ppid=15522 vsize=28766288 memory=531888 CPUtime=12.9 cores=0-7
/proc/15524/stat : 15524 (java) S 15522 15522 14667 0 -1 1077944320 20488 0 0 0 1252 38 0 0 20 0 19 0 475909792 29456678912 132972 33554432000 4194304 4196468 140720973278048 140720973260592 140481870040823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
/proc/15524/statm: 7191572 132972 3516 1 0 7152672 0
[pid=15524/tid=15525] ppid=15522 vsize=28766288 memory=301260 CPUtime=0.62 cores=0-7
/proc/15524/task/15525/stat : 15525 (java) S 15522 15522 14667 0 -1 1077944384 9250 0 0 0 58 4 0 0 20 0 19 0 475909792 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481874283664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15526] ppid=15522 vsize=28766288 memory=3187114 CPUtime=0.07 cores=0-7
/proc/15524/task/15526/stat : 15526 (java) S 15522 15522 14667 0 -1 1077944384 61 0 0 0 5 2 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481822661264 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15527] ppid=15522 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/15524/task/15527/stat : 15527 (java) S 15522 15522 14667 0 -1 1077944384 54 0 0 0 4 2 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481821608464 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15528] ppid=15522 vsize=28766288 memory=279731891731200 CPUtime=0.07 cores=0-7
/proc/15524/task/15528/stat : 15528 (java) S 15522 15522 14667 0 -1 1077944384 295 0 0 0 5 2 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481820555664 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15529] ppid=15522 vsize=28766288 memory=7088771780662946468 CPUtime=0.08 cores=0-7
/proc/15524/task/15529/stat : 15529 (java) S 15522 15522 14667 0 -1 1077944384 62 0 0 0 5 3 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481819502864 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15530] ppid=15522 vsize=28766288 memory=-7533511066075828572 CPUtime=0.07 cores=0-7
/proc/15524/task/15530/stat : 15530 (java) S 15522 15522 14667 0 -1 1077944384 61 0 0 0 5 2 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481818451088 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15531] ppid=15522 vsize=28766288 memory=3617296757724508775 CPUtime=0.08 cores=0-7
/proc/15524/task/15531/stat : 15531 (java) S 15522 15522 14667 0 -1 1077944384 54 0 0 0 5 3 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481817398288 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15532] ppid=15522 vsize=28766288 memory=7525065712555216992 CPUtime=0.08 cores=0-7
/proc/15524/task/15532/stat : 15532 (java) S 15522 15522 14667 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481816345488 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15533] ppid=15522 vsize=28766288 memory=8099266985743969383 CPUtime=0.08 cores=0-7
/proc/15524/task/15533/stat : 15533 (java) S 15522 15522 14667 0 -1 1077944384 61 0 0 0 5 3 0 0 20 0 19 0 475909793 29456678912 132972 33554432000 4194304 4196468 140720973278048 140481815292688 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15534] ppid=15522 vsize=28766288 memory=7517159033909830208 CPUtime=0 cores=0-7
/proc/15524/task/15534/stat : 15534 (java) S 15522 15522 14667 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 19 0 475909795 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479998528064 140481870051970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15535] ppid=15522 vsize=28766288 memory=7649399362773398833 CPUtime=0 cores=0-7
/proc/15524/task/15535/stat : 15535 (java) S 15522 15522 14667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475909795 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479997473824 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15536] ppid=15522 vsize=28766288 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/15524/task/15536/stat : 15536 (java) S 15522 15522 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475909795 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479996420992 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15537] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15537/stat : 15537 (java) S 15522 15522 14667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479995368064 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15538] ppid=15522 vsize=28766288 memory=139865945862912 CPUtime=0.68 cores=0-7
/proc/15524/task/15538/stat : 15538 (java) S 15522 15522 14667 0 -1 1077944384 1788 0 0 0 68 0 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479994302192 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15539] ppid=15522 vsize=28766288 memory=0 CPUtime=0.82 cores=0-7
/proc/15524/task/15539/stat : 15539 (java) S 15522 15522 14667 0 -1 1077944384 3322 0 0 0 81 1 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479993264880 140481870051970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15540] ppid=15522 vsize=28766288 memory=0 CPUtime=0.69 cores=0-7
/proc/15524/task/15540/stat : 15540 (java) S 15522 15522 14667 0 -1 1077944384 1491 0 0 0 69 0 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479684222448 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15541] ppid=15522 vsize=28766288 memory=0 CPUtime=0.44 cores=0-7
/proc/15524/task/15541/stat : 15541 (java) S 15522 15522 14667 0 -1 1077944384 1905 0 0 0 43 1 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479683178624 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
[pid=15524/tid=15542] ppid=15522 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/15524/task/15542/stat : 15542 (java) S 15522 15522 14667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475909798 29456678912 132972 33554432000 4194304 4196468 140720973278048 140479682132576 140481870051029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33177600 140720973280234 140720973280406 140720973280406 140720973283279 0
Current children cumulated CPU time: 12.9 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 533340 KiB

Child status: 0
Real time (s): 2.12965
CPU time (s): 12.9242
CPU user time (s): 12.5277
CPU system time (s): 0.396481
CPU usage (%): 606.872
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 533340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.5277
system time used= 0.396481
maximum resident set size= 533024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2801
involuntary context switches= 362


# summary of solver processes directly reported to runsolver:
#   pid: 15522
#   total CPU time (s): 12.9242
#   total CPU user time (s): 12.5277
#   total CPU system time (s): 0.396481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036989 second user time and 0.070896 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml
MD5SUM	d2780e3631970b53a6f91cd037f7d107
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	3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	3
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4404257

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
