2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	331	412.773	408.517
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 (11728 MiB free)
  memory of node 1: 16384 MiB (12677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406207-1569410375/watcher-4406207-1569410375 -o /var/tmp/evaluation-result-4406207-1569410375/solver-4406207-1569410375 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1569396627-18796 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 958348622 HOME/instance-4406207-1569410375.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=23175, runsolver pid=23172

[startup+0.100057 s]*
/proc/loadavg: 1.85 1.86 1.86 4/229 23191
/proc/meminfo: memFree=24975284/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15144776 memory=29556 CPUtime=0.13 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 5739 0 0 0 12 1 0 0 20 0 15 0 516973927 15508250624 7389 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3786194 7389 3209 1 0 3748377 0
[pid=23177/tid=23178] ppid=23175 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 3622 0 0 0 9 0 0 0 20 0 15 0 516973928 15508250624 7389 33554432000 4194304 4196468 140723241820096 140189789884304 140189777890110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 7389 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15144776 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 7389 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 7389 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 7389 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15144776 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516973930 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516973930 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188657321120 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516973931 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188656268016 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15144776 memory=140715255690880 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) R 23175 23175 18764 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188652056136 140189766873403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15144776 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 7389 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31012 KiB

[startup+0.21099 s]*
/proc/loadavg: 1.85 1.86 1.86 4/229 23191
/proc/meminfo: memFree=24961572/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15144776 memory=41040 CPUtime=0.34 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 9489 0 0 0 32 2 0 0 20 0 15 0 516973927 15508250624 10260 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3786194 10260 3316 1 0 3748377 0
[pid=23177/tid=23178] ppid=23175 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 516973928 15508250624 10260 33554432000 4194304 4196468 140723241820096 140189789891296 140189785674909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15144776 memory=9276 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 10260 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15144776 memory=4267501741173637152 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 10260 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 10260 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516973928 15508250624 10260 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516973930 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516973930 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188657321120 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15144776 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516973931 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188656268016 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973933 15508250624 10260 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42496 KiB

[startup+0.316734 s]*
/proc/loadavg: 1.85 1.86 1.86 4/229 23191
/proc/meminfo: memFree=24954300/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15149032 memory=50268 CPUtime=0.54 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 10913 0 0 0 51 3 0 0 20 0 15 0 516973927 15512608768 12567 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787258 12567 3356 1 0 3748377 0
[pid=23177/tid=23178] ppid=23175 vsize=15149032 memory=8389772277269004345 CPUtime=0.31 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 7869 0 0 0 28 3 0 0 20 0 15 0 516973928 15512608768 12567 33554432000 4194304 4196468 140723241820096 140189789886768 140189785674909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15512608768 12567 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15149032 memory=3763099678124802080 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15512608768 12567 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15512608768 12567 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516973928 15512608768 12567 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15149032 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516973930 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516973930 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188657321120 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516973931 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188656268016 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 563 0 0 0 4 0 0 0 20 0 15 0 516973933 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 324 0 0 0 5 0 0 0 20 0 15 0 516973933 15512608768 12567 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15148776 memory=140715255690880 CPUtime=0.13 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 851 0 0 0 13 0 0 0 20 0 15 0 516973933 15512346624 12576 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15512608768 12576 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15149032 memory=140715255690880 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973933 15512608768 12576 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51724 KiB

[startup+0.700873 s]
/proc/loadavg: 1.85 1.86 1.86 5/229 23191
/proc/meminfo: memFree=24930124/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15151156 memory=125676 CPUtime=1.79 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 13877 0 0 0 174 5 0 0 20 0 15 0 516973927 15514783744 31419 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787789 31419 3452 1 0 3748889 0
[pid=23177/tid=23178] ppid=23175 vsize=15151156 memory=2120 CPUtime=0.68 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 8368 0 0 0 64 4 0 0 20 0 15 0 516973928 15514783744 31419 33554432000 4194304 4196468 140723241820096 140189789889088 140189785666856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15151156 memory=508 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15514783744 31419 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15514783744 31419 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973928 15514783744 31419 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516973928 15514783744 31419 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15151156 memory=864 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188657321120 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516973931 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188656268016 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15151156 memory=7086240636128743779 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15151156 memory=7453282923427948884 CPUtime=0.39 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) R 23175 23175 18764 0 -1 4202560 1367 0 0 0 39 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188654149856 140189767173376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15151156 memory=4639059877604708710 CPUtime=0.38 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) R 23175 23175 18764 0 -1 4202560 1245 0 0 0 38 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188653095088 140189765338937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15151156 memory=8514726395715219869 CPUtime=0.32 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 1589 0 0 0 32 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15151156 memory=7525629757741886052 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 31419 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 127132 KiB

[startup+1.50082 s]
/proc/loadavg: 1.85 1.86 1.86 5/229 23191
/proc/meminfo: memFree=24847952/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0

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

/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15151156 memory=212752 CPUtime=411.44 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 56570 0 0 0 41128 16 0 0 20 0 15 0 516973927 15514783744 53188 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787789 53188 3510 1 0 3748889 0
[pid=23177/tid=23178] ppid=23175 vsize=15151156 memory=712 CPUtime=407.1 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 14486 0 0 0 40705 5 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189789891792 140189428681452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15151156 memory=2832 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1970 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15151156 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 743 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 2104 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15151156 memory=14012 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 1380 0 0 0 1 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15151156 memory=65636 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188657321184 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 516973931 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188656268032 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15151156 memory=212752 CPUtime=1.51 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 10973 0 0 0 150 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15151156 memory=3844 CPUtime=1.97 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 16529 0 0 0 195 2 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15151156 memory=2596 CPUtime=0.61 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 6024 0 0 0 60 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15151156 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 475 0 0 0 4 4 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 411.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 214208 KiB

[startup+408.001 s]*
/proc/loadavg: 2.04 1.98 1.91 3/229 23230
/proc/meminfo: memFree=24761668/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15151156 memory=212752 CPUtime=412.25 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 56570 0 0 0 41209 16 0 0 20 0 15 0 516973927 15514783744 53188 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787789 53188 3510 1 0 3748889 0
[pid=23177/tid=23178] ppid=23175 vsize=15151156 memory=1398722017469774279 CPUtime=407.91 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 14486 0 0 0 40786 5 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189789891792 140189428681446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15151156 memory=4872558044660077418 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1970 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15151156 memory=6226622766060759656 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 743 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15151156 memory=7300713685002119267 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 2104 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15151156 memory=7813014630307227752 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15151156 memory=7663263316251273324 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 1380 0 0 0 1 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15151156 memory=5938955322699507049 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188657321184 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15151156 memory=7012474512791202407 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 516973931 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188656268032 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15151156 memory=7450195563527562344 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15151156 memory=-6519613052471072158 CPUtime=1.51 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 10973 0 0 0 150 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15151156 memory=7092151627886846824 CPUtime=1.97 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 16529 0 0 0 195 2 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15151156 memory=7233714858031146852 CPUtime=0.61 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 6024 0 0 0 60 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15151156 memory=6945785726305266023 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15151156 memory=7233714858031146852 CPUtime=0.08 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 475 0 0 0 4 4 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 412.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 214208 KiB

[startup+408.401 s]
/proc/loadavg: 2.04 1.98 1.91 3/229 23230
/proc/meminfo: memFree=24761668/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15151156 memory=212752 CPUtime=412.64 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 56570 0 0 0 41248 16 0 0 20 0 15 0 516973927 15514783744 53188 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787789 53188 3510 1 0 3748889 0
[pid=23177/tid=23178] ppid=23175 vsize=15151156 memory=140715142325634 CPUtime=408.3 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 14486 0 0 0 40825 5 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189789891792 140189428681799 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15151156 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1970 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 743 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15151156 memory=36724 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 2104 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15151156 memory=2120 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15151156 memory=508 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 1380 0 0 0 1 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188657321184 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 516973931 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188656268032 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15151156 memory=1444 CPUtime=1.51 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 10973 0 0 0 150 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15151156 memory=864 CPUtime=1.97 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 16529 0 0 0 195 2 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15151156 memory=1976 CPUtime=0.61 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 6024 0 0 0 60 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15151156 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15151156 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 475 0 0 0 4 4 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 412.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 214208 KiB

[startup+408.501 s]
/proc/loadavg: 2.04 1.98 1.91 3/229 23230
/proc/meminfo: memFree=24761668/32770624 swapFree=66966900/67108860
[pid=23175] ppid=23172 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23175/stat : 23175 (xcsp3-exec) S 23172 23175 18764 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516973927 115843072 364 33554432000 4194304 5098028 140726746133696 140726746131800 140477170385532 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10485760 140726746137431 140726746137689 140726746137689 140726746140614 0
/proc/23175/statm: 28282 364 305 221 0 87 0
[pid=23177] ppid=23175 vsize=15151156 memory=212752 CPUtime=412.74 cores=1,3,5,7
/proc/23177/stat : 23177 (java) S 23175 23175 18764 0 -1 1077944320 56571 0 0 0 41258 16 0 0 20 0 15 0 516973927 15514783744 53188 33554432000 4194304 4196468 140723241820096 140723241802640 140189785652983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
/proc/23177/statm: 3787789 53188 3510 1 0 3748889 0
[pid=23177/tid=23178] ppid=23175 vsize=15151156 memory=212752 CPUtime=408.4 cores=1,3,5,7
/proc/23177/task/23178/stat : 23178 (java) R 23175 23175 18764 0 -1 4202560 14487 0 0 0 40835 5 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189789891792 140189428681636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23179] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23179/stat : 23179 (java) S 23175 23175 18764 0 -1 1077944384 1970 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189377731600 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23180] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23180/stat : 23180 (java) S 23175 23175 18764 0 -1 1077944384 743 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189376679056 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23181] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.02 cores=1,3,5,7
/proc/23177/task/23181/stat : 23181 (java) S 23175 23175 18764 0 -1 1077944384 2104 0 0 0 2 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189375626000 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23182] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23182/stat : 23182 (java) S 23175 23175 18764 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 15 0 516973928 15514783744 53188 33554432000 4194304 4196468 140723241820096 140189374573456 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23183] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.01 cores=1,3,5,7
/proc/23177/task/23183/stat : 23183 (java) S 23175 23175 18764 0 -1 1077944384 1380 0 0 0 1 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188658374896 140189785664130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23184] ppid=23175 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23184/stat : 23184 (java) S 23175 23175 18764 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516973930 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188657321184 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23185] ppid=23175 vsize=15151156 memory=212752 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23185/stat : 23185 (java) S 23175 23175 18764 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 516973931 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188656268032 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23186] ppid=23175 vsize=15151156 memory=212752 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23186/stat : 23186 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188655216592 140189785671579 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23187] ppid=23175 vsize=15151156 memory=212752 CPUtime=1.51 cores=1,3,5,7
/proc/23177/task/23187/stat : 23187 (java) S 23175 23175 18764 0 -1 1077944384 10973 0 0 0 150 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188654164720 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23188] ppid=23175 vsize=15151156 memory=212752 CPUtime=1.97 cores=1,3,5,7
/proc/23177/task/23188/stat : 23188 (java) S 23175 23175 18764 0 -1 1077944384 16529 0 0 0 195 2 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188653112176 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23189] ppid=23175 vsize=15151156 memory=212752 CPUtime=0.61 cores=1,3,5,7
/proc/23177/task/23189/stat : 23189 (java) S 23175 23175 18764 0 -1 1077944384 6024 0 0 0 60 1 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188652059120 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23190] ppid=23175 vsize=15151156 memory=212752 CPUtime=0 cores=1,3,5,7
/proc/23177/task/23190/stat : 23190 (java) S 23175 23175 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188651006816 140189785663189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
[pid=23177/tid=23191] ppid=23175 vsize=15151156 memory=1456 CPUtime=0.08 cores=1,3,5,7
/proc/23177/task/23191/stat : 23191 (java) S 23175 23175 18764 0 -1 1077944384 475 0 0 0 4 4 0 0 20 0 15 0 516973933 15514783744 53188 33554432000 4194304 4196468 140723241820096 140188649953840 140189785664130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12005376 140723241821147 140723241821322 140723241821322 140723241824207 0
Current children cumulated CPU time: 412.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 214208 KiB

Child status: 0
Real time (s): 408.517
CPU time (s): 412.773
CPU user time (s): 412.6
CPU system time (s): 0.173804
CPU usage (%): 101.042
Max. virtual memory (cumulated for all children) (KiB): 15266220
Max. memory (cumulated for all children) (KiB): 221316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 412.6
system time used= 0.173804
maximum resident set size= 219960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57795
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11415
involuntary context switches= 236


# summary of solver processes directly reported to runsolver:
#   pid: 23175
#   total CPU time (s): 412.773
#   total CPU user time (s): 412.6
#   total CPU system time (s): 0.173804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13091 second user time and 3.95242 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	119.032
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 4406207

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
