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 parallel	OPT	331	1623.21	204.617
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 (11841 MiB free)
  memory of node 1: 16384 MiB (9749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407107-1569355276/watcher-4407107-1569355276 -o /var/tmp/evaluation-result-4407107-1569355276/solver-4407107-1569355276 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569350116-1239 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 443557950 HOME/instance-4407107-1569355276.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=3110, runsolver pid=3107
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 7.97 8.22 8.25 3/212 3131
/proc/meminfo: memFree=22093300/32770624 swapFree=67002368/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28227396 memory=28616 CPUtime=0.1 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 5550 0 0 0 9 1 0 0 20 0 20 0 511441519 28904853504 7088 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7056849 7088 3056 1 0 7019032 0
[pid=3112/tid=3113] ppid=3110 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) R 3110 3110 1212 0 -1 4202560 3587 0 0 0 7 1 0 0 20 0 20 0 511441520 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197205659216 140197201466525 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28227396 memory=139648049399424 CPUtime=0 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3117] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3117/stat : 3117 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197150907152 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3118] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3118/stat : 3118 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197149854352 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3119] ppid=3110 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3119/stat : 3119 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197148801552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3120] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3120/stat : 3120 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197147748752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3121] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3121/stat : 3121 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 7286 33554432000 4194304 4196468 140736334658160 140197146695952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3122] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3122/stat : 3122 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441522 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195329448816 140197201455746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3123] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3123/stat : 3123 (java) S 3110 3110 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511441523 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195328394784 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3124] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3124/stat : 3124 (java) S 3110 3110 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511441523 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195327341936 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3125] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3125/stat : 3125 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441525 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195326290256 140197201463195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3126] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3126/stat : 3126 (java) S 3110 3110 1212 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 20 0 511441526 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195325237616 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3127] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3127/stat : 3127 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441526 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195324184816 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3128] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3128/stat : 3128 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441526 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195323132016 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3129] ppid=3110 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) S 3110 3110 1212 0 -1 1077944384 348 0 0 0 1 0 0 0 20 0 20 0 511441526 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195322079216 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441526 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441527 28904853504 7286 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30064 KiB

[startup+0.209959 s]*
/proc/loadavg: 7.97 8.22 8.25 2/212 3131
/proc/meminfo: memFree=22079860/32770624 swapFree=67002368/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28227396 memory=40876 CPUtime=0.31 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 9456 0 0 0 28 3 0 0 20 0 20 0 511441519 28904853504 10219 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7056849 10219 3290 1 0 7019032 0
[pid=3112/tid=3113] ppid=3110 vsize=28227396 memory=8318255677412212789 CPUtime=0.18 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) R 3110 3110 1212 0 -1 4202560 6593 0 0 0 16 2 0 0 20 0 20 0 511441520 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197205678480 140197158046535 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28227396 memory=139648052906017 CPUtime=0 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3117] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3117/stat : 3117 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197150907152 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3118] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3118/stat : 3118 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197149854352 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3119] ppid=3110 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3119/stat : 3119 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197148801552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3120] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3120/stat : 3120 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197147748752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3121] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3121/stat : 3121 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28904853504 10219 33554432000 4194304 4196468 140736334658160 140197146695952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3122] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3122/stat : 3122 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441522 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195329448816 140197201455746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3123] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3123/stat : 3123 (java) S 3110 3110 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511441523 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195328394784 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3124] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3124/stat : 3124 (java) S 3110 3110 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511441523 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195327341936 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3125] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3125/stat : 3125 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441525 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195326290256 140197201463195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3126] ppid=3110 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3112/task/3126/stat : 3126 (java) S 3110 3110 1212 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 20 0 511441526 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195325237616 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3127] ppid=3110 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3112/task/3127/stat : 3127 (java) S 3110 3110 1212 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 511441526 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195324184816 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3128] ppid=3110 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3112/task/3128/stat : 3128 (java) R 3110 3110 1212 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 20 0 511441526 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195323132016 140197194429641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3129] ppid=3110 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) S 3110 3110 1212 0 -1 1077944384 779 0 0 0 7 0 0 0 20 0 20 0 511441526 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195322079216 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441526 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441527 28904853504 10219 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42324 KiB

[startup+0.309855 s]*
/proc/loadavg: 7.97 8.22 8.25 2/212 3131
/proc/meminfo: memFree=22075212/32770624 swapFree=67002368/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28231652 memory=46800 CPUtime=0.49 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 10617 0 0 0 45 4 0 0 20 0 20 0 511441519 28909211648 11700 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7057913 11700 3321 1 0 7019032 0
[pid=3112/tid=3113] ppid=3110 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) R 3110 3110 1212 0 -1 4202560 7652 0 0 0 26 3 0 0 20 0 20 0 511441520 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197205681232 140197201465946 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3117] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3117/stat : 3117 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197150907152 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3118] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3118/stat : 3118 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197149854352 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3119] ppid=3110 vsize=28231652 memory=139647908932271 CPUtime=0 cores=0-7
/proc/3112/task/3119/stat : 3119 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197148801552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3120] ppid=3110 vsize=28231652 memory=139647908934576 CPUtime=0 cores=0-7
/proc/3112/task/3120/stat : 3120 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197147748752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3121] ppid=3110 vsize=28231652 memory=139647908936880 CPUtime=0 cores=0-7
/proc/3112/task/3121/stat : 3121 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28909211648 11700 33554432000 4194304 4196468 140736334658160 140197146695952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3122] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3122/stat : 3122 (java) S 3110 3110 1212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511441522 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195329448816 140197201455746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3123] ppid=3110 vsize=28231652 memory=279295817887632 CPUtime=0 cores=0-7
/proc/3112/task/3123/stat : 3123 (java) S 3110 3110 1212 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511441523 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195328394784 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3124] ppid=3110 vsize=28231652 memory=279295817885328 CPUtime=0 cores=0-7
/proc/3112/task/3124/stat : 3124 (java) S 3110 3110 1212 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511441523 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195327341936 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3125] ppid=3110 vsize=28231652 memory=279295817892240 CPUtime=0 cores=0-7
/proc/3112/task/3125/stat : 3125 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441525 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195326290256 140197201463195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3126] ppid=3110 vsize=28231652 memory=279295817833520 CPUtime=0.02 cores=0-7
/proc/3112/task/3126/stat : 3126 (java) S 3110 3110 1212 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 20 0 511441526 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195325237616 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3127] ppid=3110 vsize=28231652 memory=279295817906064 CPUtime=0.02 cores=0-7
/proc/3112/task/3127/stat : 3127 (java) S 3110 3110 1212 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 511441526 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195324184816 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3128] ppid=3110 vsize=28231652 memory=279295817912976 CPUtime=0.02 cores=0-7
/proc/3112/task/3128/stat : 3128 (java) S 3110 3110 1212 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 511441526 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195323132016 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3129] ppid=3110 vsize=28231652 memory=279295817910672 CPUtime=0.12 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) R 3110 3110 1212 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 20 0 511441526 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195322079216 140197180031251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441526 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441527 28909211648 11700 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48248 KiB

[startup+0.701077 s]
/proc/loadavg: 7.97 8.22 8.25 6/212 3131
/proc/meminfo: memFree=22052204/32770624 swapFree=67002368/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28233776 memory=129076 CPUtime=1.98 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 15261 0 0 0 192 6 0 0 20 0 20 0 511441519 28911386624 32269 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7058444 32269 3449 1 0 7019544 0
[pid=3112/tid=3113] ppid=3110 vsize=28233776 memory=0 CPUtime=0.66 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) R 3110 3110 1212 0 -1 4202560 8352 0 0 0 63 3 0 0 20 0 20 0 511441520 28911386624 32269 33554432000 4194304 4196468 140736334658160 140197205682592 140196812989462 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28233776 memory=139647909143408 CPUtime=0 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511441521 28911386624 32269 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511441521 28911386624 32269 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511441521 28911386624 32269 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0

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

[pid=3112/tid=3129] ppid=3110 vsize=28834900 memory=1424 CPUtime=0.87 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) S 3110 3110 1212 0 -1 1077944384 9559 0 0 0 85 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195322079216 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28834900 memory=580 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28834900 memory=1692 CPUtime=0.08 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 832 0 0 0 0 8 0 0 20 0 28 0 511441527 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3277] ppid=3110 vsize=28834900 memory=3616 CPUtime=199.61 cores=0-7
/proc/3112/task/3277/stat : 3277 (java) R 3110 3110 1212 0 -1 4202560 3069 0 0 0 19957 4 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195000921208 140196818598936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3278] ppid=3110 vsize=28834900 memory=7548 CPUtime=199.61 cores=0-7
/proc/3112/task/3278/stat : 3278 (java) R 3110 3110 1212 0 -1 4202560 520 0 0 0 19961 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195001974952 140196816980411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3279] ppid=3110 vsize=28834900 memory=2832 CPUtime=198.28 cores=0-7
/proc/3112/task/3279/stat : 3279 (java) R 3110 3110 1212 0 -1 4202560 3114 0 0 0 19826 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195317448968 140196817895296 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3280] ppid=3110 vsize=28834900 memory=1224 CPUtime=199.29 cores=0-7
/proc/3112/task/3280/stat : 3280 (java) R 3110 3110 1212 0 -1 4202560 3748 0 0 0 19916 13 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194997764152 140196816980486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3281] ppid=3110 vsize=28834900 memory=6164 CPUtime=199.36 cores=0-7
/proc/3112/task/3281/stat : 3281 (java) R 3110 3110 1212 0 -1 4202560 1599 0 0 0 19931 5 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194998817208 140196816980535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3282] ppid=3110 vsize=28834900 memory=772 CPUtime=198.58 cores=0-7
/proc/3112/task/3282/stat : 3282 (java) R 3110 3110 1212 0 -1 4202560 1802 0 0 0 19856 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194994607920 140196816980581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3283] ppid=3110 vsize=28834900 memory=1556 CPUtime=199.59 cores=0-7
/proc/3112/task/3283/stat : 3283 (java) R 3110 3110 1212 0 -1 4202560 2261 0 0 0 19956 3 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194996711776 140196816447506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3284] ppid=3110 vsize=28834900 memory=1056 CPUtime=197.37 cores=0-7
/proc/3112/task/3284/stat : 3284 (java) R 3110 3110 1212 0 -1 4202560 457 0 0 0 19737 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194995659320 140196816980694 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 1618.47 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1199540 KiB

[startup+204.402 s]
/proc/loadavg: 9.09 8.62 8.40 9/221 3319
/proc/meminfo: memFree=20925524/32770624 swapFree=67002372/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28834900 memory=1198092 CPUtime=1621.6 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 89193 0 0 0 162061 99 0 0 20 0 28 0 511441519 29526937600 299523 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7208725 299523 3529 1 0 7169825 0
[pid=3112/tid=3113] ppid=3110 vsize=28834900 memory=1398722017469774279 CPUtime=1.65 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) S 3110 3110 1212 0 -1 1077944384 9439 0 0 0 159 6 0 0 20 0 28 0 511441520 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197205685376 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28834900 memory=4872558044660077418 CPUtime=0.13 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 338 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28834900 memory=1198092 CPUtime=0.12 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 1559 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28834900 memory=1720 CPUtime=0.13 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 1429 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3117] ppid=3110 vsize=28834900 memory=1398722017469774279 CPUtime=0.12 cores=0-7
/proc/3112/task/3117/stat : 3117 (java) S 3110 3110 1212 0 -1 1077944384 961 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197150907152 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3118] ppid=3110 vsize=28834900 memory=4872558044660077418 CPUtime=0.13 cores=0-7
/proc/3112/task/3118/stat : 3118 (java) S 3110 3110 1212 0 -1 1077944384 612 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197149854352 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3119] ppid=3110 vsize=28834900 memory=1564 CPUtime=0.12 cores=0-7
/proc/3112/task/3119/stat : 3119 (java) S 3110 3110 1212 0 -1 1077944384 462 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197148801552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3120] ppid=3110 vsize=28834900 memory=928 CPUtime=0.13 cores=0-7
/proc/3112/task/3120/stat : 3120 (java) S 3110 3110 1212 0 -1 1077944384 1235 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197147748752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3121] ppid=3110 vsize=28834900 memory=1804 CPUtime=0.12 cores=0-7
/proc/3112/task/3121/stat : 3121 (java) S 3110 3110 1212 0 -1 1077944384 416 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197146695952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3122] ppid=3110 vsize=28834900 memory=920 CPUtime=0.03 cores=0-7
/proc/3112/task/3122/stat : 3122 (java) S 3110 3110 1212 0 -1 1077944384 2598 0 0 0 3 0 0 0 20 0 28 0 511441522 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195329448816 140197201455746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3123] ppid=3110 vsize=28834900 memory=1198092 CPUtime=0 cores=0-7
/proc/3112/task/3123/stat : 3123 (java) S 3110 3110 1212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 511441523 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195328394848 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3124] ppid=3110 vsize=28834900 memory=2012 CPUtime=0 cores=0-7
/proc/3112/task/3124/stat : 3124 (java) S 3110 3110 1212 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511441523 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195327341952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3125] ppid=3110 vsize=28834900 memory=301741373374332954 CPUtime=0 cores=0-7
/proc/3112/task/3125/stat : 3125 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511441525 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195326290256 140197201463195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3126] ppid=3110 vsize=28834900 memory=288230596050944315 CPUtime=2.24 cores=0-7
/proc/3112/task/3126/stat : 3126 (java) S 3110 3110 1212 0 -1 1077944384 9650 0 0 0 222 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195325237616 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3127] ppid=3110 vsize=28834900 memory=15542907662764593 CPUtime=2.54 cores=0-7
/proc/3112/task/3127/stat : 3127 (java) S 3110 3110 1212 0 -1 1077944384 15091 0 0 0 251 3 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195324184816 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3128] ppid=3110 vsize=28834900 memory=288230596050944315 CPUtime=2.44 cores=0-7
/proc/3112/task/3128/stat : 3128 (java) S 3110 3110 1212 0 -1 1077944384 12852 0 0 0 242 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195323132016 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3129] ppid=3110 vsize=28834900 memory=1448 CPUtime=0.87 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) S 3110 3110 1212 0 -1 1077944384 9559 0 0 0 85 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195322079216 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28834900 memory=1198092 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28834900 memory=920 CPUtime=0.08 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 832 0 0 0 0 8 0 0 20 0 28 0 511441527 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3277] ppid=3110 vsize=28834900 memory=4460 CPUtime=200 cores=0-7
/proc/3112/task/3277/stat : 3277 (java) R 3110 3110 1212 0 -1 4202560 3069 0 0 0 19996 4 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195000921208 140196817080000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3278] ppid=3110 vsize=28834900 memory=1980 CPUtime=200 cores=0-7
/proc/3112/task/3278/stat : 3278 (java) R 3110 3110 1212 0 -1 4202560 520 0 0 0 20000 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195001974952 140196818348796 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3279] ppid=3110 vsize=28834900 memory=1772 CPUtime=198.68 cores=0-7
/proc/3112/task/3279/stat : 3279 (java) R 3110 3110 1212 0 -1 4202560 3116 0 0 0 19866 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195317448968 140196816619185 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3280] ppid=3110 vsize=28834900 memory=2648 CPUtime=199.68 cores=0-7
/proc/3112/task/3280/stat : 3280 (java) R 3110 3110 1212 0 -1 4202560 3756 0 0 0 19955 13 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194997764152 140196816980411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3281] ppid=3110 vsize=28834900 memory=884 CPUtime=199.75 cores=0-7
/proc/3112/task/3281/stat : 3281 (java) R 3110 3110 1212 0 -1 4202560 1599 0 0 0 19970 5 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194998817208 140196816447268 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3282] ppid=3110 vsize=28834900 memory=1440 CPUtime=198.97 cores=0-7
/proc/3112/task/3282/stat : 3282 (java) R 3110 3110 1212 0 -1 4202560 1802 0 0 0 19895 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194994607920 140196816980535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3283] ppid=3110 vsize=28834900 memory=1768 CPUtime=199.98 cores=0-7
/proc/3112/task/3283/stat : 3283 (java) R 3110 3110 1212 0 -1 4202560 2261 0 0 0 19995 3 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194996711776 140196816447337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3284] ppid=3110 vsize=28834900 memory=279295820525024 CPUtime=197.76 cores=0-7
/proc/3112/task/3284/stat : 3284 (java) R 3110 3110 1212 0 -1 4202560 457 0 0 0 19776 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194995659320 140196816142342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 1621.6 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1199540 KiB

[startup+204.601 s]
/proc/loadavg: 9.09 8.62 8.40 9/221 3319
/proc/meminfo: memFree=20925524/32770624 swapFree=67002372/67108860
[pid=3110] ppid=3107 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3110/stat : 3110 (xcsp3-exec) S 3107 3110 1212 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511441519 115843072 362 33554432000 4194304 5098028 140723829509936 140723829508040 140668868416124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10252288 140723829515090 140723829515349 140723829515349 140723829518278 0
/proc/3110/statm: 28282 362 304 221 0 87 0
[pid=3112] ppid=3110 vsize=28834900 memory=1198092 CPUtime=1623.18 cores=0-7
/proc/3112/stat : 3112 (java) S 3110 3110 1212 0 -1 1077944320 89308 0 0 0 162219 99 0 0 20 0 28 0 511441519 29526937600 299523 33554432000 4194304 4196468 140736334658160 140736334640704 140197201444599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
/proc/3112/statm: 7208725 299523 3529 1 0 7169825 0
[pid=3112/tid=3113] ppid=3110 vsize=28834900 memory=0 CPUtime=1.65 cores=0-7
/proc/3112/task/3113/stat : 3113 (java) S 3110 3110 1212 0 -1 1077944384 9439 0 0 0 159 6 0 0 20 0 28 0 511441520 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197205685376 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3114] ppid=3110 vsize=28834900 memory=0 CPUtime=0.13 cores=0-7
/proc/3112/task/3114/stat : 3114 (java) S 3110 3110 1212 0 -1 1077944384 338 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197154065552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3115] ppid=3110 vsize=28834900 memory=0 CPUtime=0.12 cores=0-7
/proc/3112/task/3115/stat : 3115 (java) S 3110 3110 1212 0 -1 1077944384 1559 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197153012752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3116] ppid=3110 vsize=28834900 memory=0 CPUtime=0.13 cores=0-7
/proc/3112/task/3116/stat : 3116 (java) S 3110 3110 1212 0 -1 1077944384 1429 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197151959952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3117] ppid=3110 vsize=28834900 memory=0 CPUtime=0.12 cores=0-7
/proc/3112/task/3117/stat : 3117 (java) S 3110 3110 1212 0 -1 1077944384 961 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197150907152 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3118] ppid=3110 vsize=28834900 memory=0 CPUtime=0.13 cores=0-7
/proc/3112/task/3118/stat : 3118 (java) S 3110 3110 1212 0 -1 1077944384 612 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197149854352 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3119] ppid=3110 vsize=28834900 memory=0 CPUtime=0.12 cores=0-7
/proc/3112/task/3119/stat : 3119 (java) S 3110 3110 1212 0 -1 1077944384 462 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197148801552 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3120] ppid=3110 vsize=28834900 memory=0 CPUtime=0.13 cores=0-7
/proc/3112/task/3120/stat : 3120 (java) S 3110 3110 1212 0 -1 1077944384 1235 0 0 0 8 5 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197147748752 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3121] ppid=3110 vsize=28834900 memory=0 CPUtime=0.12 cores=0-7
/proc/3112/task/3121/stat : 3121 (java) S 3110 3110 1212 0 -1 1077944384 416 0 0 0 8 4 0 0 20 0 28 0 511441521 29526937600 299523 33554432000 4194304 4196468 140736334658160 140197146695952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3122] ppid=3110 vsize=28834900 memory=0 CPUtime=0.03 cores=0-7
/proc/3112/task/3122/stat : 3122 (java) S 3110 3110 1212 0 -1 1077944384 2600 0 0 0 3 0 0 0 20 0 28 0 511441522 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195329448816 140197201455746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3123] ppid=3110 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3123/stat : 3123 (java) S 3110 3110 1212 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 511441523 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195328394848 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3124] ppid=3110 vsize=28834900 memory=0 CPUtime=0 cores=0-7
/proc/3112/task/3124/stat : 3124 (java) S 3110 3110 1212 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 511441523 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195327341952 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3125] ppid=3110 vsize=28834900 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/3112/task/3125/stat : 3125 (java) S 3110 3110 1212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511441525 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195326290256 140197201463195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3126] ppid=3110 vsize=28834900 memory=-8634980985311628903 CPUtime=2.24 cores=0-7
/proc/3112/task/3126/stat : 3126 (java) S 3110 3110 1212 0 -1 1077944384 9650 0 0 0 222 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195325237616 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3127] ppid=3110 vsize=28834900 memory=7100839878645619564 CPUtime=2.54 cores=0-7
/proc/3112/task/3127/stat : 3127 (java) S 3110 3110 1212 0 -1 1077944384 15091 0 0 0 251 3 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195324184816 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3128] ppid=3110 vsize=28834900 memory=3047711553320166262 CPUtime=2.44 cores=0-7
/proc/3112/task/3128/stat : 3128 (java) S 3110 3110 1212 0 -1 1077944384 12852 0 0 0 242 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195323132016 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3129] ppid=3110 vsize=28834900 memory=7100839852926015589 CPUtime=0.87 cores=0-7
/proc/3112/task/3129/stat : 3129 (java) S 3110 3110 1212 0 -1 1077944384 9559 0 0 0 85 2 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195322079216 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3130] ppid=3110 vsize=28834900 memory=7824336315716348491 CPUtime=0 cores=0-7
/proc/3112/task/3130/stat : 3130 (java) S 3110 3110 1212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511441526 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195321027680 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3131] ppid=3110 vsize=28834900 memory=7668893932357837674 CPUtime=0.08 cores=0-7
/proc/3112/task/3131/stat : 3131 (java) S 3110 3110 1212 0 -1 1077944384 832 0 0 0 0 8 0 0 20 0 28 0 511441527 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195319974960 140197201455746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3277] ppid=3110 vsize=28834900 memory=7163365887598224999 CPUtime=200.19 cores=0-7
/proc/3112/task/3277/stat : 3277 (java) S 3110 3110 1212 0 -1 1077944384 3124 0 0 0 20015 4 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195000927840 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3278] ppid=3110 vsize=28834900 memory=7235425766741203052 CPUtime=200.2 cores=0-7
/proc/3112/task/3278/stat : 3278 (java) S 3110 3110 1212 0 -1 1077944384 537 0 0 0 20020 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195001980320 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3279] ppid=3110 vsize=28834900 memory=7307769234004994368 CPUtime=198.87 cores=0-7
/proc/3112/task/3279/stat : 3279 (java) S 3110 3110 1212 0 -1 1077944384 3139 0 0 0 19885 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140195317453168 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3280] ppid=3110 vsize=28834900 memory=8514701219781834910 CPUtime=199.88 cores=0-7
/proc/3112/task/3280/stat : 3280 (java) R 3110 3110 1212 0 -1 4202560 3762 0 0 0 19975 13 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194997768624 140197187577770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3281] ppid=3110 vsize=28834900 memory=0 CPUtime=199.95 cores=0-7
/proc/3112/task/3281/stat : 3281 (java) S 3110 3110 1212 0 -1 1077944384 1640 0 0 0 19990 5 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194998821984 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3282] ppid=3110 vsize=28834900 memory=0 CPUtime=199.17 cores=0-7
/proc/3112/task/3282/stat : 3282 (java) S 3110 3110 1212 0 -1 1077944384 1803 0 0 0 19915 2 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194994611168 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3283] ppid=3110 vsize=28834900 memory=0 CPUtime=200.17 cores=0-7
/proc/3112/task/3283/stat : 3283 (java) R 3110 3110 1212 0 -1 4202560 2262 0 0 0 20014 3 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194996715056 140197201465946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
[pid=3112/tid=3284] ppid=3110 vsize=28834900 memory=0 CPUtime=197.96 cores=0-7
/proc/3112/task/3284/stat : 3284 (java) S 3110 3110 1212 0 -1 1077944384 475 0 0 0 19796 0 0 0 20 0 28 0 511441943 29526937600 299523 33554432000 4194304 4196468 140736334658160 140194995664608 140197201454805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33427456 140736334664662 140736334664838 140736334664838 140736334667727 0
Current children cumulated CPU time: 1623.18 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 1199540 KiB

Child status: 0
Real time (s): 204.617
CPU time (s): 1623.21
CPU user time (s): 1622.2
CPU system time (s): 1.00902
CPU usage (%): 793.29
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 1199540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1622.2
system time used= 1.00902
maximum resident set size= 1198092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90792
page faults= 0
swaps= 0
block input operations= 8
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10733
involuntary context switches= 19065


# summary of solver processes directly reported to runsolver:
#   pid: 3110
#   total CPU time (s): 1623.21
#   total CPU user time (s): 1622.2
#   total CPU system time (s): 1.00902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.71498 second user time and 2.49812 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 4407107

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
