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 (14194 MiB free)
memory of node 1: 16384 MiB (15743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282582-1503136927/watcher-4282582-1503136927 -o /tmp/evaluation-result-4282582-1503136927/solver-4282582-1503136927 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16490 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 575626146 HOME/instance-4282582-1503136927.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23342, runsolver pid=23339
[startup+0.100106 s]*
/proc/loadavg: 1.88 1.93 1.85 2/196 23343
/proc/meminfo: memFree=30656808/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.20904 s]*
/proc/loadavg: 1.88 1.93 1.85 2/210 23357
/proc/meminfo: memFree=30645680/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13973868 memory=21740 CPUtime=0.06 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 4864 0 0 0 5 1 0 0 20 0 15 0 12102457 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3493467 5435 2569 1 0 3482964 0
[pid=23344/tid=23345] ppid=23342 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 3032 0 0 0 4 0 0 0 20 0 15 0 12102457 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140199186706224 140199182501021 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13973868 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13973868 memory=3617436521318573728 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12102458 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13973868 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12102459 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12102460 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12102460 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 12102462 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13973868 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 12102462 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13973868 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102468 14309240832 5435 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23116 KiB
[startup+0.310192 s]*
/proc/loadavg: 1.88 1.93 1.85 3/211 23358
/proc/meminfo: memFree=30632392/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13974352 memory=36324 CPUtime=0.24 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 8641 0 0 0 21 3 0 0 20 0 15 0 12102457 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3493588 9081 2969 1 0 3482964 0
[pid=23344/tid=23345] ppid=23342 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 5953 0 0 0 12 2 0 0 20 0 15 0 12102457 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140199186701472 140199175157109 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13974352 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12102458 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13974352 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12102459 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12102460 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12102460 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 15 0 12102462 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) S 23342 23342 16431 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 12102462 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13974352 memory=139815961224832 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 689 0 0 0 5 0 0 0 20 0 15 0 12102462 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13974352 memory=139815961224832 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102468 14309736448 9081 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37700 KiB
[startup+0.70081 s]
/proc/loadavg: 1.88 1.93 1.85 3/211 23358
/proc/meminfo: memFree=30621420/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13978684 memory=64492 CPUtime=1.12 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 12910 0 0 0 107 5 0 0 20 0 15 0 12102457 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3494671 16123 3162 1 0 3482964 0
[pid=23344/tid=23345] ppid=23342 vsize=13978684 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 7871 0 0 0 49 3 0 0 20 0 15 0 12102457 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140199186714672 140198824627396 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13978684 memory=7525331703890859377 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13978684 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102458 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13978684 memory=6935656952459513936 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12102458 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13978684 memory=8514726395714824858 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12102459 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13978684 memory=-7668917182949848256 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12102460 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13978684 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12102460 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13978684 memory=-7384994774051102368 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13978684 memory=7077805514658193553 CPUtime=0.14 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 943 0 0 0 14 0 0 0 20 0 15 0 12102462 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13978684 memory=50804 CPUtime=0.17 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) R 23342 23342 16431 0 -1 4202560 1352 0 0 0 17 0 0 0 20 0 15 0 12102462 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198655471912 140199167400877 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13978684 memory=-8774313645642428999 CPUtime=0.25 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 1437 0 0 0 25 0 0 0 20 0 15 0 12102462 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102468 14314172416 16123 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 65868 KiB
[startup+1.50138 s]
/proc/loadavg: 1.88 1.93 1.85 3/211 23358
/proc/meminfo: memFree=30505564/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13980732 memory=277496 CPUtime=2.59 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 14572 0 0 0 240 19 0 0 20 0 15 0 12102457 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3495183 69374 3196 1 0 3483476 0
[pid=23344/tid=23345] ppid=23342 vsize=13980732 memory=-8774313645642428999 CPUtime=1.25 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 8517 0 0 0 120 5 0 0 20 0 15 0 12102457 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140199186716184 140198826753755 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13980732 memory=3472468111234704264 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13980732 memory=7162361900632910953 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13980732 memory=4207739329461892426 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13980732 memory=3472468111234711083 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 12102459 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13980732 memory=7161675929820226662 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13980732 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13980732 memory=3047711553320166262 CPUtime=0.32 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 1306 0 0 0 32 0 0 0 20 0 15 0 12102462 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13980732 memory=8226496019563506588 CPUtime=0.35 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) S 23342 23342 16431 0 -1 1077944384 1428 0 0 0 35 0 0 0 20 0 15 0 12102462 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13980732 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 1715 0 0 0 36 0 0 0 20 0 15 0 12102462 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12102468 14316269568 69374 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
################
# More data... #
################
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13980732 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13980732 memory=6897 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13980732 memory=4420 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 12102459 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13980732 memory=277960 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13980732 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13980732 memory=10108 CPUtime=0.5 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) R 23342 23342 16431 0 -1 4202560 2101 0 0 0 50 0 0 0 20 0 15 0 12102462 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198656533520 140199168159793 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13980732 memory=1376 CPUtime=0.46 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) R 23342 23342 16431 0 -1 4202560 2278 0 0 0 46 0 0 0 20 0 15 0 12102462 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199165947130 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13980732 memory=1376 CPUtime=0.42 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) R 23342 23342 16431 0 -1 1077944384 2560 0 0 0 41 1 0 0 20 0 15 0 12102462 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13980732 memory=277956 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13980732 memory=62 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 12102468 14316269568 69607 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 7.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 279804 KiB
[startup+7.24111 s]
# the end of solver process 23342 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.08291 s, system=0.208815 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40103 s]
/proc/loadavg: 1.89 1.93 1.85 3/211 23358
/proc/meminfo: memFree=30391052/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13980732 memory=278500 CPUtime=7.95 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 19027 0 0 0 776 19 0 0 20 0 15 0 12102457 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3495183 69625 3205 1 0 3483476 0
[pid=23344/tid=23345] ppid=23342 vsize=13980732 memory=0 CPUtime=6.15 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 9779 0 0 0 610 5 0 0 20 0 15 0 12102457 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199186718416 140198827284019 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13980732 memory=-3252517613199061085 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13980732 memory=1296 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13980732 memory=2344 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13980732 memory=1728 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13980732 memory=11952 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 12102459 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13980732 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13980732 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13980732 memory=1228 CPUtime=0.56 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 2112 0 0 0 56 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13980732 memory=5368 CPUtime=0.52 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) S 23342 23342 16431 0 -1 1077944384 2415 0 0 0 52 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13980732 memory=4612 CPUtime=0.42 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 2560 0 0 0 41 1 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13980732 memory=10720 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 12102468 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 279876 KiB
[startup+6.80068 s]
/proc/loadavg: 1.89 1.93 1.85 3/211 23358
/proc/meminfo: memFree=30391052/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13980732 memory=278500 CPUtime=8.36 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 19175 0 0 0 817 19 0 0 20 0 15 0 12102457 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3495183 69625 3205 1 0 3483476 0
[pid=23344/tid=23345] ppid=23342 vsize=13980732 memory=0 CPUtime=6.55 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 9925 0 0 0 650 5 0 0 20 0 15 0 12102457 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199186718416 140198827284194 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13980732 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13980732 memory=1200 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13980732 memory=1716 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13980732 memory=15872 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13980732 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 12102459 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13980732 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13980732 memory=6640 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13980732 memory=644 CPUtime=0.56 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) S 23342 23342 16431 0 -1 1077944384 2112 0 0 0 56 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13980732 memory=1792 CPUtime=0.52 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) S 23342 23342 16431 0 -1 1077944384 2415 0 0 0 52 0 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13980732 memory=952 CPUtime=0.42 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) S 23342 23342 16431 0 -1 1077944384 2562 0 0 0 41 1 0 0 20 0 15 0 12102462 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13980732 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13980732 memory=4288 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 12102468 14316269568 69625 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 279876 KiB
[startup+7.20095 s]
/proc/loadavg: 1.89 1.93 1.85 4/211 23358
/proc/meminfo: memFree=30390432/32770624 swapFree=67108860/67108860
[pid=23342] ppid=23339 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23342/stat : 23342 (xcsp3-exec) S 23339 23342 16431 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 12102446 9740288 344 18446744073709551615 4194304 5098028 140730826583216 140730826581320 139988089942652 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 19038208 140730826588538 140730826588742 140730826588742 140730826592235 0
/proc/23342/statm: 2378 344 289 221 0 87 0
[pid=23344] ppid=23342 vsize=13980732 memory=279976 CPUtime=9.22 cores=1,3,5,7
/proc/23344/stat : 23344 (java) S 23342 23342 16431 0 -1 1077944320 19747 0 0 0 902 20 0 0 20 0 15 0 12102457 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140723348999632 140199182479095 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
/proc/23344/statm: 3495183 69994 3208 1 0 3483476 0
[pid=23344/tid=23345] ppid=23342 vsize=13980732 memory=139815815442720 CPUtime=6.95 cores=1,3,5,7
/proc/23344/task/23345/stat : 23345 (java) R 23342 23342 16431 0 -1 4202560 9952 0 0 0 690 5 0 0 20 0 15 0 12102457 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140199186718416 140198822599738 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23346] ppid=23342 vsize=13980732 memory=139815815259136 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23346/stat : 23346 (java) S 23342 23342 16431 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140199143378064 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23347] ppid=23342 vsize=13980732 memory=139815815259168 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23347/stat : 23347 (java) S 23342 23342 16431 0 -1 1077944384 50 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140199142325264 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23348] ppid=23342 vsize=13980732 memory=139815815259200 CPUtime=0.06 cores=1,3,5,7
/proc/23344/task/23348/stat : 23348 (java) S 23342 23342 16431 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 12102458 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198780791696 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23349] ppid=23342 vsize=13980732 memory=139815815259232 CPUtime=0.05 cores=1,3,5,7
/proc/23344/task/23349/stat : 23349 (java) S 23342 23342 16431 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 15 0 12102458 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198779738896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23350] ppid=23342 vsize=13980732 memory=139815815259264 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23350/stat : 23350 (java) S 23342 23342 16431 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 12102459 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198660753776 140199182490242 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23351] ppid=23342 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23351/stat : 23351 (java) S 23342 23342 16431 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198659699744 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23352] ppid=23342 vsize=13980732 memory=278500 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23352/stat : 23352 (java) S 23342 23342 16431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12102460 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198658646896 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23353] ppid=23342 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23353/stat : 23353 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102462 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198657595216 140199182497691 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23354] ppid=23342 vsize=13980732 memory=1444 CPUtime=0.77 cores=1,3,5,7
/proc/23344/task/23354/stat : 23354 (java) R 23342 23342 16431 0 -1 4202560 2263 0 0 0 77 0 0 0 20 0 15 0 12102462 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198656543600 140199166877178 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23355] ppid=23342 vsize=13980732 memory=10720 CPUtime=0.75 cores=1,3,5,7
/proc/23344/task/23355/stat : 23355 (java) R 23342 23342 16431 0 -1 4202560 2798 0 0 0 75 0 0 0 20 0 15 0 12102462 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198655490800 140199163999973 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23356] ppid=23342 vsize=13980732 memory=1200 CPUtime=0.43 cores=1,3,5,7
/proc/23344/task/23356/stat : 23356 (java) R 23342 23342 16431 0 -1 1077944384 2573 0 0 0 42 1 0 0 20 0 15 0 12102462 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198654438000 140199182490242 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23357] ppid=23342 vsize=13980732 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23357/stat : 23357 (java) S 23342 23342 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12102463 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198653385440 140199182489301 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
[pid=23344/tid=23358] ppid=23342 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23344/task/23358/stat : 23358 (java) S 23342 23342 16431 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 12102468 14316269568 69994 18446744073709551615 4194304 4196468 140723349017088 140198652332720 140199182490242 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 38490112 140723349025202 140723349025378 140723349025378 140723349028815 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 281352 KiB
Child status: 0
Real time (s): 7.24117
CPU time (s): 9.29172
CPU user time (s): 9.08291
CPU system time (s): 0.208815
CPU usage (%): 128.318
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 281352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.08291
system time used= 0.208815
maximum resident set size= 280920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2361
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 23342
# total CPU time (s): 9.29172
# total CPU user time (s): 9.08291
# total CPU system time (s): 0.208815
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060396 second user time and 0.112794 second system time
The end