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 (15263 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-4269755-1502742610/watcher-4269755-1502742610 -o /tmp/evaluation-result-4269755-1502742610/solver-4269755-1502742610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 13529655 HOME/instance-4269755-1502742610.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
solver pid=26718, runsolver pid=26715
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 2.16 1.85 1.79 2/198 26721
/proc/meminfo: memFree=31431924/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13358712 memory=13840 CPUtime=0 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 3260 0 0 0 0 0 0 0 20 0 6 0 62601609 13679321088 3460 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3339678 3460 1867 1 0 3329175 0
[pid=26720/tid=26721] ppid=26718 vsize=13358712 memory=4206989191851631162 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 2045 0 0 0 0 0 0 0 20 0 6 0 62601609 13679321088 3526 18446744073709551615 4194304 4196468 140722737632512 139834943304272 139834923148638 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13358712 memory=3461490261944239753 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62601610 13679321088 3526 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13358712 memory=139657314555520 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62601610 13679321088 3526 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 62601610 13679321088 3526 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 62601610 13679321088 3526 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB

[startup+0.210201 s]*
/proc/loadavg: 2.16 1.85 1.79 3/211 26734
/proc/meminfo: memFree=31419364/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13974352 memory=27100 CPUtime=0.1 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 5194 0 0 0 9 1 0 0 20 0 15 0 62601609 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3493588 6775 2753 1 0 3482964 0
[pid=26720/tid=26721] ppid=26718 vsize=13974352 memory=-6657277290448261471 CPUtime=0.07 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 3332 0 0 0 7 0 0 0 20 0 15 0 62601609 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834943297568 139834939080086 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13974352 memory=3461490261944239753 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13974352 memory=139657314555520 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13974352 memory=139657314555520 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601611 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 62601614 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601614 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13974352 memory=139657314555520 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) S 26718 26718 11586 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 62601614 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13974352 memory=139657314555520 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601618 14309736448 6775 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28480 KiB

[startup+0.312321 s]*
/proc/loadavg: 2.16 1.85 1.79 3/211 26734
/proc/meminfo: memFree=31407736/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13974352 memory=39920 CPUtime=0.31 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 9133 0 0 0 28 3 0 0 20 0 15 0 62601609 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3493588 9980 3036 1 0 3482964 0
[pid=26720/tid=26721] ppid=26718 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 6237 0 0 0 16 2 0 0 20 0 15 0 62601609 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834943286240 139834923148638 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13974352 memory=139657314566113 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13974352 memory=7588937485508832868 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601611 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 62601614 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) R 26718 26718 11586 0 -1 1077944384 282 0 0 0 2 0 0 0 20 0 15 0 62601614 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) R 26718 26718 11586 0 -1 4202560 744 0 0 0 6 0 0 0 20 0 15 0 62601614 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834917740740 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601618 14309736448 9980 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41300 KiB

[startup+0.707919 s]
/proc/loadavg: 2.16 1.85 1.79 5/211 26734
/proc/meminfo: memFree=31389228/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13978684 memory=81812 CPUtime=1.4 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 13121 0 0 0 135 5 0 0 20 0 15 0 62601609 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3494671 20453 3162 1 0 3482964 0
[pid=26720/tid=26721] ppid=26718 vsize=13978684 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 7850 0 0 0 53 3 0 0 20 0 15 0 62601609 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834943304944 139834558630155 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13978684 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601610 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62601610 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62601611 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13978684 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) R 26718 26718 11586 0 -1 4202560 1273 0 0 0 26 0 0 0 20 0 15 0 62601614 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834480612128 139834918920287 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13978684 memory=-9174445032661854264 CPUtime=0.26 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) R 26718 26718 11586 0 -1 4202560 1211 0 0 0 26 0 0 0 20 0 15 0 62601614 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834479555744 139834922479181 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13978684 memory=6656426216303648864 CPUtime=0.28 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) R 26718 26718 11586 0 -1 1077944384 1479 0 0 0 28 0 0 0 20 0 15 0 62601614 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62601618 14314172416 20453 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83192 KiB

[startup+1.50114 s]
/proc/loadavg: 2.16 1.85 1.79 6/211 26734
/proc/meminfo: memFree=31290304/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13980732 memory=201816 CPUtime=3.98 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 15502 0 0 0 387 11 0 0 20 0 15 0 62601609 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3495183 50454 3211 1 0 3483476 0
[pid=26720/tid=26721] ppid=26718 vsize=13980732 memory=0 CPUtime=1.33 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 8489 0 0 0 127 6 0 0 20 0 15 0 62601609 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834943305688 139834560713068 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 62601610 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13980732 memory=4120 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13980732 memory=35464 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62601610 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13980732 memory=200732 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62601611 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50454 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6

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

/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13980732 memory=203024 CPUtime=9.91 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 18049 0 0 0 979 12 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3495183 50756 3219 1 0 3483476 0
[pid=26720/tid=26721] ppid=26718 vsize=13980732 memory=288230621803970871 CPUtime=7.03 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 9143 0 0 0 697 6 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834943304960 139834560751279 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13980732 memory=13568184779278711 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13980732 memory=139657170010904 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13980732 memory=202912 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 62601611 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13980732 memory=279314340128320 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13980732 memory=4207180436060335714 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13980732 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13980732 memory=8514726395715349656 CPUtime=1.1 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 2055 0 0 0 110 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13980732 memory=-8634980985311628903 CPUtime=1.13 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) S 26718 26718 11586 0 -1 1077944384 1804 0 0 0 113 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13980732 memory=7100839878645619564 CPUtime=0.53 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) S 26718 26718 11586 0 -1 1077944384 3013 0 0 0 52 1 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13980732 memory=3047711553320166262 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13980732 memory=7301576793054535744 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 62601618 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 9.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204404 KiB

[startup+7.60087 s]
/proc/loadavg: 2.15 1.85 1.79 3/211 26734
/proc/meminfo: memFree=31244800/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13980732 memory=203024 CPUtime=10.32 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 18073 0 0 0 1020 12 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3495183 50756 3219 1 0 3483476 0
[pid=26720/tid=26721] ppid=26718 vsize=13980732 memory=2384 CPUtime=7.43 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 9147 0 0 0 737 6 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834943304960 139834561090073 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13980732 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13980732 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13980732 memory=5788 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 62601611 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13980732 memory=-7029379521808015264 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13980732 memory=7679937479730885395 CPUtime=1.1 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 2055 0 0 0 110 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13980732 memory=-3704326594973231466 CPUtime=1.14 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) S 26718 26718 11586 0 -1 1077944384 1823 0 0 0 114 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13980732 memory=6944656425122831986 CPUtime=0.53 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) S 26718 26718 11586 0 -1 1077944384 3014 0 0 0 52 1 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13980732 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13980732 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 62601618 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 10.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204404 KiB

[startup+8.00086 s]*
/proc/loadavg: 2.15 1.85 1.79 3/211 26734
/proc/meminfo: memFree=31244800/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13980732 memory=203024 CPUtime=10.73 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 18074 0 0 0 1061 12 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3495183 50756 3219 1 0 3483476 0
[pid=26720/tid=26721] ppid=26718 vsize=13980732 memory=-8774313645642428999 CPUtime=7.84 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 9147 0 0 0 778 6 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834943304960 139834560752441 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13980732 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13980732 memory=-7003737579269690708 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13980732 memory=8464298218226803257 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 62601611 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13980732 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 2055 0 0 0 110 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13980732 memory=2241 CPUtime=1.14 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) S 26718 26718 11586 0 -1 1077944384 1824 0 0 0 114 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13980732 memory=2244 CPUtime=0.53 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) S 26718 26718 11586 0 -1 1077944384 3014 0 0 0 52 1 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 62601618 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 10.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204404 KiB

[startup+8.11 s]
/proc/loadavg: 2.15 1.85 1.79 3/211 26734
/proc/meminfo: memFree=31244800/32770624 swapFree=67108860/67108860
[pid=26718] ppid=26715 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26718/stat : 26718 (xcsp3-exec) S 26715 26718 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62601599 9740288 345 18446744073709551615 4194304 5098028 140734021086704 140734021084808 140497288577660 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 11436032 140734021091706 140734021091909 140734021091909 140734021095403 0
/proc/26718/statm: 2378 345 289 221 0 87 0
[pid=26720] ppid=26718 vsize=13980732 memory=203024 CPUtime=10.83 cores=0,2,4,6
/proc/26720/stat : 26720 (java) S 26718 26718 11586 0 -1 1077944320 18074 0 0 0 1071 12 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 140722737615056 139834939068151 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
/proc/26720/statm: 3495183 50756 3219 1 0 3483476 0
[pid=26720/tid=26721] ppid=26718 vsize=13980732 memory=0 CPUtime=7.94 cores=0,2,4,6
/proc/26720/task/26721/stat : 26721 (java) R 26718 26718 11586 0 -1 4202560 9147 0 0 0 788 6 0 0 20 0 15 0 62601609 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834943305096 139834560713601 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26722] ppid=26718 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26720/task/26722/stat : 26722 (java) S 26718 26718 11586 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834881014928 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26723] ppid=26718 vsize=13980732 memory=5937244495172485216 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26723/stat : 26723 (java) S 26718 26718 11586 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834879962128 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26724] ppid=26718 vsize=13980732 memory=139657170081736 CPUtime=0.01 cores=0,2,4,6
/proc/26720/task/26724/stat : 26724 (java) S 26718 26718 11586 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834878909328 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26725] ppid=26718 vsize=13980732 memory=279314340098096 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26725/stat : 26725 (java) S 26718 26718 11586 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 62601610 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834877856528 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26726] ppid=26718 vsize=13980732 memory=7100839887252463258 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26726/stat : 26726 (java) S 26718 26718 11586 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 62601611 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834484832624 139834939079298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26727] ppid=26718 vsize=13980732 memory=202896 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26727/stat : 26727 (java) S 26718 26718 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834483778592 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26728] ppid=26718 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26728/stat : 26728 (java) S 26718 26718 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62601612 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834482725744 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26729] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26729/stat : 26729 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834481674064 139834939086747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26730] ppid=26718 vsize=13980732 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/26720/task/26730/stat : 26730 (java) S 26718 26718 11586 0 -1 1077944384 2055 0 0 0 110 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834480622448 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26731] ppid=26718 vsize=13980732 memory=-8774313645642428999 CPUtime=1.14 cores=0,2,4,6
/proc/26720/task/26731/stat : 26731 (java) S 26718 26718 11586 0 -1 1077944384 1824 0 0 0 114 0 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834479569648 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26732] ppid=26718 vsize=13980732 memory=201964 CPUtime=0.53 cores=0,2,4,6
/proc/26720/task/26732/stat : 26732 (java) S 26718 26718 11586 0 -1 1077944384 3014 0 0 0 52 1 0 0 20 0 15 0 62601614 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834478516848 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26733] ppid=26718 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26733/stat : 26733 (java) S 26718 26718 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62601615 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834477464288 139834939078357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
[pid=26720/tid=26734] ppid=26718 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26720/task/26734/stat : 26734 (java) S 26718 26718 11586 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 62601618 14316269568 50756 18446744073709551615 4194304 4196468 140722737632512 139834476411568 139834939079298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31436800 140722737635761 140722737635937 140722737635937 140722737639375 0
Current children cumulated CPU time: 10.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 204404 KiB

Child status: 0
Real time (s): 8.18489
CPU time (s): 10.9513
CPU user time (s): 10.8194
CPU system time (s): 0.131883
CPU usage (%): 133.799
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 204404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8194
system time used= 0.131883
maximum resident set size= 203548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20012
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= 2105
involuntary context switches= 20


# summary of solver processes directly reported to runsolver:
#   pid: 26718
#   total CPU time (s): 10.9513
#   total CPU user time (s): 10.8194
#   total CPU system time (s): 0.131883

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077425 second user time and 0.121668 second system time

The end