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 (14304 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-4283978-1503192246/watcher-4283978-1503192246 -o /tmp/evaluation-result-4283978-1503192246/solver-4283978-1503192246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 989968522 HOME/instance-4283978-1503192246.xml 

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

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

solver pid=13956, runsolver pid=13953

[startup+0.100105 s]*
/proc/loadavg: 2.32 1.69 1.63 2/197 13957
/proc/meminfo: memFree=30450340/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (runsolver) R 13953 13956 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 121417581 34791424 114 18446744073709551615 4194304 4346622 140728449236592 140728449233224 139860024423127 0 0 1 24578 0 0 0 17 5 0 0 10 0 0 6446216 6449568 22077440 140728449241144 140728449241636 140728449241636 140728449245130 0
/proc/13956/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.209149 s]*
/proc/loadavg: 2.32 1.69 1.63 3/212 13972
/proc/meminfo: memFree=30439144/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13974352 memory=22180 CPUtime=0.06 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 4977 0 0 0 5 1 0 0 20 0 15 0 121417592 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3493588 5545 2713 1 0 3482964 0
[pid=13958/tid=13959] ppid=13956 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 3138 0 0 0 4 1 0 0 20 0 15 0 121417592 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140557839117808 140557834908829 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13974352 memory=3473035512858801824 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417594 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121417594 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556951819552 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121417595 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556950767216 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417602 14309736448 5545 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23560 KiB

[startup+0.310218 s]*
/proc/loadavg: 2.32 1.69 1.63 3/212 13972
/proc/meminfo: memFree=30424892/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13974352 memory=36300 CPUtime=0.25 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 8768 0 0 0 22 3 0 0 20 0 15 0 121417592 14309736448 9075 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3493588 9075 2972 1 0 3482964 0
[pid=13958/tid=13959] ppid=13956 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 5990 0 0 0 13 2 0 0 20 0 15 0 121417592 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140557839100352 140557834898838 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417594 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121417594 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556951819552 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121417595 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556950767216 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 15 0 121417597 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 121417597 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0.05 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) R 13956 13956 28892 0 -1 4202560 721 0 0 0 5 0 0 0 20 0 15 0 121417597 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834908250 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13974352 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417602 14309736448 9142 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37680 KiB

[startup+0.700815 s]
/proc/loadavg: 2.32 1.69 1.63 5/212 13972
/proc/meminfo: memFree=30406484/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13978684 memory=77416 CPUtime=1.3 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 13028 0 0 0 125 5 0 0 20 0 15 0 121417592 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3494671 19354 3160 1 0 3482964 0
[pid=13958/tid=13959] ppid=13956 vsize=13978684 memory=5795117241467496816 CPUtime=0.52 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 7824 0 0 0 49 3 0 0 20 0 15 0 121417592 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140557839120672 140557455115608 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13978684 memory=6154820267226784105 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13978684 memory=4639930618066522192 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417593 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13978684 memory=-8820188211957838939 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13978684 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 121417593 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13978684 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 121417594 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13978684 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121417594 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556951819552 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13978684 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 121417595 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556950767216 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13978684 memory=7679937539709960979 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13978684 memory=3908 CPUtime=0.24 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) R 13956 13956 28892 0 -1 4202560 1197 0 0 0 24 0 0 0 20 0 15 0 121417597 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556948653840 140557819808729 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13978684 memory=-7677926825137650786 CPUtime=0.24 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) R 13956 13956 28892 0 -1 4202560 1136 0 0 0 24 0 0 0 20 0 15 0 121417597 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557818273747 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13978684 memory=4872558044660077418 CPUtime=0.27 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 1562 0 0 0 27 0 0 0 20 0 15 0 121417597 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417602 14314172416 19354 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78796 KiB

[startup+1.50181 s]
/proc/loadavg: 2.32 1.69 1.63 5/212 13972
/proc/meminfo: memFree=30306016/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13980732 memory=206368 CPUtime=3.89 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 17378 0 0 0 380 9 0 0 20 0 15 0 121417592 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3495183 51592 3209 1 0 3483476 0
[pid=13958/tid=13959] ppid=13956 vsize=13980732 memory=3472467988801614978 CPUtime=1.31 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 8735 0 0 0 125 6 0 0 20 0 15 0 121417592 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140557839125448 140557452189944 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 121417593 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13980732 memory=8329294824744181856 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 121417593 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13980732 memory=8761921863948460128 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 15 0 121417593 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13980732 memory=6944656592452807323 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 121417593 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13980732 memory=8546823402028195750 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556951819616 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 121417595 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556950767232 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13980732 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13980732 memory=-3761991693426146123 CPUtime=1 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) R 13956 13956 28892 0 -1 4202560 2294 0 0 0 100 0 0 0 20 0 15 0 121417597 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556948642688 140557820010452 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13980732 memory=-5874771483550381248 CPUtime=1 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) R 13956 13956 28892 0 -1 4202560 2202 0 0 0 100 0 0 0 20 0 15 0 121417597 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556947598576 140557816411162 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13980732 memory=7031125463459224206 CPUtime=0.49 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 2692 0 0 0 49 0 0 0 20 0 15 0 121417597 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13980732 memory=65048 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 121417602 14316269568 51592 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0

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

/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13980732 memory=261324 CPUtime=28.33 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 51661 0 0 0 2813 20 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3495183 65331 3239 1 0 3483476 0
[pid=13958/tid=13959] ppid=13956 vsize=13980732 memory=-8774313645642428999 CPUtime=21.36 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 11679 0 0 0 2130 6 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557839123648 140557458694269 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13980732 memory=65076 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13980732 memory=1296 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13980732 memory=2420 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13980732 memory=261324 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13980732 memory=844 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556951819616 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13980732 memory=2948 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 121417595 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556950767232 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13980732 memory=3040 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13980732 memory=4064 CPUtime=2.68 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 14864 0 0 0 266 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13980732 memory=1152 CPUtime=3.31 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 17972 0 0 0 329 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13980732 memory=3216 CPUtime=0.75 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 4127 0 0 0 74 1 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13980732 memory=623236 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 431 0 0 0 0 1 0 0 20 0 15 0 121417602 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262704 KiB

[startup+22.0008 s]*
/proc/loadavg: 2.26 1.73 1.65 3/216 13987
/proc/meminfo: memFree=30212676/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13980732 memory=261324 CPUtime=28.76 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 51690 0 0 0 2856 20 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3495183 65331 3239 1 0 3483476 0
[pid=13958/tid=13959] ppid=13956 vsize=13980732 memory=-7677926825137650786 CPUtime=21.77 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 11682 0 0 0 2171 6 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557839123648 140557457926821 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13980732 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13980732 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13980732 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13980732 memory=139860027373184 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556951819616 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 121417595 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556950767232 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13980732 memory=0 CPUtime=2.69 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 14889 0 0 0 267 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13980732 memory=-1 CPUtime=3.31 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 17973 0 0 0 329 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13980732 memory=139860027373184 CPUtime=0.75 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 4127 0 0 0 74 1 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13980732 memory=139860027373184 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 431 0 0 0 0 1 0 0 20 0 15 0 121417602 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 28.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262704 KiB

[startup+22.4008 s]
/proc/loadavg: 2.26 1.73 1.65 3/216 13987
/proc/meminfo: memFree=30212676/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13980732 memory=261324 CPUtime=29.15 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 51692 0 0 0 2895 20 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3495183 65331 3239 1 0 3483476 0
[pid=13958/tid=13959] ppid=13956 vsize=13980732 memory=4028 CPUtime=22.16 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 11684 0 0 0 2210 6 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557839123648 140557457828913 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13980732 memory=65076 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13980732 memory=-8774313645642428999 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13980732 memory=262096 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13980732 memory=56 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13980732 memory=7451876733130530902 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556951819616 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 121417595 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556950767232 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13980732 memory=5788 CPUtime=2.69 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 14889 0 0 0 267 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13980732 memory=4612 CPUtime=3.31 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 17973 0 0 0 329 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13980732 memory=1708 CPUtime=0.75 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 4127 0 0 0 74 1 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13980732 memory=261324 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 431 0 0 0 0 1 0 0 20 0 15 0 121417602 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 29.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262704 KiB

[startup+22.5008 s]
/proc/loadavg: 2.26 1.73 1.65 3/216 13987
/proc/meminfo: memFree=30212676/32770624 swapFree=67108860/67108860
[pid=13956] ppid=13953 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13956/stat : 13956 (xcsp3-exec) S 13953 13956 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 121417581 9740288 345 18446744073709551615 4194304 5098028 140732084875968 140732084874072 140420257493628 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 35315712 140732084879737 140732084879941 140732084879941 140732084883435 0
/proc/13956/statm: 2378 345 289 221 0 87 0
[pid=13958] ppid=13956 vsize=13980732 memory=261324 CPUtime=29.25 cores=1,3,5,7
/proc/13958/stat : 13958 (java) S 13956 13956 28892 0 -1 1077944320 51692 0 0 0 2905 20 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140723460414128 140557834886903 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
/proc/13958/statm: 3495183 65331 3239 1 0 3483476 0
[pid=13958/tid=13959] ppid=13956 vsize=13980732 memory=261324 CPUtime=22.26 cores=1,3,5,7
/proc/13958/task/13959/stat : 13959 (java) R 13956 13956 28892 0 -1 4202560 11684 0 0 0 2220 6 0 0 20 0 15 0 121417592 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557839123648 140557458830809 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13960] ppid=13956 vsize=13980732 memory=56 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13960/stat : 13960 (java) S 13956 13956 28892 0 -1 1077944384 313 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557776832912 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13961] ppid=13956 vsize=13980732 memory=-6800859132029471843 CPUtime=0.03 cores=1,3,5,7
/proc/13958/task/13961/stat : 13961 (java) S 13956 13956 28892 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557775780112 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13962] ppid=13956 vsize=13980732 memory=261324 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13962/stat : 13962 (java) S 13956 13956 28892 0 -1 1077944384 128 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557774727824 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13963] ppid=13956 vsize=13980732 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13958/task/13963/stat : 13963 (java) S 13956 13956 28892 0 -1 1077944384 162 0 0 0 3 1 0 0 20 0 15 0 121417593 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140557773675024 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13964] ppid=13956 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13964/stat : 13964 (java) S 13956 13956 28892 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556952873584 140557834898050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13965] ppid=13956 vsize=13980732 memory=59940563610893 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13965/stat : 13965 (java) S 13956 13956 28892 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 121417594 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556951819616 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13966] ppid=13956 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13966/stat : 13966 (java) S 13956 13956 28892 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 121417595 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556950767232 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13967] ppid=13956 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13967/stat : 13967 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556949715536 140557834905499 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13968] ppid=13956 vsize=13980732 memory=261324 CPUtime=2.69 cores=1,3,5,7
/proc/13958/task/13968/stat : 13968 (java) S 13956 13956 28892 0 -1 1077944384 14889 0 0 0 267 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556948662384 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13969] ppid=13956 vsize=13980732 memory=267612 CPUtime=3.31 cores=1,3,5,7
/proc/13958/task/13969/stat : 13969 (java) S 13956 13956 28892 0 -1 1077944384 17973 0 0 0 329 2 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556947609584 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13970] ppid=13956 vsize=13980732 memory=-8774313645642428999 CPUtime=0.75 cores=1,3,5,7
/proc/13958/task/13970/stat : 13970 (java) S 13956 13956 28892 0 -1 1077944384 4127 0 0 0 74 1 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556946557296 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13971] ppid=13956 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13958/task/13971/stat : 13971 (java) S 13956 13956 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121417597 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556945504736 140557834897109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
[pid=13958/tid=13972] ppid=13956 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13958/task/13972/stat : 13972 (java) S 13956 13956 28892 0 -1 1077944384 431 0 0 0 0 1 0 0 20 0 15 0 121417602 14316269568 65331 18446744073709551615 4194304 4196468 140723460431584 140556944452528 140557834898050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140723460440497 140723460440673 140723460440673 140723460444111 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 262704 KiB

Child status: 0
Real time (s): 22.583
CPU time (s): 29.3759
CPU user time (s): 29.1589
CPU system time (s): 0.217042
CPU usage (%): 130.08
Max. virtual memory (cumulated for all children) (KiB): 13992624
Max. memory (cumulated for all children) (KiB): 271652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.1589
system time used= 0.217042
maximum resident set size= 270272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52757
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= 3321
involuntary context switches= 59


# summary of solver processes directly reported to runsolver:
#   pid: 13956
#   total CPU time (s): 29.3759
#   total CPU user time (s): 29.1589
#   total CPU system time (s): 0.217042

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.185351 second user time and 0.23337 second system time

The end