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 (15345 MiB free)
memory of node 1: 16384 MiB (15533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281990-1503133633/watcher-4281990-1503133633 -o /tmp/evaluation-result-4281990-1503133633/solver-4281990-1503133633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15586 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1141636593 HOME/instance-4281990-1503133633.xml
running on 4 cores: 0,2,4,6
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=22770, runsolver pid=22767
[startup+0.100173 s]*
/proc/loadavg: 1.69 1.79 1.82 4/205 22780
/proc/meminfo: memFree=31611364/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13574484 memory=18640 CPUtime=0.04 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 4029 0 0 0 3 1 0 0 20 0 9 0 11771295 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3393621 4660 2137 1 0 3383118 0
[pid=22772/tid=22773] ppid=22770 vsize=13574484 memory=-8713483618642459742 CPUtime=0.04 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 2732 0 0 0 3 1 0 0 20 0 9 0 11771296 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140027313848184 140027302290805 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11771296 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13574484 memory=140337785558656 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11771296 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11771296 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11771296 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13574484 memory=140337785558656 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11771298 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 11771298 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11771298 13900271616 4660 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20020 KiB
[startup+0.211192 s]*
/proc/loadavg: 1.69 1.79 1.82 4/211 22786
/proc/meminfo: memFree=31604312/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13974352 memory=29248 CPUtime=0.15 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 5740 0 0 0 14 1 0 0 20 0 15 0 11771295 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3493588 7312 2951 1 0 3482964 0
[pid=22772/tid=22773] ppid=22770 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 3467 0 0 0 10 1 0 0 20 0 15 0 11771296 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140027313842384 140027301849918 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13974352 memory=8941 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13974352 memory=3616589345430918816 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13974352 memory=140337785558656 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771298 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14309736448 7312 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 11771301 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 11771301 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13974352 memory=140337785558656 CPUtime=0.03 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) R 22770 22770 15523 0 -1 4202560 476 0 0 0 3 0 0 0 20 0 15 0 11771301 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026488600664 140027301849918 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13974352 memory=140337785558656 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771305 14309736448 7378 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30628 KiB
[startup+0.316334 s]*
/proc/loadavg: 1.69 1.79 1.82 4/211 22786
/proc/meminfo: memFree=31590720/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13978608 memory=40632 CPUtime=0.35 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 9730 0 0 0 32 3 0 0 20 0 15 0 11771295 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3494908 10158 3043 1 0 3483220 0
[pid=22772/tid=22773] ppid=22770 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 6844 0 0 0 18 3 0 0 20 0 15 0 11771296 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140027313823696 140027302292013 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771298 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13979632 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 524 0 0 0 3 0 0 0 20 0 15 0 11771301 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13979632 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 331 0 0 0 2 0 0 0 20 0 15 0 11771301 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 15 0 11771301 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14314094592 10158 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13979632 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771305 14315143168 10158 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 42012 KiB
[startup+0.710262 s]
/proc/loadavg: 1.69 1.79 1.82 4/211 22786
/proc/meminfo: memFree=31582356/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13980732 memory=67580 CPUtime=1.31 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 13854 0 0 0 125 6 0 0 20 0 15 0 11771295 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495183 16895 3181 1 0 3483476 0
[pid=22772/tid=22773] ppid=22770 vsize=13980732 memory=4282241104337350043 CPUtime=0.59 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 8952 0 0 0 55 4 0 0 20 0 15 0 11771296 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140027313847928 140026953661421 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) R 22770 22770 15523 0 -1 4202560 1171 0 0 0 21 0 0 0 20 0 15 0 11771301 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026490697168 140027293098845 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13980732 memory=2 CPUtime=0.15 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) R 22770 22770 15523 0 -1 4202560 944 0 0 0 15 0 0 0 20 0 15 0 11771301 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027294738625 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13980732 memory=4 CPUtime=0.33 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 1479 0 0 0 33 0 0 0 20 0 15 0 11771301 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13980732 memory=12 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771305 14316269568 16895 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68960 KiB
[startup+1.50083 s]
/proc/loadavg: 1.87 1.83 1.83 5/211 22786
/proc/meminfo: memFree=31554136/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13983100 memory=103440 CPUtime=3.73 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 29379 0 0 0 366 7 0 0 20 0 15 0 11771295 14318694400 25860 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495775 25860 3190 1 0 3484068 0
[pid=22772/tid=22773] ppid=22770 vsize=13983100 memory=4282241104337350043 CPUtime=1.38 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 9559 0 0 0 133 5 0 0 20 0 15 0 11771296 14318694400 25860 18446744073709551615 4194304 4196468 140724790522672 140027313852096 140027288671213 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13983100 memory=280675307725632 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14318694400 25860 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13983100 memory=-4866526891258710369 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14318694400 25860 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13983100 memory=6370460868699973735 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14318694400 25860 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13983100 memory=-8253362664378451622 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13980732 memory=124052 CPUtime=24.71 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 55502 0 0 0 2460 11 0 0 20 0 15 0 11771295 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495183 31013 3208 1 0 3483476 0
[pid=22772/tid=22773] ppid=22770 vsize=13980732 memory=4124 CPUtime=17.47 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 11562 0 0 0 1742 5 0 0 20 0 15 0 11771296 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140027313849248 140026956262091 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13980732 memory=9948 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13980732 memory=124048 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13980732 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13980732 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13980732 memory=7516 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13980732 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13980732 memory=1792 CPUtime=3.47 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 19312 0 0 0 345 2 0 0 20 0 15 0 11771301 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13980732 memory=956 CPUtime=3.25 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 19327 0 0 0 323 2 0 0 20 0 15 0 11771301 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13980732 memory=2240 CPUtime=0.48 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 3072 0 0 0 48 0 0 0 20 0 15 0 11771301 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13980732 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 15 0 11771305 14316269568 31013 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 125432 KiB
[startup+18.0008 s]*
/proc/loadavg: 1.90 1.84 1.83 3/211 22786
/proc/meminfo: memFree=31507244/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13980732 memory=126124 CPUtime=25.17 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 56468 0 0 0 2506 11 0 0 20 0 15 0 11771295 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495183 31531 3208 1 0 3483476 0
[pid=22772/tid=22773] ppid=22770 vsize=13980732 memory=8318255677412212789 CPUtime=17.88 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 11622 0 0 0 1783 5 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027313849248 140026956228933 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13980732 memory=312 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13980732 memory=3690903133034075808 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13980732 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13980732 memory=3184238257861527216 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13980732 memory=7160575464710631028 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13980732 memory=-5587106306044206369 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13980732 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 19420 0 0 0 345 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13980732 memory=3184097920075968559 CPUtime=3.3 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 20095 0 0 0 328 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13980732 memory=142781621950648 CPUtime=0.49 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 3102 0 0 0 49 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13980732 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13980732 memory=3471342734106396336 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 15 0 11771305 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127504 KiB
[startup+18.2007 s]
/proc/loadavg: 1.90 1.84 1.83 3/211 22786
/proc/meminfo: memFree=31507244/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13980732 memory=126124 CPUtime=25.37 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 56468 0 0 0 2526 11 0 0 20 0 15 0 11771295 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495183 31531 3208 1 0 3483476 0
[pid=22772/tid=22773] ppid=22770 vsize=13980732 memory=7589273733988658579 CPUtime=18.07 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 11622 0 0 0 1802 5 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027313849248 140026955084762 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=3.47 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 19420 0 0 0 345 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=3.3 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 20095 0 0 0 328 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0.49 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 3102 0 0 0 49 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13980732 memory=7589274833500286355 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 15 0 11771305 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127504 KiB
[startup+18.3008 s]
/proc/loadavg: 1.90 1.84 1.83 3/211 22786
/proc/meminfo: memFree=31507244/32770624 swapFree=67108860/67108860
[pid=22770] ppid=22767 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22770/stat : 22770 (xcsp3-exec) S 22767 22770 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 11771290 9740288 345 18446744073709551615 4194304 5098028 140731540219184 140731540217288 140462744195708 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 23322624 140731540226425 140731540226630 140731540226630 140731540230123 0
/proc/22770/statm: 2378 345 289 221 0 87 0
[pid=22772] ppid=22770 vsize=13980732 memory=126124 CPUtime=25.47 cores=0,2,4,6
/proc/22772/stat : 22772 (java) S 22770 22770 15523 0 -1 1077944320 56468 0 0 0 2536 11 0 0 20 0 15 0 11771295 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140724790505216 140027309612791 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
/proc/22772/statm: 3495183 31531 3208 1 0 3483476 0
[pid=22772/tid=22773] ppid=22770 vsize=13980732 memory=0 CPUtime=18.17 cores=0,2,4,6
/proc/22772/task/22773/stat : 22773 (java) R 22770 22770 15523 0 -1 4202560 11622 0 0 0 1812 5 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027313849248 140026956260601 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22774] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22774/stat : 22774 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140027277171344 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22775] ppid=22770 vsize=13980732 memory=117536 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22775/stat : 22775 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026908330512 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22776] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22776/stat : 22776 (java) S 22770 22770 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026907277712 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22777] ppid=22770 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22777/stat : 22777 (java) S 22770 22770 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11771296 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026906224912 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22778] ppid=22770 vsize=13980732 memory=346 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22778/stat : 22778 (java) S 22770 22770 15523 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026494921584 140027309623938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22779] ppid=22770 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22779/stat : 22779 (java) S 22770 22770 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026493867552 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22780] ppid=22770 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22780/stat : 22780 (java) S 22770 22770 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11771298 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026492814704 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22781] ppid=22770 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22781/stat : 22781 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026491763024 140027309631387 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22782] ppid=22770 vsize=13980732 memory=15542920530908973 CPUtime=3.47 cores=0,2,4,6
/proc/22772/task/22782/stat : 22782 (java) S 22770 22770 15523 0 -1 1077944384 19420 0 0 0 345 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026490710384 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22783] ppid=22770 vsize=13980732 memory=1380 CPUtime=3.3 cores=0,2,4,6
/proc/22772/task/22783/stat : 22783 (java) S 22770 22770 15523 0 -1 1077944384 20095 0 0 0 328 2 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026489657584 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22784] ppid=22770 vsize=13980732 memory=126108 CPUtime=0.49 cores=0,2,4,6
/proc/22772/task/22784/stat : 22784 (java) S 22770 22770 15523 0 -1 1077944384 3102 0 0 0 49 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026488604784 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22785] ppid=22770 vsize=13980732 memory=124048 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22785/stat : 22785 (java) S 22770 22770 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11771301 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026487552224 140027309622997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
[pid=22772/tid=22786] ppid=22770 vsize=13980732 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/22772/task/22786/stat : 22786 (java) S 22770 22770 15523 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 15 0 11771305 14316269568 31531 18446744073709551615 4194304 4196468 140724790522672 140026486500528 140027309623938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21598208 140724790526386 140724790526562 140724790526562 140724790529999 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 127504 KiB
Child status: 0
Real time (s): 18.3439
CPU time (s): 25.5223
CPU user time (s): 25.3989
CPU system time (s): 0.123382
CPU usage (%): 139.132
Max. virtual memory (cumulated for all children) (KiB): 13993388
Max. memory (cumulated for all children) (KiB): 137080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3989
system time used= 0.123382
maximum resident set size= 135704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57662
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= 2882
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 22770
# total CPU time (s): 25.5223
# total CPU user time (s): 25.3989
# total CPU system time (s): 0.123382
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.125257 second user time and 0.223864 second system time
The end