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-4269759-1502742603/watcher-4269759-1502742603 -o /tmp/evaluation-result-4269759-1502742603/solver-4269759-1502742603 -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 707456424 HOME/instance-4269759-1502742603.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=26639, runsolver pid=26636

[startup+0.100105 s]*
/proc/loadavg: 1.74 1.76 1.76 2/198 26642
/proc/meminfo: memFree=31429164/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13358712 memory=14104 CPUtime=0 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 3319 0 0 0 0 0 0 0 20 0 6 0 62600965 13679321088 3526 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3339678 3526 1892 1 0 3329175 0
[pid=26641/tid=26642] ppid=26639 vsize=13358712 memory=4206989191851631162 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 2092 0 0 0 0 0 0 0 20 0 6 0 62600966 13679321088 3526 18446744073709551615 4194304 4196468 140737144692128 139707505594960 139707485439326 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13358712 memory=3461490400773854857 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62600966 13679321088 3526 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13358712 memory=139796144170624 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62600966 13679321088 3592 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 62600966 13679321088 3592 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 62600966 13679321088 3592 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15480 KiB

[startup+0.21007 s]*
/proc/loadavg: 1.74 1.76 1.76 2/210 26654
/proc/meminfo: memFree=31422280/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13973868 memory=21504 CPUtime=0.06 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 4808 0 0 0 5 1 0 0 20 0 15 0 62600965 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3493467 5376 2575 1 0 3482964 0
[pid=26641/tid=26642] ppid=26639 vsize=13973868 memory=-6513443577349116254 CPUtime=0.04 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 2966 0 0 0 4 0 0 0 20 0 15 0 62600966 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707505601120 139707494036853 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13973868 memory=3461490400773854857 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13973868 memory=139796144170624 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13973868 memory=139796144170624 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600968 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62600968 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 62600971 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13973868 memory=139796144170624 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) R 26639 26639 11586 0 -1 4202560 232 0 0 0 0 0 0 0 20 0 15 0 62600971 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707480162063 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13973868 memory=139796144170624 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600978 14309240832 5376 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 22880 KiB

[startup+0.310099 s]*
/proc/loadavg: 1.74 1.76 1.76 3/211 26655
/proc/meminfo: memFree=31410516/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13974352 memory=36028 CPUtime=0.24 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 8622 0 0 0 21 3 0 0 20 0 15 0 62600965 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3493588 9007 2969 1 0 3482964 0
[pid=26641/tid=26642] ppid=26639 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 5918 0 0 0 13 2 0 0 20 0 15 0 62600966 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707505581216 139707485439326 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13974352 memory=139796144181217 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13974352 memory=7085099446239390565 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600968 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62600968 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 15 0 62600971 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) R 26639 26639 11586 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 15 0 62600971 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707494343881 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) R 26639 26639 11586 0 -1 1077944384 716 0 0 0 5 0 0 0 20 0 15 0 62600971 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600978 14309736448 9007 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37404 KiB

[startup+0.701658 s]
/proc/loadavg: 1.74 1.76 1.76 5/211 26655
/proc/meminfo: memFree=31391960/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13978684 memory=75696 CPUtime=1.27 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 13122 0 0 0 122 5 0 0 20 0 15 0 62600965 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3494671 18924 3154 1 0 3482964 0
[pid=26641/tid=26642] ppid=26639 vsize=13978684 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 7808 0 0 0 49 3 0 0 20 0 15 0 62600966 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707505591976 139707118602096 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13978684 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600966 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62600966 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62600968 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62600968 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13978684 memory=19265 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13978684 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) R 26639 26639 11586 0 -1 4202560 1697 0 0 0 21 0 0 0 20 0 15 0 62600971 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707042864256 139707482879241 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13978684 memory=-9174445032661854264 CPUtime=0.22 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) R 26639 26639 11586 0 -1 4202560 749 0 0 0 22 0 0 0 20 0 15 0 62600971 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707484844891 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13978684 memory=6656426216303648864 CPUtime=0.28 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) S 26639 26639 11586 0 -1 1077944384 1560 0 0 0 28 0 0 0 20 0 15 0 62600971 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62600978 14314172416 18924 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 77072 KiB

[startup+1.50079 s]
/proc/loadavg: 2.00 1.81 1.77 6/211 26655
/proc/meminfo: memFree=31296376/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13980732 memory=211224 CPUtime=3.83 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 18653 0 0 0 375 8 0 0 20 0 15 0 62600965 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3495183 52806 3211 1 0 3483476 0
[pid=26641/tid=26642] ppid=26639 vsize=13980732 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 8757 0 0 0 124 6 0 0 20 0 15 0 62600966 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707505596136 139707120954687 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13980732 memory=4120 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13980732 memory=35464 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13980732 memory=205664 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 52806 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6

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

/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13980732 memory=-7595754389018307734 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13980732 memory=216180 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13980732 memory=7662705889289527641 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13980732 memory=279592036456880 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13980732 memory=8257237230706253920 CPUtime=1.31 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 3942 0 0 0 131 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13980732 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) S 26639 26639 11586 0 -1 1077944384 3781 0 0 0 130 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13980732 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) S 26639 26639 11586 0 -1 1077944384 2768 0 0 0 52 1 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13980732 memory=35464 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600978 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217884 KiB

[startup+4.06757 s]
# the end of solver process 26639 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.14029 s, system=0.104306 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20101 s]
/proc/loadavg: 2.00 1.81 1.77 3/211 26655
/proc/meminfo: memFree=31229132/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13980732 memory=216508 CPUtime=6.23 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 21093 0 0 0 614 9 0 0 20 0 15 0 62600965 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3495183 54127 3217 1 0 3483476 0
[pid=26641/tid=26642] ppid=26639 vsize=13980732 memory=1728 CPUtime=3 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 9088 0 0 0 294 6 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707505597752 139707121113985 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13980732 memory=5788 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13980732 memory=1996 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13980732 memory=279592036868384 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13980732 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13980732 memory=5495740422247797458 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13980732 memory=-4051592751533505334 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13980732 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13980732 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13980732 memory=-3833726747341067623 CPUtime=1.31 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 3942 0 0 0 131 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13980732 memory=-7361174377247368086 CPUtime=1.3 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) S 26639 26639 11586 0 -1 1077944384 3790 0 0 0 130 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13980732 memory=-3833726747341067623 CPUtime=0.53 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) S 26639 26639 11586 0 -1 1077944384 2768 0 0 0 52 1 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62600978 14316269568 54127 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 217884 KiB

[startup+3.60074 s]
/proc/loadavg: 2.00 1.81 1.77 3/211 26655
/proc/meminfo: memFree=31229132/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13980732 memory=216828 CPUtime=6.72 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 22936 0 0 0 663 9 0 0 20 0 15 0 62600965 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3495183 54207 3217 1 0 3483476 0
[pid=26641/tid=26642] ppid=26639 vsize=13980732 memory=5782710158159929408 CPUtime=3.4 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 9550 0 0 0 334 6 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707505598104 139707121579898 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13980732 memory=7822038051842261661 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13980732 memory=4196912344889787449 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13980732 memory=-9001734013606258791 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13980732 memory=5787213852901402449 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13980732 memory=-8253362664378451600 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13980732 memory=4120 CPUtime=1.36 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 4742 0 0 0 136 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13980732 memory=35464 CPUtime=1.33 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) S 26639 26639 11586 0 -1 1077944384 4210 0 0 0 133 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) S 26639 26639 11586 0 -1 1077944384 2929 0 0 0 54 1 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13980732 memory=279592036936960 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62600978 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 6.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218204 KiB

[startup+4.00073 s]*
/proc/loadavg: 2.00 1.81 1.77 3/211 26655
/proc/meminfo: memFree=31228788/32770624 swapFree=67108860/67108860
[pid=26639] ppid=26636 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/26639/stat : 26639 (xcsp3-exec) S 26636 26639 11586 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 62600956 9740288 344 18446744073709551615 4194304 5098028 140727515557024 140727515555128 140276868399740 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 9 0 0 7196144 7232144 27987968 140727515558265 140727515558469 140727515558469 140727515561963 0
/proc/26639/statm: 2378 344 289 221 0 87 0
[pid=26641] ppid=26639 vsize=13980732 memory=216828 CPUtime=7.14 cores=0,2,4,6
/proc/26641/stat : 26641 (java) S 26639 26639 11586 0 -1 1077944320 22952 0 0 0 705 9 0 0 20 0 15 0 62600965 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 140737144674672 139707501358839 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
/proc/26641/statm: 3495183 54207 3217 1 0 3483476 0
[pid=26641/tid=26642] ppid=26639 vsize=13980732 memory=139796018131327 CPUtime=3.8 cores=0,2,4,6
/proc/26641/task/26642/stat : 26642 (java) R 26639 26639 11586 0 -1 4202560 9554 0 0 0 374 6 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707505595664 139707121245691 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26643] ppid=26639 vsize=13980732 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26643/stat : 26643 (java) S 26639 26639 11586 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707435793424 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26644] ppid=26639 vsize=13980732 memory=139796144170624 CPUtime=0.01 cores=0,2,4,6
/proc/26641/task/26644/stat : 26644 (java) S 26639 26639 11586 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707100609680 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26645] ppid=26639 vsize=13980732 memory=576600552348057802 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26645/stat : 26645 (java) S 26639 26639 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707099556624 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26646] ppid=26639 vsize=13980732 memory=1673 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26646/stat : 26646 (java) S 26639 26639 11586 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 62600966 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707098504080 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26647] ppid=26639 vsize=13980732 memory=4279091900208917536 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26647/stat : 26647 (java) S 26639 26639 11586 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707047086320 139707501369986 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26648] ppid=26639 vsize=13980732 memory=7595718143700395112 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26648/stat : 26648 (java) S 26639 26639 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707046032544 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26649] ppid=26639 vsize=13980732 memory=6441361776103019617 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26649/stat : 26649 (java) S 26639 26639 11586 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62600968 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707044979440 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26650] ppid=26639 vsize=13980732 memory=7451894300419320161 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26650/stat : 26650 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707043928016 139707501377435 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26651] ppid=26639 vsize=13980732 memory=5859271421085237344 CPUtime=1.36 cores=0,2,4,6
/proc/26641/task/26651/stat : 26651 (java) S 26639 26639 11586 0 -1 1077944384 4742 0 0 0 136 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707042876144 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26652] ppid=26639 vsize=13980732 memory=7649399388560045618 CPUtime=1.33 cores=0,2,4,6
/proc/26641/task/26652/stat : 26652 (java) S 26639 26639 11586 0 -1 1077944384 4210 0 0 0 133 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707041823600 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26653] ppid=26639 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/26641/task/26653/stat : 26653 (java) S 26639 26639 11586 0 -1 1077944384 2941 0 0 0 54 1 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707040770544 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26654] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26654/stat : 26654 (java) S 26639 26639 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62600971 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707039718240 139707501369045 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
[pid=26641/tid=26655] ppid=26639 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26641/task/26655/stat : 26655 (java) S 26639 26639 11586 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62600978 14316269568 54207 18446744073709551615 4194304 4196468 140737144692128 139707038665264 139707501369986 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140737144697265 140737144697441 140737144697441 140737144700879 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 218204 KiB

Child status: 0
Real time (s): 4.06764
CPU time (s): 7.24459
CPU user time (s): 7.14029
CPU system time (s): 0.104306
CPU usage (%): 178.103
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 218204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.14029
system time used= 0.104306
maximum resident set size= 217576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24296
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= 2086
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 26639
#   total CPU time (s): 7.24459
#   total CPU user time (s): 7.14029
#   total CPU system time (s): 0.104306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06251 second user time and 0.071498 second system time

The end