2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	331	765.207	97.0978
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 (13941 MiB free)
  memory of node 1: 16384 MiB (15693 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400207-1568711209/watcher-4400207-1568711209 -o /tmp/evaluation-result-4400207-1568711209/solver-4400207-1568711209 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1770492645 HOME/instance-4400207-1568711209.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=5872, runsolver pid=5869

[startup+0.100165 s]*
/proc/loadavg: 8.04 8.04 8.09 2/212 5893
/proc/meminfo: memFree=30332164/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28227396 memory=29168 CPUtime=0.12 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 20 0 447034764 28904853504 7292 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7056849 7292 3149 1 0 7019032 0
[pid=5874/tid=5875] ppid=5872 vsize=28227396 memory=-7096649868621430206 CPUtime=0.08 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 27783 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 447034764 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626084262784 140626060671026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28227396 memory=140121435158144 CPUtime=0 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5879] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626029489168 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5880] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626028435856 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5881] ppid=5872 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626027383056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5882] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626026330768 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5883] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 7292 33554432000 4194304 4196468 140726500892272 140626025277968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5884] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034766 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624408861296 140626080037506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5885] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447034767 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624407807264 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5886] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447034767 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624406754928 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5887] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624405703248 140626080044955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5888] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 27783 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624404650096 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5889] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5889/stat : 5889 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624403597296 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5890] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5890/stat : 5890 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624402545008 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5891] ppid=5872 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) R 5872 5872 27783 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 20 0 447034769 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624401492208 140626059334082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034770 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034770 28904853504 7292 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30616 KiB

[startup+0.210432 s]*
/proc/loadavg: 8.04 8.04 8.09 2/212 5893
/proc/meminfo: memFree=30319532/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28227396 memory=40256 CPUtime=0.33 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 9344 0 0 0 30 3 0 0 20 0 20 0 447034764 28904853504 10064 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7056849 10064 3242 1 0 7019032 0
[pid=5874/tid=5875] ppid=5872 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 27783 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 20 0 447034764 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626084260144 140626080038294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28227396 memory=4050625729323480736 CPUtime=0 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5879] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626029489168 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5880] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626028435856 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5881] ppid=5872 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626027383056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5882] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626026330768 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5883] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034765 28904853504 10064 33554432000 4194304 4196468 140726500892272 140626025277968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5884] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447034766 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624408861296 140626080037506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5885] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447034767 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624407807264 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5886] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447034767 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624406754928 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5887] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624405703248 140626080044955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5888] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 27783 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 20 0 447034769 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624404650096 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5889] ppid=5872 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5874/task/5889/stat : 5889 (java) S 5872 5872 27783 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 447034769 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624403597296 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5890] ppid=5872 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/5874/task/5890/stat : 5890 (java) S 5872 5872 27783 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 447034769 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624402545008 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5891] ppid=5872 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) R 5872 5872 27783 0 -1 4202560 819 0 0 0 7 0 0 0 20 0 20 0 447034769 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624401492208 140626064266584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034770 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034770 28904853504 10064 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41704 KiB

[startup+0.30935 s]*
/proc/loadavg: 8.04 8.04 8.09 4/212 5893
/proc/meminfo: memFree=30311880/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28231652 memory=49676 CPUtime=0.52 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 10790 0 0 0 48 4 0 0 20 0 20 0 447034764 28909211648 12419 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7057913 12419 3336 1 0 7019032 0
[pid=5874/tid=5875] ppid=5872 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 27783 0 -1 4202560 7709 0 0 0 26 3 0 0 20 0 20 0 447034764 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626084260144 140626080048285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28231652 memory=2124 CPUtime=0 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28231652 memory=25996 CPUtime=0 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5879] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626029489168 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5880] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626028435856 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5881] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626027383056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5882] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626026330768 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5883] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034765 28909211648 12448 33554432000 4194304 4196468 140726500892272 140626025277968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5884] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447034766 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624408861296 140626080037506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5885] ppid=5872 vsize=28231652 memory=1970350607106051 CPUtime=0 cores=0-7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447034767 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624407807264 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5886] ppid=5872 vsize=28231652 memory=2110471901967268 CPUtime=0 cores=0-7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447034767 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624406754928 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5887] ppid=5872 vsize=28231652 memory=2110471902000132 CPUtime=0 cores=0-7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034769 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624405703248 140626080044955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5888] ppid=5872 vsize=28231652 memory=2110471901971876 CPUtime=0.01 cores=0-7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 27783 0 -1 1077944384 489 0 0 0 1 0 0 0 20 0 20 0 447034769 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624404650096 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5889] ppid=5872 vsize=28231652 memory=2110471901974180 CPUtime=0.02 cores=0-7
/proc/5874/task/5889/stat : 5889 (java) S 5872 5872 27783 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 447034769 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624403597296 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5890] ppid=5872 vsize=28231652 memory=2110471901976484 CPUtime=0.04 cores=0-7
/proc/5874/task/5890/stat : 5890 (java) R 5872 5872 27783 0 -1 4202560 225 0 0 0 4 0 0 0 20 0 20 0 447034769 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624402535392 140626065152151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5891] ppid=5872 vsize=28231652 memory=2110471902000036 CPUtime=0.12 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) S 5872 5872 27783 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 20 0 447034769 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624401492208 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447034770 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034770 28909211648 12448 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51124 KiB

[startup+0.700949 s]
/proc/loadavg: 8.04 8.04 8.09 6/212 5893
/proc/meminfo: memFree=30288804/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28233776 memory=126924 CPUtime=2.03 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 14727 0 0 0 197 6 0 0 20 0 20 0 447034764 28911386624 31731 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7058444 31731 3451 1 0 7019544 0
[pid=5874/tid=5875] ppid=5872 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 27783 0 -1 4202560 8380 0 0 0 63 4 0 0 20 0 20 0 447034764 28911386624 31731 33554432000 4194304 4196468 140726500892272 140626084261792 140625701913377 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28233776 memory=280242589786992 CPUtime=0 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28911386624 31731 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28233776 memory=140121295070064 CPUtime=0 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447034765 28911386624 31731 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447034765 28911386624 31731 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0

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

[pid=5874/tid=5891] ppid=5872 vsize=28901464 memory=1124 CPUtime=0.86 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) S 5872 5872 27783 0 -1 1077944384 7281 0 0 0 83 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624401492208 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28901464 memory=2828 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28901464 memory=1228 CPUtime=0.04 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 867 0 0 0 0 4 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6022] ppid=5872 vsize=28901464 memory=14008 CPUtime=91.2 cores=0-7
/proc/5874/task/6022/stat : 6022 (java) R 5872 5872 27783 0 -1 4202560 3764 0 0 0 9118 2 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624379887544 140625709493526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6023] ppid=5872 vsize=28901464 memory=12040 CPUtime=91.37 cores=0-7
/proc/5874/task/6023/stat : 6023 (java) R 5872 5872 27783 0 -1 4202560 362 0 0 0 9137 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624388301336 140625709493635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6024] ppid=5872 vsize=28901464 memory=2124 CPUtime=90.87 cores=0-7
/proc/5874/task/6024/stat : 6024 (java) R 5872 5872 27783 0 -1 4202560 809 0 0 0 9087 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624378834816 140625709264071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6025] ppid=5872 vsize=28901464 memory=25996 CPUtime=89.6 cores=0-7
/proc/5874/task/6025/stat : 6025 (java) R 5872 5872 27783 0 -1 4202560 3450 0 0 0 8949 11 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624384090024 140625709493601 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6026] ppid=5872 vsize=28901464 memory=492 CPUtime=90.98 cores=0-7
/proc/5874/task/6026/stat : 6026 (java) R 5872 5872 27783 0 -1 4202560 748 0 0 0 9098 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624387248280 140625709493601 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6027] ppid=5872 vsize=28901464 memory=280242589991808 CPUtime=90.81 cores=0-7
/proc/5874/task/6027/stat : 6027 (java) R 5872 5872 27783 0 -1 4202560 898 0 0 0 9081 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624386195544 140625710971538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6028] ppid=5872 vsize=28901464 memory=165339061038567 CPUtime=91.02 cores=0-7
/proc/5874/task/6028/stat : 6028 (java) R 5872 5872 27783 0 -1 4202560 311 0 0 0 9102 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624389353880 140625710971448 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6029] ppid=5872 vsize=28901464 memory=1448 CPUtime=91.28 cores=0-7
/proc/5874/task/6029/stat : 6029 (java) R 5872 5872 27783 0 -1 4202560 1239 0 0 0 9127 1 0 0 20 0 28 0 447035221 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624385142920 140625709493696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 756.62 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 684052 KiB

[startup+96.8021 s]
/proc/loadavg: 8.11 8.05 8.09 9/219 6034
/proc/meminfo: memFree=29679448/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28901464 memory=682604 CPUtime=762.95 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 70830 0 0 0 76219 76 0 0 20 0 28 0 447034764 29595099136 170651 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7225366 170651 3528 1 0 7186466 0
[pid=5874/tid=5875] ppid=5872 vsize=28901464 memory=1716 CPUtime=1.68 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) S 5872 5872 27783 0 -1 1077944384 9406 0 0 0 161 7 0 0 20 0 28 0 447034764 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626084267136 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28901464 memory=8112282956445269571 CPUtime=0.08 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 791 0 0 0 6 2 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28901464 memory=8112282956445269571 CPUtime=0.09 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 288 0 0 0 6 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28901464 memory=916 CPUtime=0.1 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 268 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5879] ppid=5872 vsize=28901464 memory=1448 CPUtime=0.12 cores=0-7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 27783 0 -1 1077944384 763 0 0 0 8 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626029489168 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5880] ppid=5872 vsize=28901464 memory=682604 CPUtime=0.1 cores=0-7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 27783 0 -1 1077944384 328 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626028435856 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5881] ppid=5872 vsize=28901464 memory=1398720917958146503 CPUtime=0.12 cores=0-7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 27783 0 -1 1077944384 285 0 0 0 8 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626027383056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5882] ppid=5872 vsize=28901464 memory=4126316290023845779 CPUtime=0.1 cores=0-7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 27783 0 -1 1077944384 453 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626026330768 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5883] ppid=5872 vsize=28901464 memory=916 CPUtime=0.1 cores=0-7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 27783 0 -1 1077944384 514 0 0 0 6 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626025277968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5884] ppid=5872 vsize=28901464 memory=1448 CPUtime=0.02 cores=0-7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 27783 0 -1 1077944384 1511 0 0 0 2 0 0 0 20 0 28 0 447034766 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624408861296 140626080037506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5885] ppid=5872 vsize=28901464 memory=682604 CPUtime=0 cores=0-7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 27783 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447034767 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624407807328 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5886] ppid=5872 vsize=28901464 memory=1436 CPUtime=0 cores=0-7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 27783 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 447034767 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624406754944 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5887] ppid=5872 vsize=28901464 memory=896 CPUtime=0 cores=0-7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624405703248 140626080044955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5888] ppid=5872 vsize=28901464 memory=1980 CPUtime=2.4 cores=0-7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 27783 0 -1 1077944384 9493 0 0 0 237 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624404650096 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5889] ppid=5872 vsize=28901464 memory=2520 CPUtime=2.69 cores=0-7
/proc/5874/task/5889/stat : 5889 (java) S 5872 5872 27783 0 -1 1077944384 12740 0 0 0 266 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624403597296 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5890] ppid=5872 vsize=28901464 memory=1760 CPUtime=2.4 cores=0-7
/proc/5874/task/5890/stat : 5890 (java) S 5872 5872 27783 0 -1 1077944384 9169 0 0 0 238 2 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624402545008 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5891] ppid=5872 vsize=28901464 memory=1660 CPUtime=0.86 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) S 5872 5872 27783 0 -1 1077944384 7281 0 0 0 83 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624401492208 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28901464 memory=111632 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28901464 memory=1448 CPUtime=0.04 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 867 0 0 0 0 4 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6022] ppid=5872 vsize=28901464 memory=682604 CPUtime=91.99 cores=0-7
/proc/5874/task/6022/stat : 6022 (java) R 5872 5872 27783 0 -1 4202560 3764 0 0 0 9197 2 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624379887544 140625709495463 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6023] ppid=5872 vsize=28901464 memory=1660 CPUtime=92.16 cores=0-7
/proc/5874/task/6023/stat : 6023 (java) R 5872 5872 27783 0 -1 4202560 362 0 0 0 9216 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624388301336 140625709493676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6024] ppid=5872 vsize=28901464 memory=111632 CPUtime=91.66 cores=0-7
/proc/5874/task/6024/stat : 6024 (java) R 5872 5872 27783 0 -1 4202560 810 0 0 0 9166 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624378834816 140625709493601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6025] ppid=5872 vsize=28901464 memory=796 CPUtime=90.38 cores=0-7
/proc/5874/task/6025/stat : 6025 (java) R 5872 5872 27783 0 -1 4202560 3455 0 0 0 9027 11 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624384090024 140625709493515 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6026] ppid=5872 vsize=28901464 memory=1412 CPUtime=91.77 cores=0-7
/proc/5874/task/6026/stat : 6026 (java) R 5872 5872 27783 0 -1 4202560 748 0 0 0 9177 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624387248280 140625709492635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6027] ppid=5872 vsize=28901464 memory=3472 CPUtime=91.6 cores=0-7
/proc/5874/task/6027/stat : 6027 (java) R 5872 5872 27783 0 -1 4202560 901 0 0 0 9160 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624386195544 140625708979981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6028] ppid=5872 vsize=28901464 memory=1448 CPUtime=91.81 cores=0-7
/proc/5874/task/6028/stat : 6028 (java) R 5872 5872 27783 0 -1 4202560 311 0 0 0 9181 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624389353880 140625709493601 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6029] ppid=5872 vsize=28901464 memory=682604 CPUtime=92.07 cores=0-7
/proc/5874/task/6029/stat : 6029 (java) R 5872 5872 27783 0 -1 4202560 1239 0 0 0 9206 1 0 0 20 0 28 0 447035221 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624385142920 140625708903209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 762.95 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 684052 KiB

[startup+97.0021 s]*
/proc/loadavg: 8.10 8.05 8.09 9/219 6034
/proc/meminfo: memFree=29679556/32770624 swapFree=66917056/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 27783 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447034763 115843072 362 33554432000 4194304 5098028 140733263864176 140733263862280 139995954868860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15314944 140733263872891 140733263873134 140733263873134 140733263876042 0
/proc/5872/statm: 28282 362 304 221 0 87 0
[pid=5874] ppid=5872 vsize=28901464 memory=682604 CPUtime=764.6 cores=0-7
/proc/5874/stat : 5874 (java) S 5872 5872 27783 0 -1 1077944320 70832 0 0 0 76384 76 0 0 20 0 28 0 447034764 29595099136 170651 33554432000 4194304 4196468 140726500892272 140726500874816 140626080026359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
/proc/5874/statm: 7225366 170651 3528 1 0 7186466 0
[pid=5874/tid=5875] ppid=5872 vsize=28901464 memory=1398720917958146503 CPUtime=1.68 cores=0-7
/proc/5874/task/5875/stat : 5875 (java) S 5872 5872 27783 0 -1 1077944384 9406 0 0 0 161 7 0 0 20 0 28 0 447034764 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626084267136 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5876] ppid=5872 vsize=28901464 memory=4126316290023845779 CPUtime=0.08 cores=0-7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 27783 0 -1 1077944384 791 0 0 0 6 2 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626032647056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5877] ppid=5872 vsize=28901464 memory=916 CPUtime=0.09 cores=0-7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 27783 0 -1 1077944384 288 0 0 0 6 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626031594256 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5878] ppid=5872 vsize=28901464 memory=4776 CPUtime=0.1 cores=0-7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 27783 0 -1 1077944384 268 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626030541968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5879] ppid=5872 vsize=28901464 memory=4104 CPUtime=0.12 cores=0-7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 27783 0 -1 1077944384 763 0 0 0 8 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626029489168 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5880] ppid=5872 vsize=28901464 memory=916 CPUtime=0.1 cores=0-7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 27783 0 -1 1077944384 328 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626028435856 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5881] ppid=5872 vsize=28901464 memory=4776 CPUtime=0.12 cores=0-7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 27783 0 -1 1077944384 285 0 0 0 8 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626027383056 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5882] ppid=5872 vsize=28901464 memory=4104 CPUtime=0.1 cores=0-7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 27783 0 -1 1077944384 453 0 0 0 7 3 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626026330768 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5883] ppid=5872 vsize=28901464 memory=1398720917958146503 CPUtime=0.1 cores=0-7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 27783 0 -1 1077944384 514 0 0 0 6 4 0 0 20 0 28 0 447034765 29595099136 170651 33554432000 4194304 4196468 140726500892272 140626025277968 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5884] ppid=5872 vsize=28901464 memory=4126316290023845779 CPUtime=0.02 cores=0-7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 27783 0 -1 1077944384 1511 0 0 0 2 0 0 0 20 0 28 0 447034766 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624408861296 140626080037506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5885] ppid=5872 vsize=28901464 memory=9126232286719478932 CPUtime=0 cores=0-7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 27783 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 447034767 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624407807328 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5886] ppid=5872 vsize=28901464 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 27783 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 447034767 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624406754944 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5887] ppid=5872 vsize=28901464 memory=-5628408999910123566 CPUtime=0 cores=0-7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624405703248 140626080044955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5888] ppid=5872 vsize=28901464 memory=-2023959437020729679 CPUtime=2.4 cores=0-7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 27783 0 -1 1077944384 9493 0 0 0 237 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624404650096 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5889] ppid=5872 vsize=28901464 memory=-6800859132029471843 CPUtime=2.69 cores=0-7
/proc/5874/task/5889/stat : 5889 (java) S 5872 5872 27783 0 -1 1077944384 12740 0 0 0 266 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624403597296 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5890] ppid=5872 vsize=28901464 memory=-7880843606118635149 CPUtime=2.4 cores=0-7
/proc/5874/task/5890/stat : 5890 (java) S 5872 5872 27783 0 -1 1077944384 9169 0 0 0 238 2 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624402545008 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5891] ppid=5872 vsize=28901464 memory=6656426216303648864 CPUtime=0.86 cores=0-7
/proc/5874/task/5891/stat : 5891 (java) S 5872 5872 27783 0 -1 1077944384 7281 0 0 0 83 3 0 0 20 0 28 0 447034769 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624401492208 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5892] ppid=5872 vsize=28901464 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/5874/task/5892/stat : 5892 (java) S 5872 5872 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624400440160 140626080036565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=5893] ppid=5872 vsize=28901464 memory=6944656592385698452 CPUtime=0.04 cores=0-7
/proc/5874/task/5893/stat : 5893 (java) S 5872 5872 27783 0 -1 1077944384 867 0 0 0 0 4 0 0 20 0 28 0 447034770 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624399387440 140626080037506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6022] ppid=5872 vsize=28901464 memory=6944656425116252768 CPUtime=92.2 cores=0-7
/proc/5874/task/6022/stat : 6022 (java) R 5872 5872 27783 0 -1 4202560 3764 0 0 0 9218 2 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624379887544 140625709495594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6023] ppid=5872 vsize=28901464 memory=1448 CPUtime=92.37 cores=0-7
/proc/5874/task/6023/stat : 6023 (java) R 5872 5872 27783 0 -1 4202560 362 0 0 0 9237 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624388301336 140625709264605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6024] ppid=5872 vsize=28901464 memory=682604 CPUtime=91.87 cores=0-7
/proc/5874/task/6024/stat : 6024 (java) R 5872 5872 27783 0 -1 4202560 810 0 0 0 9187 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624378834816 140625710971232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6025] ppid=5872 vsize=28901464 memory=8326441112149131687 CPUtime=90.58 cores=0-7
/proc/5874/task/6025/stat : 6025 (java) R 5872 5872 27783 0 -1 4202560 3457 0 0 0 9047 11 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624384090024 140625709493645 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6026] ppid=5872 vsize=28901464 memory=8622098092594537603 CPUtime=91.98 cores=0-7
/proc/5874/task/6026/stat : 6026 (java) R 5872 5872 27783 0 -1 4202560 748 0 0 0 9198 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624387248280 140625708903909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6027] ppid=5872 vsize=28901464 memory=6944656575208382560 CPUtime=91.81 cores=0-7
/proc/5874/task/6027/stat : 6027 (java) R 5872 5872 27783 0 -1 4202560 901 0 0 0 9181 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624386195544 140625710971520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6028] ppid=5872 vsize=28901464 memory=6656426216303648864 CPUtime=92.02 cores=0-7
/proc/5874/task/6028/stat : 6028 (java) R 5872 5872 27783 0 -1 4202560 311 0 0 0 9202 0 0 0 20 0 28 0 447035220 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624389353880 140625709493526 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
[pid=5874/tid=6029] ppid=5872 vsize=28901464 memory=280242591769504 CPUtime=92.28 cores=0-7
/proc/5874/task/6029/stat : 6029 (java) R 5872 5872 27783 0 -1 4202560 1239 0 0 0 9227 1 0 0 20 0 28 0 447035221 29595099136 170651 33554432000 4194304 4196468 140726500892272 140624385142920 140625710970994 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18599936 140726500897776 140726500897947 140726500897947 140726500900815 0
Current children cumulated CPU time: 764.6 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 684052 KiB

Child status: 0
Real time (s): 97.0978
CPU time (s): 765.207
CPU user time (s): 764.43
CPU system time (s): 0.776687
CPU usage (%): 788.079
Max. virtual memory (cumulated for all children) (KiB): 29014592
Max. memory (cumulated for all children) (KiB): 684052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.43
system time used= 0.776687
maximum resident set size= 682612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8267
involuntary context switches= 9163


# summary of solver processes directly reported to runsolver:
#   pid: 5872
#   total CPU time (s): 765.207
#   total CPU user time (s): 764.43
#   total CPU system time (s): 0.776687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.82245 second user time and 1.21968 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	118.266
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4400207

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
