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 (15410 MiB free)
  memory of node 1: 16384 MiB (14618 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269029-1502811593/watcher-4269029-1502811593 -o /tmp/evaluation-result-4269029-1502811593/solver-4269029-1502811593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 548922595 HOME/instance-4269029-1502811593.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=22102, runsolver pid=22099
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 1.73 1.76 1.77 3/210 22112
/proc/meminfo: memFree=30739992/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13775204 memory=18808 CPUtime=0.05 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 4065 0 0 0 4 1 0 0 20 0 13 0 128665881 14105808896 4702 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3443801 4702 2153 1 0 3433298 0
[pid=22104/tid=22105] ppid=22102 vsize=13840740 memory=8508281356422055842 CPUtime=0.03 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 2758 0 0 0 3 0 0 0 20 0 13 0 128665881 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516743143704 140516722988382 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13840740 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 128665882 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13840740 memory=140066145216128 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 128665882 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 128665882 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13840740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 128665882 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13840740 memory=140066145216128 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 128665883 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13840740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 128665884 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516216333344 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 128665884 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516215280496 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 128665886 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) R 22102 22102 4674 0 -1 4202560 279 0 0 0 0 0 0 0 20 0 13 0 128665886 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516213164616 140516722799358 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13840740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) R 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 128665886 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516212124096 140516738918101 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13840740 memory=140066145216128 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 128665886 14172917760 4965 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13784716 KiB
Current children cumulated memory: 20188 KiB

[startup+0.210886 s]*
/proc/loadavg: 1.73 1.76 1.77 4/216 22118
/proc/meminfo: memFree=30732204/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13974352 memory=31216 CPUtime=0.18 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 6236 0 0 0 17 1 0 0 20 0 15 0 128665881 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3493588 7804 2962 1 0 3482964 0
[pid=22104/tid=22105] ppid=22102 vsize=13974352 memory=7022364594140610616 CPUtime=0.12 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 3493 0 0 0 11 1 0 0 20 0 15 0 128665881 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516743141632 140516720759078 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13974352 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13974352 memory=288370442296927872 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128665882 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13974352 memory=140066145216128 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128665883 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128665884 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516216333344 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128665884 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516215280496 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 364 0 0 0 0 0 0 0 20 0 15 0 128665886 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 128665886 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13974352 memory=140066145216128 CPUtime=0.04 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) R 22102 22102 4674 0 -1 4202560 711 0 0 0 4 0 0 0 20 0 15 0 128665886 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516211068408 140516724204324 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13974352 memory=140066145216128 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665890 14309736448 7804 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32596 KiB

[startup+0.310726 s]*
/proc/loadavg: 1.73 1.76 1.77 4/216 22118
/proc/meminfo: memFree=30719384/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13978608 memory=40496 CPUtime=0.36 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 9844 0 0 0 33 3 0 0 20 0 15 0 128665881 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3494652 10124 3030 1 0 3482964 0
[pid=22104/tid=22105] ppid=22102 vsize=13978608 memory=4278483708103473607 CPUtime=0.21 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 6931 0 0 0 19 2 0 0 20 0 15 0 128665881 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516743129760 140516731585909 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13978608 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128665882 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128665883 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128665884 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516216333344 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128665884 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516215280496 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 412 0 0 0 2 0 0 0 20 0 15 0 128665886 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 128665886 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 128665886 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665890 14314094592 10124 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41876 KiB

[startup+0.700758 s]
/proc/loadavg: 1.73 1.76 1.77 5/216 22118
/proc/meminfo: memFree=30705732/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13980732 memory=76328 CPUtime=1.43 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 13102 0 0 0 137 6 0 0 20 0 15 0 128665881 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3495183 19082 3182 1 0 3483476 0
[pid=22104/tid=22105] ppid=22102 vsize=13980732 memory=140065997196304 CPUtime=0.59 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 8461 0 0 0 55 4 0 0 20 0 15 0 128665881 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516743145280 140516738919830 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13980732 memory=140065997073824 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665882 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128665882 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 128665883 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516216333344 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13980732 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516215280496 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) R 22102 22102 4674 0 -1 4202560 915 0 0 0 25 0 0 0 20 0 15 0 128665886 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516213176384 140516723300074 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) R 22102 22102 4674 0 -1 4202560 933 0 0 0 25 0 0 0 20 0 15 0 128665886 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516212114784 140516724025052 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) R 22102 22102 4674 0 -1 1077944384 1486 0 0 0 30 0 0 0 20 0 15 0 128665886 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13980732 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128665890 14316269568 19082 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77708 KiB

[startup+1.50087 s]
/proc/loadavg: 1.73 1.76 1.77 3/216 22118
/proc/meminfo: memFree=30674144/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13980732 memory=103648 CPUtime=2.81 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 16240 0 0 0 275 6 0 0 20 0 15 0 128665881 14316269568 25912 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3495183 25912 3187 1 0 3483476 0
[pid=22104/tid=22105] ppid=22102 vsize=13980732 memory=0 CPUtime=1.39 cores=0,2,4,6

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

/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516215280512 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13980732 memory=193352 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13980732 memory=1380 CPUtime=1.58 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 10351 0 0 0 157 1 0 0 20 0 15 0 128665886 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13980732 memory=193352 CPUtime=1.38 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 11962 0 0 0 137 1 0 0 20 0 15 0 128665886 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13980732 memory=1380 CPUtime=0.51 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 9056 0 0 0 50 1 0 0 20 0 15 0 128665886 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13980732 memory=193352 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13980732 memory=1796 CPUtime=0.73 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1036 0 0 0 38 35 0 0 20 0 15 0 128665890 14316269568 48338 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 2389.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 194732 KiB

[startup+2442.3 s]
/proc/loadavg: 2.44 1.87 1.79 3/216 22371
/proc/meminfo: memFree=31325660/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13980732 memory=195428 CPUtime=2449.16 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 75837 0 0 0 244842 74 0 0 20 0 15 0 128665881 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3495183 48857 3230 1 0 3483476 0
[pid=22104/tid=22105] ppid=22102 vsize=13980732 memory=195428 CPUtime=2439.54 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 23825 0 0 0 243946 8 0 0 20 0 15 0 128665881 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516743146944 140516383067601 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.09 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 2716 0 0 0 101 8 0 0 20 0 15 0 128665882 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.11 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1969 0 0 0 102 9 0 0 20 0 15 0 128665882 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13980732 memory=1380 CPUtime=1.09 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 3586 0 0 0 101 8 0 0 20 0 15 0 128665882 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.09 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 4341 0 0 0 100 9 0 0 20 0 15 0 128665882 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13980732 memory=195428 CPUtime=0.91 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 5620 0 0 0 82 9 0 0 20 0 15 0 128665883 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516216333408 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13980732 memory=193352 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516215280512 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.59 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 10353 0 0 0 158 1 0 0 20 0 15 0 128665886 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13980732 memory=1296 CPUtime=1.38 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 11964 0 0 0 137 1 0 0 20 0 15 0 128665886 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13980732 memory=1380 CPUtime=0.51 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 9058 0 0 0 50 1 0 0 20 0 15 0 128665886 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13980732 memory=195428 CPUtime=0.75 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1062 0 0 0 39 36 0 0 20 0 15 0 128665890 14316269568 48857 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 2449.16 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196808 KiB

[startup+2502.3 s]
/proc/loadavg: 2.57 2.04 1.85 3/216 22373
/proc/meminfo: memFree=31323236/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13980732 memory=197476 CPUtime=2509.28 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 75960 0 0 0 250852 76 0 0 20 0 15 0 128665881 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3495183 49369 3230 1 0 3483476 0
[pid=22104/tid=22105] ppid=22102 vsize=13980732 memory=197476 CPUtime=2499.45 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 23910 0 0 0 249937 8 0 0 20 0 15 0 128665881 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516743146832 140516383818336 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13980732 memory=1444 CPUtime=1.13 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 2718 0 0 0 104 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.15 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1977 0 0 0 106 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13980732 memory=1380 CPUtime=1.13 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 3594 0 0 0 105 8 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13980732 memory=195428 CPUtime=1.13 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 4352 0 0 0 104 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13980732 memory=1380 CPUtime=0.94 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 5625 0 0 0 85 9 0 0 20 0 15 0 128665883 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13980732 memory=195428 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516216333408 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516215280512 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13980732 memory=197476 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13980732 memory=1380 CPUtime=1.59 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 10353 0 0 0 158 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 11964 0 0 0 137 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13980732 memory=195428 CPUtime=0.51 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 9058 0 0 0 50 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13980732 memory=197476 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1066 0 0 0 40 37 0 0 20 0 15 0 128665890 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 2509.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513 s]*
/proc/loadavg: 2.48 2.04 1.86 3/216 22373
/proc/meminfo: memFree=31324104/32770624 swapFree=67108764/67108860
[pid=22102] ppid=22099 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (xcsp3-exec) S 22099 22102 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 128665875 9740288 345 18446744073709551615 4194304 5098028 140730216095408 140730216093512 140409252217468 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 30232576 140730216104313 140730216104517 140730216104517 140730216108011 0
/proc/22102/statm: 2378 345 289 221 0 87 0
[pid=22104] ppid=22102 vsize=13980732 memory=197476 CPUtime=2520.01 cores=0,2,4,6
/proc/22104/stat : 22104 (java) S 22102 22102 4674 0 -1 1077944320 75977 0 0 0 251925 76 0 0 20 0 15 0 128665881 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140727543214208 140516738907895 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
/proc/22104/statm: 3495183 49369 3230 1 0 3483476 0
[pid=22104/tid=22105] ppid=22102 vsize=13980732 memory=4278483708103473607 CPUtime=2510.14 cores=0,2,4,6
/proc/22104/task/22105/stat : 22105 (java) R 22102 22102 4674 0 -1 4202560 23920 0 0 0 251006 8 0 0 20 0 15 0 128665881 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516743146832 140516385099018 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22106] ppid=22102 vsize=13980732 memory=4872558044660077418 CPUtime=1.14 cores=0,2,4,6
/proc/22104/task/22106/stat : 22106 (java) S 22102 22102 4674 0 -1 1077944384 2718 0 0 0 105 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516702014608 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22107] ppid=22102 vsize=13980732 memory=2244 CPUtime=1.15 cores=0,2,4,6
/proc/22104/task/22107/stat : 22107 (java) S 22102 22102 4674 0 -1 1077944384 1979 0 0 0 106 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516337728528 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22108] ppid=22102 vsize=13980732 memory=4288 CPUtime=1.14 cores=0,2,4,6
/proc/22104/task/22108/stat : 22108 (java) S 22102 22102 4674 0 -1 1077944384 3597 0 0 0 106 8 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516336675728 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22109] ppid=22102 vsize=13980732 memory=1608 CPUtime=1.14 cores=0,2,4,6
/proc/22104/task/22109/stat : 22109 (java) S 22102 22102 4674 0 -1 1077944384 4354 0 0 0 105 9 0 0 20 0 15 0 128665882 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516335622928 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22110] ppid=22102 vsize=13980732 memory=644 CPUtime=0.95 cores=0,2,4,6
/proc/22104/task/22110/stat : 22110 (java) S 22102 22102 4674 0 -1 1077944384 5625 0 0 0 86 9 0 0 20 0 15 0 128665883 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516217387376 140516738919042 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22111] ppid=22102 vsize=13980732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22111/stat : 22111 (java) S 22102 22102 4674 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516216333408 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22112] ppid=22102 vsize=13980732 memory=956 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22112/stat : 22112 (java) S 22102 22102 4674 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 128665884 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516215280512 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22113] ppid=22102 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22113/stat : 22113 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516214228816 140516738926491 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22114] ppid=22102 vsize=13980732 memory=4288 CPUtime=1.59 cores=0,2,4,6
/proc/22104/task/22114/stat : 22114 (java) S 22102 22102 4674 0 -1 1077944384 10353 0 0 0 158 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516213177200 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22115] ppid=22102 vsize=13980732 memory=1608 CPUtime=1.38 cores=0,2,4,6
/proc/22104/task/22115/stat : 22115 (java) S 22102 22102 4674 0 -1 1077944384 11964 0 0 0 137 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516212124400 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22116] ppid=22102 vsize=13980732 memory=928 CPUtime=0.51 cores=0,2,4,6
/proc/22104/task/22116/stat : 22116 (java) S 22102 22102 4674 0 -1 1077944384 9058 0 0 0 50 1 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516211071600 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22117] ppid=22102 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/22104/task/22117/stat : 22117 (java) S 22102 22102 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128665886 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516210019040 140516738918101 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
[pid=22104/tid=22118] ppid=22102 vsize=13980732 memory=844 CPUtime=0.77 cores=0,2,4,6
/proc/22104/task/22118/stat : 22118 (java) S 22102 22102 4674 0 -1 1077944384 1066 0 0 0 40 37 0 0 20 0 15 0 128665890 14316269568 49369 18446744073709551615 4194304 4196468 140727543231664 140516208966320 140516738919042 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25378816 140727543234993 140727543235169 140727543235169 140727543238607 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198856 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2513.02 s]
# the end of solver process 22102 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00177 s, system=0 s

[startup+2513.02 s]
# the end of solver process 22104 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.27 s, system=0.772366 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2513.02
CPU time (s): 2520.04
CPU user time (s): 2519.27
CPU system time (s): 0.772366
CPU usage (%): 100.279
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 205328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.27
system time used= 0.772366
maximum resident set size= 209372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80700
involuntary context switches= 5590


# summary of solver processes directly reported to runsolver:
#   pid: 22102,22104
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.27
#   total CPU system time (s): 0.772366

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6448 second user time and 22.6437 second system time

The end