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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306516-1534050611/watcher-4306516-1534050611 -o /tmp/evaluation-result-4306516-1534050611/solver-4306516-1534050611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534038018-20443 --watchdog 2580 HOME/xcsp3-exec -seed 708170314 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306516-1534050611.xml 

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

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

solver pid=22088, runsolver pid=22085

[startup+0.100061 s]*
/proc/loadavg: 2.03 2.03 1.97 3/219 22104
/proc/meminfo: memFree=17050824/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14082940 memory=28828 CPUtime=0.12 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 5540 0 0 0 11 1 0 0 20 0 15 0 222623992 14420930560 7207 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3520735 7207 3050 1 0 3483012 0
[pid=22090/tid=22091] ppid=22088 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 3499 0 0 0 8 1 0 0 20 0 15 0 222623992 14420930560 7273 33554432000 4194304 4196468 140730512050624 140247982024496 140247611567744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14420930560 7273 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14082940 memory=140008495453824 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14420930560 7273 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14420930560 7273 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222623993 14420930560 7273 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14082940 memory=140008495453824 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222623994 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246889227040 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222623995 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246888174704 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14082940 memory=140008495453824 CPUtime=0.01 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) R 22088 22088 18978 0 -1 4202560 344 0 0 0 1 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246883965808 140247956747873 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14082940 memory=140008495453824 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623997 14420930560 7273 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30280 KiB

[startup+0.210741 s]*
/proc/loadavg: 2.03 2.03 1.97 4/219 22104
/proc/meminfo: memFree=17039436/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14087196 memory=40800 CPUtime=0.34 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 8248 0 0 0 32 2 0 0 20 0 15 0 222623992 14425288704 10200 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3521799 10200 3206 1 0 3483012 0
[pid=22090/tid=22091] ppid=22088 vsize=14087196 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 5447 0 0 0 18 1 0 0 20 0 15 0 222623992 14425288704 10200 33554432000 4194304 4196468 140730512050624 140247982012216 140247961871710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14087196 memory=12629 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 10200 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14087196 memory=140008495474525 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 10200 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 10200 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 10200 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14087196 memory=140008495453824 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222623994 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246889227040 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222623995 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246888174704 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14087196 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14087196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14087196 memory=140008495453824 CPUtime=0.08 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 10200 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42252 KiB

[startup+0.310641 s]*
/proc/loadavg: 2.11 2.04 1.97 4/219 22104
/proc/meminfo: memFree=17032736/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14087196 memory=48128 CPUtime=0.53 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 9203 0 0 0 50 3 0 0 20 0 15 0 222623992 14425288704 12032 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3521799 12032 3259 1 0 3483012 0
[pid=22090/tid=22091] ppid=22088 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 6151 0 0 0 28 2 0 0 20 0 15 0 222623992 14425288704 12032 33554432000 4194304 4196468 140730512050624 140247982025616 140247961871740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 12032 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 12032 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 12032 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222623993 14425288704 12032 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222623994 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246889227040 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222623995 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246888174704 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 165 0 0 0 4 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 930 0 0 0 13 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623997 14425288704 12032 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49580 KiB

[startup+0.700799 s]
/proc/loadavg: 2.11 2.04 1.97 5/219 22104
/proc/meminfo: memFree=17000784/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14089320 memory=107708 CPUtime=1.71 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 12341 0 0 0 167 4 0 0 20 0 15 0 222623992 14427463680 26927 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3522330 26927 3341 1 0 3483524 0
[pid=22090/tid=22091] ppid=22088 vsize=14089320 memory=60600 CPUtime=0.68 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 6535 0 0 0 65 3 0 0 20 0 15 0 222623992 14427463680 26927 33554432000 4194304 4196468 140730512050624 140247982027024 140247613856191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14089320 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14427463680 26927 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14089320 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14427463680 26927 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14089320 memory=1752 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623993 14427463680 26927 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14089320 memory=868 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222623993 14427463680 26927 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14089320 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222623994 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14089320 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246889227040 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222623995 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246888174704 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14089320 memory=6580 CPUtime=0.35 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) R 22088 22088 18978 0 -1 4202560 1474 0 0 0 35 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246886062224 140247963846608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14089320 memory=1296 CPUtime=0.35 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) R 22088 22088 18978 0 -1 4202560 1322 0 0 0 35 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246885018096 140247956980720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14089320 memory=4452 CPUtime=0.3 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 1702 0 0 0 30 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14089320 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14089320 memory=12668 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 26927 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 109160 KiB

[startup+1.50125 s]
/proc/loadavg: 2.11 2.04 1.97 5/219 22104
/proc/meminfo: memFree=16933828/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0

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

/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 222623995 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246888174720 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14089320 memory=1452 CPUtime=3.52 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 15601 0 0 0 349 3 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14089320 memory=1452 CPUtime=3.49 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 12680 0 0 0 348 1 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 9642 0 0 0 78 2 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14089320 memory=2225960 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14089320 memory=1452 CPUtime=1.4 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1664 0 0 0 71 69 0 0 20 0 15 0 222623997 14427463680 556490 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 2451.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2227412 KiB

[startup+2502.3 s]
/proc/loadavg: 1.81 1.94 2.02 3/217 22256
/proc/meminfo: memFree=18300536/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14089320 memory=2226008 CPUtime=2511.68 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 83556 0 0 0 251048 120 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3522330 556502 3423 1 0 3483524 0
[pid=22090/tid=22091] ppid=22088 vsize=14089320 memory=3868 CPUtime=2501.48 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 35520 0 0 0 250113 35 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247982030736 140247618019916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1201 0 0 0 15 4 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 431 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1238 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.23 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 1105 0 0 0 17 6 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.07 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 3130 0 0 0 3 4 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246889227104 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 222623995 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246888174720 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14089320 memory=1452 CPUtime=3.52 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 15605 0 0 0 349 3 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14089320 memory=1452 CPUtime=3.49 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 12683 0 0 0 348 1 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.8 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 9651 0 0 0 78 2 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14089320 memory=1452 CPUtime=1.43 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1694 0 0 0 72 71 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 2511.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2227460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.7 s]
/proc/loadavg: 1.83 1.94 2.02 3/217 22256
/proc/meminfo: memFree=18300412/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14089320 memory=2226008 CPUtime=2520.08 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 83564 0 0 0 251888 120 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3522330 556502 3423 1 0 3483524 0
[pid=22090/tid=22091] ppid=22088 vsize=14089320 memory=2226008 CPUtime=2509.88 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 35526 0 0 0 250953 35 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247982030736 140247618019857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1201 0 0 0 15 4 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 431 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1238 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.23 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 1105 0 0 0 17 6 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14089320 memory=3980 CPUtime=0.07 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 3130 0 0 0 3 4 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14089320 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246889227104 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 222623995 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246888174720 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14089320 memory=7306073696897362286 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14089320 memory=2226008 CPUtime=3.52 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 15605 0 0 0 349 3 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14089320 memory=2226008 CPUtime=3.49 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 12683 0 0 0 348 1 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14089320 memory=1924 CPUtime=0.8 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 9651 0 0 0 78 2 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14089320 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14089320 memory=804 CPUtime=1.43 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1696 0 0 0 72 71 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2227460 KiB

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

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

[startup+2510.72 s]
# the end of solver process 22090 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.9 s, system=1.22208 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

[startup+2510.7 s]
/proc/loadavg: 1.83 1.94 2.02 3/217 22256
/proc/meminfo: memFree=18300412/32770624 swapFree=67108688/67108860
[pid=22088] ppid=22085 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22088/stat : 22088 (xcsp3-exec) S 22085 22088 18978 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222623991 115843072 363 33554432000 4194304 5098028 140733227561648 140733227559752 140179609231996 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 15966208 140733227570235 140733227570436 140733227570436 140733227573194 0
/proc/22088/statm: 28282 363 305 221 0 87 0
[pid=22090] ppid=22088 vsize=14089320 memory=2226008 CPUtime=2520.08 cores=0,2,4,6
/proc/22090/stat : 22090 (java) S 22088 22088 18978 0 -1 1077944320 83564 0 0 0 251888 120 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140730512033168 140247977791223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
/proc/22090/statm: 3522330 556502 3423 1 0 3483524 0
[pid=22090/tid=22091] ppid=22088 vsize=14089320 memory=2226008 CPUtime=2509.88 cores=0,2,4,6
/proc/22090/task/22091/stat : 22091 (java) R 22088 22088 18978 0 -1 4202560 35526 0 0 0 250953 35 0 0 20 0 15 0 222623992 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247982030736 140247618019857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22092] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22092/stat : 22092 (java) S 22088 22088 18978 0 -1 1077944384 1201 0 0 0 15 4 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247930411920 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22093] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22093/stat : 22093 (java) S 22088 22088 18978 0 -1 1077944384 431 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247572867856 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22094] ppid=22088 vsize=14089320 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/22090/task/22094/stat : 22094 (java) S 22088 22088 18978 0 -1 1077944384 1238 0 0 0 14 5 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247571815568 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22095] ppid=22088 vsize=14089320 memory=2226008 CPUtime=0.23 cores=0,2,4,6
/proc/22090/task/22095/stat : 22095 (java) S 22088 22088 18978 0 -1 1077944384 1105 0 0 0 17 6 0 0 20 0 15 0 222623993 14427463680 556502 33554432000 4194304 4196468 140730512050624 140247570762768 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22096] ppid=22088 vsize=14089320 memory=3980 CPUtime=0.07 cores=0,2,4,6
/proc/22090/task/22096/stat : 22096 (java) S 22088 22088 18978 0 -1 1077944384 3130 0 0 0 3 4 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246890281072 140247977802370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22097] ppid=22088 vsize=14089320 memory=1924 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22097/stat : 22097 (java) S 22088 22088 18978 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222623994 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246889227104 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22098] ppid=22088 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22098/stat : 22098 (java) S 22088 22088 18978 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 222623995 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246888174720 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22099] ppid=22088 vsize=14089320 memory=7306073696897362286 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22099/stat : 22099 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246887123024 140247977809819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22100] ppid=22088 vsize=14089320 memory=2226008 CPUtime=3.52 cores=0,2,4,6
/proc/22090/task/22100/stat : 22100 (java) S 22088 22088 18978 0 -1 1077944384 15605 0 0 0 349 3 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246886070896 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22101] ppid=22088 vsize=14089320 memory=2226008 CPUtime=3.49 cores=0,2,4,6
/proc/22090/task/22101/stat : 22101 (java) S 22088 22088 18978 0 -1 1077944384 12683 0 0 0 348 1 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246885018096 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22102] ppid=22088 vsize=14089320 memory=1924 CPUtime=0.8 cores=0,2,4,6
/proc/22090/task/22102/stat : 22102 (java) S 22088 22088 18978 0 -1 1077944384 9651 0 0 0 78 2 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246883965808 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22103] ppid=22088 vsize=14089320 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/22090/task/22103/stat : 22103 (java) S 22088 22088 18978 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246882913248 140247977801429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
[pid=22090/tid=22104] ppid=22088 vsize=14089320 memory=804 CPUtime=1.43 cores=0,2,4,6
/proc/22090/task/22104/stat : 22104 (java) S 22088 22088 18978 0 -1 1077944384 1696 0 0 0 72 71 0 0 20 0 15 0 222623997 14427463680 556502 33554432000 4194304 4196468 140730512050624 140246881860016 140247977802370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 21577728 140730512057478 140730512057649 140730512057649 140730512060367 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2227460 KiB

Child status: 143
Real time (s): 2510.72
CPU time (s): 2520.12
CPU user time (s): 2518.9
CPU system time (s): 1.22208
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 2227460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.9
system time used= 1.22208
maximum resident set size= 2226520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57738
involuntary context switches= 3199


# summary of solver processes directly reported to runsolver:
#   pid: 22088,22090
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2518.9
#   total CPU system time (s): 1.22208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2457 second user time and 23.0869 second system time

The end