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 (15434 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269757-1502742636/watcher-4269757-1502742636 -o /tmp/evaluation-result-4269757-1502742636/solver-4269757-1502742636 -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 141399535 HOME/instance-4269757-1502742636.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100091 s]*
/proc/loadavg: 2.25 1.89 1.80 3/205 26965
/proc/meminfo: memFree=31423752/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13841768 memory=21876 CPUtime=0.05 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 4882 0 0 0 4 1 0 0 20 0 14 0 62604238 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3460442 5469 2507 1 0 3449939 0
[pid=26957/tid=26958] ppid=26955 vsize=13841768 memory=4206989191851631162 CPUtime=0.04 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 3101 0 0 0 4 0 0 0 20 0 14 0 62604238 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657988458848 139657984238749 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13841768 memory=3461490774497711753 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62604239 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13841768 memory=140169868027520 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62604239 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 62604239 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62604239 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 62604240 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13841768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 62604241 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 62604241 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62604243 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13841768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) R 26955 26955 11586 0 -1 4202560 293 0 0 0 0 0 0 0 20 0 14 0 62604243 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657457635792 139657970372110 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13841768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 62604243 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657456588864 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13841768 memory=140169868027520 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) R 26955 26955 11586 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 14 0 62604243 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13841768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) R 26955 26955 11586 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 14 0 62604244 14173970432 5469 18446744073709551615 4194304 4196468 140723395383248 139657454484192 139657984227029 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13851280 KiB
Current children cumulated memory: 23256 KiB

[startup+0.211343 s]*
/proc/loadavg: 2.25 1.89 1.80 5/211 26971
/proc/meminfo: memFree=31417764/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13974352 memory=31580 CPUtime=0.17 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 6281 0 0 0 16 1 0 0 20 0 15 0 62604238 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3493588 7895 2969 1 0 3482964 0
[pid=26957/tid=26958] ppid=26955 vsize=13974352 memory=-6368483964343128418 CPUtime=0.11 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 3553 0 0 0 10 1 0 0 20 0 15 0 62604238 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657988439184 139657589387728 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13974352 memory=3461490774497711753 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13974352 memory=140169868027520 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62604239 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13974352 memory=140169868027520 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62604240 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62604241 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) R 26955 26955 11586 0 -1 1077944384 538 0 0 0 1 0 0 0 20 0 15 0 62604243 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657984227970 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) R 26955 26955 11586 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 15 0 62604243 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657456570072 139657976453950 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13974352 memory=140169868027520 CPUtime=0.03 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) R 26955 26955 11586 0 -1 4202560 663 0 0 0 3 0 0 0 20 0 15 0 62604243 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657455532280 139657967828928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13974352 memory=140169868027520 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604248 14309736448 7895 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32960 KiB

[startup+0.310486 s]*
/proc/loadavg: 2.25 1.89 1.80 3/211 26971
/proc/meminfo: memFree=31405028/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13978608 memory=40292 CPUtime=0.35 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 9830 0 0 0 32 3 0 0 20 0 15 0 62604238 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3494652 10073 3027 1 0 3482964 0
[pid=26957/tid=26958] ppid=26955 vsize=13978608 memory=2110520354569380 CPUtime=0.21 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 6928 0 0 0 19 2 0 0 20 0 15 0 62604238 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657988438880 139657968297310 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13978608 memory=732370308205480933 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13978608 memory=140169868029868 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13978608 memory=140169747481994 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13978608 memory=140169747409263 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62604239 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13978608 memory=140169868042210 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62604240 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13978608 memory=140169747484111 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13978608 memory=140169747505956 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62604241 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13978608 memory=280339494979696 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) S 26955 26955 11586 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 15 0 62604243 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13978608 memory=2240 CPUtime=0.02 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) S 26955 26955 11586 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 62604243 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657456589168 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13978608 memory=140169868027520 CPUtime=0.08 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) S 26955 26955 11586 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 15 0 62604243 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13978608 memory=140169868027519 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604248 14314094592 10073 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41672 KiB

[startup+0.701515 s]
/proc/loadavg: 2.25 1.89 1.80 6/211 26971
/proc/meminfo: memFree=31384148/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13978684 memory=87020 CPUtime=1.47 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 13387 0 0 0 143 4 0 0 20 0 15 0 62604238 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3494671 21755 3165 1 0 3482964 0
[pid=26957/tid=26958] ppid=26955 vsize=13978684 memory=4420 CPUtime=0.59 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 7916 0 0 0 56 3 0 0 20 0 15 0 62604238 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657988453552 139657984228758 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13978684 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13978684 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13978684 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604239 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13978684 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62604239 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13978684 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62604240 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13978684 memory=8956 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62604241 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13978684 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13978684 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) R 26955 26955 11586 0 -1 4202560 1419 0 0 0 29 0 0 0 20 0 15 0 62604243 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657457622728 139657976506272 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13978684 memory=280339494949552 CPUtime=0.27 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) R 26955 26955 11586 0 -1 4202560 1167 0 0 0 27 0 0 0 20 0 15 0 62604243 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657456578976 139657964788033 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13978684 memory=140169747524708 CPUtime=0.29 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) R 26955 26955 11586 0 -1 4202560 1577 0 0 0 29 0 0 0 20 0 15 0 62604243 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984238170 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13978684 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13978684 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604248 14314172416 21755 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 88400 KiB

[startup+1.50082 s]
/proc/loadavg: 2.25 1.89 1.80 5/211 26971
/proc/meminfo: memFree=31288580/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13980732 memory=207132 CPUtime=4.05 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 16893 0 0 0 397 8 0 0 20 0 15 0 62604238 14316269568 51783 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0

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

/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13980732 memory=255937101222564 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13980732 memory=255937101222565 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 62604239 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13980732 memory=255937101222566 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62604240 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13980732 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) S 26955 26955 11586 0 -1 1077944384 2912 0 0 0 117 0 0 0 20 0 15 0 62604243 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13980732 memory=117 CPUtime=1.09 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) S 26955 26955 11586 0 -1 1077944384 1705 0 0 0 109 0 0 0 20 0 15 0 62604243 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657456589168 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13980732 memory=108 CPUtime=0.53 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) S 26955 26955 11586 0 -1 1077944384 2407 0 0 0 52 1 0 0 20 0 15 0 62604243 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13980732 memory=51 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62604248 14316269568 51971 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209264 KiB

[startup+3.81817 s]
# the end of solver process 26955 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.56885 s, system=0.097997 s

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

[startup+3.20105 s]
/proc/loadavg: 2.23 1.89 1.80 3/211 26971
/proc/meminfo: memFree=31239500/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13980732 memory=208200 CPUtime=5.99 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 18599 0 0 0 591 8 0 0 20 0 15 0 62604238 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3495183 52050 3214 1 0 3483476 0
[pid=26957/tid=26958] ppid=26955 vsize=13980732 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 9084 0 0 0 303 4 0 0 20 0 15 0 62604238 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657988453616 139657594912984 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 62604239 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13980732 memory=4120 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13980732 memory=35464 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62604240 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13980732 memory=5788 CPUtime=1.18 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) S 26955 26955 11586 0 -1 1077944384 3159 0 0 0 118 0 0 0 20 0 15 0 62604243 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13980732 memory=1996 CPUtime=1.11 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) S 26955 26955 11586 0 -1 1077944384 2200 0 0 0 111 0 0 0 20 0 15 0 62604243 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657456589168 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13980732 memory=303148748257886234 CPUtime=0.54 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) S 26955 26955 11586 0 -1 1077944384 2695 0 0 0 53 1 0 0 20 0 15 0 62604243 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13980732 memory=13568184779278711 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62604248 14316269568 52050 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209580 KiB

[startup+3.60087 s]
/proc/loadavg: 2.23 1.89 1.80 3/211 26971
/proc/meminfo: memFree=31239500/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13980732 memory=208228 CPUtime=6.41 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 18687 0 0 0 632 9 0 0 20 0 15 0 62604238 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3495183 52057 3214 1 0 3483476 0
[pid=26957/tid=26958] ppid=26955 vsize=13980732 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 9107 0 0 0 343 4 0 0 20 0 15 0 62604238 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657988455576 139657595241031 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13980732 memory=140169747519814 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 62604239 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13980732 memory=-5921431000321636112 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13980732 memory=-9174445032661854264 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62604240 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13980732 memory=-3472574944341025154 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13980732 memory=4120 CPUtime=1.18 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) S 26955 26955 11586 0 -1 1077944384 3178 0 0 0 118 0 0 0 20 0 15 0 62604243 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13980732 memory=35464 CPUtime=1.11 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) S 26955 26955 11586 0 -1 1077944384 2200 0 0 0 111 0 0 0 20 0 15 0 62604243 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657456589168 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13980732 memory=2384 CPUtime=0.54 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) S 26955 26955 11586 0 -1 1077944384 2741 0 0 0 53 1 0 0 20 0 15 0 62604243 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62604248 14316269568 52057 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209608 KiB

[startup+3.80152 s]
/proc/loadavg: 2.23 1.89 1.80 3/211 26971
/proc/meminfo: memFree=31239500/32770624 swapFree=67108860/67108860
[pid=26955] ppid=26952 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26955/stat : 26955 (xcsp3-exec) S 26952 26955 11586 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 62604233 9740288 345 18446744073709551615 4194304 5098028 140725481634016 140725481632120 140533903331964 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 19935232 140725481640313 140725481640517 140725481640517 140725481644011 0
/proc/26955/statm: 2378 345 289 221 0 87 0
[pid=26957] ppid=26955 vsize=13980732 memory=208352 CPUtime=6.64 cores=0,2,4,6
/proc/26957/stat : 26957 (java) S 26955 26955 11586 0 -1 1077944320 20125 0 0 0 655 9 0 0 20 0 15 0 62604238 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 140723395365792 139657984216823 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
/proc/26957/statm: 3495183 52088 3214 1 0 3483476 0
[pid=26957/tid=26958] ppid=26955 vsize=13980732 memory=-3042783220307104087 CPUtime=3.67 cores=0,2,4,6
/proc/26957/task/26958/stat : 26958 (java) R 26955 26955 11586 0 -1 4202560 9548 0 0 0 363 4 0 0 20 0 15 0 62604238 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657988455576 139657984238653 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26959] ppid=26955 vsize=13980732 memory=7368011507068286833 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26959/stat : 26959 (java) S 26955 26955 11586 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657918650896 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26960] ppid=26955 vsize=13980732 memory=280339494732016 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26960/stat : 26960 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657917598352 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26961] ppid=26955 vsize=13980732 memory=7100839852556452247 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26961/stat : 26961 (java) S 26955 26955 11586 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 62604239 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657916545296 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26962] ppid=26955 vsize=13980732 memory=6933690287860520088 CPUtime=0.01 cores=0,2,4,6
/proc/26957/task/26962/stat : 26962 (java) S 26955 26955 11586 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 62604239 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657915492752 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26963] ppid=26955 vsize=13980732 memory=4279073131472314944 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26963/stat : 26963 (java) S 26955 26955 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62604240 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657461852912 139657984227970 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26964] ppid=26955 vsize=13980732 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26964/stat : 26964 (java) S 26955 26955 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657460799136 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26965] ppid=26955 vsize=13980732 memory=-3975649505123405620 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26965/stat : 26965 (java) S 26955 26955 11586 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62604241 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657459746032 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26966] ppid=26955 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26966/stat : 26966 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604243 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657458694608 139657984235419 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26967] ppid=26955 vsize=13980732 memory=111156 CPUtime=1.19 cores=0,2,4,6
/proc/26957/task/26967/stat : 26967 (java) R 26955 26955 11586 0 -1 4202560 3683 0 0 0 119 0 0 0 20 0 15 0 62604243 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657457641712 139657965760540 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26968] ppid=26955 vsize=13980732 memory=280339495200752 CPUtime=1.12 cores=0,2,4,6
/proc/26957/task/26968/stat : 26968 (java) R 26955 26955 11586 0 -1 4202560 2518 0 0 0 112 0 0 0 20 0 15 0 62604243 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657456575264 139657967603604 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26969] ppid=26955 vsize=13980732 memory=20076 CPUtime=0.55 cores=0,2,4,6
/proc/26957/task/26969/stat : 26969 (java) S 26955 26955 11586 0 -1 1077944384 2920 0 0 0 54 1 0 0 20 0 15 0 62604243 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657455536112 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26970] ppid=26955 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26970/stat : 26970 (java) S 26955 26955 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62604244 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657454483808 139657984227029 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
[pid=26957/tid=26971] ppid=26955 vsize=13980732 memory=644 CPUtime=0 cores=0,2,4,6
/proc/26957/task/26971/stat : 26971 (java) S 26955 26955 11586 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62604248 14316269568 52088 18446744073709551615 4194304 4196468 140723395383248 139657453431856 139657984227970 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13094912 140723395387825 140723395388001 140723395388001 140723395391439 0
Current children cumulated CPU time: 6.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 209732 KiB

Child status: 0
Real time (s): 3.81821
CPU time (s): 6.66685
CPU user time (s): 6.56885
CPU system time (s): 0.097997
CPU usage (%): 174.607
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 209732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.56885
system time used= 0.097997
maximum resident set size= 209016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2077
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 26955
#   total CPU time (s): 6.66685
#   total CPU user time (s): 6.56885
#   total CPU system time (s): 0.097997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055406 second user time and 0.068025 second system time

The end