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 (14162 MiB free)
  memory of node 1: 16384 MiB (15432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283979-1503192210/watcher-4283979-1503192210 -o /tmp/evaluation-result-4283979-1503192210/solver-4283979-1503192210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1757473146 HOME/instance-4283979-1503192210.xml 

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

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

solver pid=13561, runsolver pid=13558

[startup+0.100312 s]*
/proc/loadavg: 1.49 1.51 1.57 3/198 13563
/proc/meminfo: memFree=30305904/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=11657624 memory=6984 CPUtime=0 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 1982 0 0 0 0 0 0 0 20 0 2 0 121414019 11937406976 1680 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 2914406 1746 1151 1 0 2904376 0
[pid=13563/tid=13564] ppid=13561 vsize=12298740 memory=-8023549066454273880 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 972 0 0 0 0 0 0 0 20 0 6 0 121414019 12593909760 1958 18446744073709551615 4194304 4196468 140722955919424 139707401921864 139707383662869 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13355668 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121414020 13676204032 1958 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13355668 memory=140428182333056 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121414020 13676204032 1958 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13355668 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121414020 13676204032 1958 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121414020 13677060096 1958 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 8364 KiB

[startup+0.209832 s]*
/proc/loadavg: 1.49 1.51 1.57 4/212 13577
/proc/meminfo: memFree=30293128/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13974352 memory=23712 CPUtime=0.06 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 4855 0 0 0 5 1 0 0 20 0 15 0 121414019 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3493588 5928 2713 1 0 3482964 0
[pid=13563/tid=13564] ppid=13561 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 3025 0 0 0 4 1 0 0 20 0 15 0 121414019 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139707401915168 139707397702813 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13974352 memory=3473036081013761696 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13974352 memory=140428182333056 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414021 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414022 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 121414024 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13974352 memory=140428182333056 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 28892 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 121414024 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13974352 memory=140428182333056 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414030 14309736448 5928 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25092 KiB

[startup+0.310141 s]*
/proc/loadavg: 1.49 1.51 1.57 3/212 13577
/proc/meminfo: memFree=30277908/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13974352 memory=37208 CPUtime=0.24 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 8366 0 0 0 21 3 0 0 20 0 15 0 121414019 14309736448 9302 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3493588 9302 2982 1 0 3482964 0
[pid=13563/tid=13564] ppid=13561 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 5709 0 0 0 13 2 0 0 20 0 15 0 121414019 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139707401895024 139707397692822 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414021 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414022 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 15 0 121414024 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 121414024 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13974352 memory=140428182333056 CPUtime=0.05 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) R 13561 13561 28892 0 -1 4202560 672 0 0 0 5 0 0 0 20 0 15 0 121414024 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397702234 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13974352 memory=140428182333056 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414030 14309736448 9367 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38588 KiB

[startup+0.700779 s]
/proc/loadavg: 1.49 1.51 1.57 5/212 13577
/proc/meminfo: memFree=30262428/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13978684 memory=75108 CPUtime=1.31 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 12463 0 0 0 125 6 0 0 20 0 15 0 121414019 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3494671 18777 3160 1 0 3482964 0
[pid=13563/tid=13564] ppid=13561 vsize=13978684 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 7411 0 0 0 49 3 0 0 20 0 15 0 121414019 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139707401917360 139707043053638 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13978684 memory=110 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414020 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13978684 memory=206 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13978684 memory=399 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121414020 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13978684 memory=7 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 121414021 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13978684 memory=1 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13978684 memory=140428049528049 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121414022 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13978684 memory=280856099374240 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13978684 memory=140428049522182 CPUtime=0.24 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) R 13561 13561 28892 0 -1 4202560 1288 0 0 0 24 0 0 0 20 0 15 0 121414024 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706872003232 139707383744865 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13978684 memory=280852005424217 CPUtime=0.23 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) R 13561 13561 28892 0 -1 4202560 1105 0 0 0 23 0 0 0 20 0 15 0 121414024 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706870969392 139707382806909 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13978684 memory=6944656592455097440 CPUtime=0.28 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 28892 0 -1 1077944384 1349 0 0 0 28 0 0 0 20 0 15 0 121414024 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121414030 14314172416 18777 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 76488 KiB

[startup+1.50172 s]
/proc/loadavg: 1.49 1.51 1.57 5/212 13577
/proc/meminfo: memFree=30192476/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=209444 CPUtime=3.93 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 16713 0 0 0 383 10 0 0 20 0 15 0 121414019 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3495183 52361 3209 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=65048 CPUtime=1.31 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 7916 0 0 0 125 6 0 0 20 0 15 0 121414019 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139707401919760 139707039843792 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=33 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=-7965959130280075168 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=280856098842880 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414020 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=110 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121414021 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=206 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 52361 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=399 CPUtime=0 cores=1,3,5,7

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

/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=212040 CPUtime=8.24 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 21320 0 0 0 812 12 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3495183 53010 3221 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=140428049685217 CPUtime=3.82 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 9201 0 0 0 376 6 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139707401917816 139707045375032 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=8186646361124467522 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=4137287014106042739 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=6933690305039933585 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=1401081929475266947 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 121414021 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=1401081929475266947 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=7088771780662946468 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13980732 memory=-7522837583045027981 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13980732 memory=9215612443221087420 CPUtime=1.81 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 3478 0 0 0 180 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13980732 memory=-4116991961986969151 CPUtime=1.79 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 4184 0 0 0 178 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13980732 memory=-4116735710718344508 CPUtime=0.73 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 28892 0 -1 1077944384 2950 0 0 0 72 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13980732 memory=-2111040709483051857 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 121414030 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213420 KiB

[startup+4.40081 s]
/proc/loadavg: 1.53 1.51 1.58 3/212 13577
/proc/meminfo: memFree=30129452/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=212040 CPUtime=8.66 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 21490 0 0 0 854 12 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3495183 53010 3221 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=211624 CPUtime=4.21 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 9209 0 0 0 415 6 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139707401917664 139707046502407 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=1444 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=1992 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 121414021 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13980732 memory=9136 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13980732 memory=15880 CPUtime=1.83 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 3483 0 0 0 182 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13980732 memory=4048 CPUtime=1.8 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 4187 0 0 0 179 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13980732 memory=33 CPUtime=0.73 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 28892 0 -1 1077944384 2960 0 0 0 72 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13980732 memory=280856099327072 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13980732 memory=-6954045301591976438 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121414030 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213420 KiB

[startup+4.60082 s]
/proc/loadavg: 1.53 1.51 1.58 3/212 13577
/proc/meminfo: memFree=30129452/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=212040 CPUtime=8.87 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 21497 0 0 0 875 12 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3495183 53010 3221 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=280856099045080 CPUtime=4.41 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) R 13561 13561 28892 0 -1 4202560 9212 0 0 0 435 6 0 0 20 0 15 0 121414019 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139707401917664 139707047263650 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=297237782437574046 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=15816720452493085 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=8025788809783240044 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=7453282923410058349 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=7380106142448641111 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 121414021 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=7380106142448642665 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=6083073847998109799 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13980732 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13980732 memory=8025788822768413285 CPUtime=1.83 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 3483 0 0 0 182 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13980732 memory=5795117241467496816 CPUtime=1.8 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 4190 0 0 0 179 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13980732 memory=7595725831727968097 CPUtime=0.73 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) S 13561 13561 28892 0 -1 1077944384 2961 0 0 0 72 1 0 0 20 0 15 0 121414024 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706869918448 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13980732 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13980732 memory=280856099197144 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) S 13561 13561 28892 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 121414030 14316269568 53010 18446744073709551615 4194304 4196468 140722955919424 139706867812656 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213420 KiB

[startup+4.70079 s]
/proc/loadavg: 1.53 1.51 1.58 3/212 13577
/proc/meminfo: memFree=30129452/32770624 swapFree=67108860/67108860
[pid=13561] ppid=13558 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13561/stat : 13561 (xcsp3-exec) S 13558 13561 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121414009 9740288 345 18446744073709551615 4194304 5098028 140728036403488 140728036401592 140083097420412 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 29290496 140728036409720 140728036409925 140728036409925 140728036413419 0
/proc/13561/statm: 2378 345 289 221 0 87 0
[pid=13563] ppid=13561 vsize=13980732 memory=212052 CPUtime=8.91 cores=1,3,5,7
/proc/13563/stat : 13563 (java) S 13561 13561 28892 0 -1 1077944320 21575 0 0 0 879 12 0 0 20 0 15 0 121414019 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 140722955901968 139707397680887 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
/proc/13563/statm: 3495183 53013 3221 1 0 3483476 0
[pid=13563/tid=13564] ppid=13561 vsize=13980732 memory=280856098854488 CPUtime=4.45 cores=1,3,5,7
/proc/13563/task/13564/stat : 13564 (java) D 13561 13561 28892 0 -1 4202560 9290 0 0 0 439 6 0 0 20 0 15 0 121414019 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139707401920008 139707383421170 0 4 1 16800974 18446744072099675269 0 0 -1 3 0 0 4 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13565] ppid=13561 vsize=13980732 memory=9215612443221087420 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13565/stat : 13565 (java) S 13561 13561 28892 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706998221584 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13566] ppid=13561 vsize=13980732 memory=-8964229677221526683 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13566/stat : 13566 (java) S 13561 13561 28892 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706997169040 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13567] ppid=13561 vsize=13980732 memory=280856098770224 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13567/stat : 13567 (java) S 13561 13561 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121414020 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706996116496 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13568] ppid=13561 vsize=13980732 memory=62598947014900 CPUtime=0.01 cores=1,3,5,7
/proc/13563/task/13568/stat : 13568 (java) S 13561 13561 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121414020 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706995063952 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13569] ppid=13561 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13569/stat : 13569 (java) S 13561 13561 28892 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 15 0 121414021 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706876233712 139707397692034 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13570] ppid=13561 vsize=13980732 memory=-7026283297063673248 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13570/stat : 13570 (java) S 13561 13561 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706875179936 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13571] ppid=13561 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13571/stat : 13571 (java) S 13561 13561 28892 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 121414022 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706874127344 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13572] ppid=13561 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13572/stat : 13572 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414024 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706873075920 139707397699483 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13573] ppid=13561 vsize=13980732 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/13563/task/13573/stat : 13573 (java) S 13561 13561 28892 0 -1 1077944384 3483 0 0 0 182 1 0 0 20 0 15 0 121414024 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706872023536 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13574] ppid=13561 vsize=13980732 memory=-8774313645642428999 CPUtime=1.8 cores=1,3,5,7
/proc/13563/task/13574/stat : 13574 (java) S 13561 13561 28892 0 -1 1077944384 4190 0 0 0 179 1 0 0 20 0 15 0 121414024 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706870970992 139707397692034 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13575] ppid=13561 vsize=13980732 memory=3473155141856866357 CPUtime=0.73 cores=1,3,5,7
/proc/13563/task/13575/stat : 13575 (java) D 13561 13561 28892 0 -1 4202560 2961 0 0 0 72 1 0 0 20 0 15 0 121414024 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706869918744 139707377605023 0 4 1 16800974 18446744072099675269 0 0 -1 5 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13576] ppid=13561 vsize=13980732 memory=211108 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13576/stat : 13576 (java) S 13561 13561 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121414025 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706868866144 139707397691093 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
[pid=13563/tid=13577] ppid=13561 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/13563/task/13577/stat : 13577 (java) D 13561 13561 28892 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 15 0 121414030 14316269568 53013 18446744073709551615 4194304 4196468 140722955919424 139706867812576 139707382536974 0 4 1 16800974 18446744072099675269 0 0 -1 1 0 0 0 0 0 6293624 6294260 28884992 140722955923889 140722955924065 140722955924065 140722955927503 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 213432 KiB

Child status: 0
Real time (s): 4.79671
CPU time (s): 8.95147
CPU user time (s): 8.82124
CPU system time (s): 0.130229
CPU usage (%): 186.617
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.82124
system time used= 0.130229
maximum resident set size= 212736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2441
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 13561
#   total CPU time (s): 8.95147
#   total CPU user time (s): 8.82124
#   total CPU system time (s): 0.130229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062233 second user time and 0.077498 second system time

The end