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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	107.262	16.1581
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 (15050 MiB free)
  memory of node 1: 16384 MiB (15662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271023-1502696444/watcher-4271023-1502696444 -o /tmp/evaluation-result-4271023-1502696444/solver-4271023-1502696444 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502695517-30050 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1145772078 HOME/instance-4271023-1502696444.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=32183, runsolver pid=32180
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 4.67 7.23 7.67 2/199 32204
/proc/meminfo: memFree=31434404/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=25999808 memory=26748 CPUtime=0.11 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 5640 0 0 0 10 1 0 0 20 0 20 0 102732191 26623803392 6687 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6499952 6687 2843 1 0 6488269 0
[pid=32185/tid=32186] ppid=32183 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) R 32183 32183 30023 0 -1 4202560 3634 0 0 0 8 0 0 0 20 0 20 0 102732191 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306448144000 140306443935126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=25999808 memory=140689506141824 CPUtime=0 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32190] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32190/stat : 32190 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306393385872 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32191] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32191/stat : 32191 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306392332816 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32192] ppid=32183 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32192/stat : 32192 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306391280272 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32193] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32193/stat : 32193 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306390227216 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32194] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32194/stat : 32194 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26623803392 6687 33554432000 4194304 4196468 140732442494480 140306389174672 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32195] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32195/stat : 32195 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732193 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304715324144 140306443934338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32196] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32196/stat : 32196 (java) S 32183 32183 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102732194 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304714270368 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32197] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32197/stat : 32197 (java) S 32183 32183 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102732194 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304713217264 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32198] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32198/stat : 32198 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732196 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304712165840 140306443941787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32199] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32199/stat : 32199 (java) R 32183 32183 30023 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 20 0 102732196 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304711112944 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32200] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32200/stat : 32200 (java) R 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732196 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304710060400 140306443934338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32201] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32201/stat : 32201 (java) S 32183 32183 30023 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 102732197 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304709007344 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32202] ppid=32183 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) S 32183 32183 30023 0 -1 1077944384 251 0 0 0 1 0 0 0 20 0 20 0 102732197 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304707954800 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732197 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732197 26623803392 6687 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28128 KiB

[startup+0.210097 s]*
/proc/loadavg: 4.67 7.23 7.67 2/199 32204
/proc/meminfo: memFree=31423240/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=26004064 memory=39020 CPUtime=0.33 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 8353 0 0 0 30 3 0 0 20 0 20 0 102732191 26628161536 9755 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6501016 9755 3060 1 0 6488269 0
[pid=32185/tid=32186] ppid=32183 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) R 32183 32183 30023 0 -1 1077944384 5457 0 0 0 18 1 0 0 20 0 20 0 102732191 26628161536 9755 33554432000 4194304 4196468 140732442494480 140306448125024 140306436602413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=26004096 memory=329 CPUtime=0 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628194304 9755 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=26004096 memory=4050626318869300896 CPUtime=0 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628194304 9755 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732192 26628194304 9755 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32190] ppid=32183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32190/stat : 32190 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628194304 9755 33554432000 4194304 4196468 140732442494480 140306393385872 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32191] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32191/stat : 32191 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 9755 33554432000 4194304 4196468 140732442494480 140306392332816 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32192] ppid=32183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32192/stat : 32192 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 9755 33554432000 4194304 4196468 140732442494480 140306391280272 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32193] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32193/stat : 32193 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 9755 33554432000 4194304 4196468 140732442494480 140306390227216 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32194] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32194/stat : 32194 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 9755 33554432000 4194304 4196468 140732442494480 140306389174672 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32195] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32195/stat : 32195 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732193 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304715324144 140306443934338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32196] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32196/stat : 32196 (java) S 32183 32183 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102732194 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304714270368 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32197] ppid=32183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32197/stat : 32197 (java) S 32183 32183 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102732194 26628194304 9755 33554432000 4194304 4196468 140732442494480 140304713217264 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32198] ppid=32183 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32198/stat : 32198 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732196 26628194304 9755 33554432000 4194304 4196468 140732442494480 140304712165840 140306443941787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32199] ppid=32183 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/32185/task/32199/stat : 32199 (java) S 32183 32183 30023 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 102732196 26628194304 9755 33554432000 4194304 4196468 140732442494480 140304711112944 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32200] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32200/stat : 32200 (java) S 32183 32183 30023 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 20 0 102732196 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304710060400 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32201] ppid=32183 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/32185/task/32201/stat : 32201 (java) S 32183 32183 30023 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 20 0 102732197 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304709007344 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32202] ppid=32183 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) S 32183 32183 30023 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 20 0 102732197 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304707954800 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732197 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732197 26628161536 9755 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40400 KiB

[startup+0.309491 s]*
/proc/loadavg: 4.67 7.23 7.67 3/199 32204
/proc/meminfo: memFree=31418836/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=26004064 memory=44216 CPUtime=0.5 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 9260 0 0 0 46 4 0 0 20 0 20 0 102732191 26628161536 11054 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6501016 11054 3112 1 0 6488269 0
[pid=32185/tid=32186] ppid=32183 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) R 32183 32183 30023 0 -1 4202560 6092 0 0 0 27 2 0 0 20 0 20 0 102732191 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306448161216 140306443945117 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32190] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32190/stat : 32190 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306393385872 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32191] ppid=32183 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32185/task/32191/stat : 32191 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306392332816 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32192] ppid=32183 vsize=26004064 memory=140689371394991 CPUtime=0 cores=0-7
/proc/32185/task/32192/stat : 32192 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306391280272 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32193] ppid=32183 vsize=26004064 memory=140689371397296 CPUtime=0 cores=0-7
/proc/32185/task/32193/stat : 32193 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306390227216 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32194] ppid=32183 vsize=26004064 memory=140689371399600 CPUtime=0 cores=0-7
/proc/32185/task/32194/stat : 32194 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628161536 11054 33554432000 4194304 4196468 140732442494480 140306389174672 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32195] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32195/stat : 32195 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732193 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304715324144 140306443934338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32196] ppid=32183 vsize=26004064 memory=281378742806160 CPUtime=0 cores=0-7
/proc/32185/task/32196/stat : 32196 (java) S 32183 32183 30023 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102732194 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304714270368 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32197] ppid=32183 vsize=26004064 memory=281378742813072 CPUtime=0 cores=0-7
/proc/32185/task/32197/stat : 32197 (java) S 32183 32183 30023 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102732194 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304713217264 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32198] ppid=32183 vsize=26004064 memory=281378742754352 CPUtime=0 cores=0-7
/proc/32185/task/32198/stat : 32198 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732196 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304712165840 140306443941787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32199] ppid=32183 vsize=26004064 memory=281378742826896 CPUtime=0.02 cores=0-7
/proc/32185/task/32199/stat : 32199 (java) S 32183 32183 30023 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 102732196 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304711112944 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32200] ppid=32183 vsize=26004064 memory=281378742833808 CPUtime=0.01 cores=0-7
/proc/32185/task/32200/stat : 32200 (java) S 32183 32183 30023 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 102732196 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304710060400 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32201] ppid=32183 vsize=26004064 memory=281378742831504 CPUtime=0.02 cores=0-7
/proc/32185/task/32201/stat : 32201 (java) S 32183 32183 30023 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 20 0 102732197 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304709007344 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32202] ppid=32183 vsize=26004064 memory=281378742847664 CPUtime=0.12 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) R 32183 32183 30023 0 -1 4202560 861 0 0 0 12 0 0 0 20 0 20 0 102732197 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304707952464 140306428003678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732197 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732197 26628161536 11054 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45596 KiB

[startup+0.700904 s]
/proc/loadavg: 4.67 7.23 7.67 3/199 32204
/proc/meminfo: memFree=31392888/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=26004140 memory=114596 CPUtime=1.71 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 13000 0 0 0 166 5 0 0 20 0 20 0 102732191 26628239360 28649 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6501035 28649 3200 1 0 6488269 0
[pid=32185/tid=32186] ppid=32183 vsize=26004140 memory=281378743205552 CPUtime=0.67 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) R 32183 32183 30023 0 -1 4202560 6444 0 0 0 64 3 0 0 20 0 20 0 102732191 26628239360 28649 33554432000 4194304 4196468 140732442494480 140306448161744 140306062278932 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=26004140 memory=140689371603824 CPUtime=0 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102732192 26628239360 28649 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102732192 26628239360 28649 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102732192 26628239360 28649 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0

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

[pid=32185/tid=32202] ppid=32183 vsize=26538700 memory=281378744303584 CPUtime=0.66 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) S 32183 32183 30023 0 -1 1077944384 3477 0 0 0 65 1 0 0 20 0 28 0 102732197 27175628800 230440 33554432000 4194304 4196468 140732442494480 140304707954800 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=26538700 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230440 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=26538700 memory=7307484499081192276 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 692 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230440 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32205] ppid=32183 vsize=26538700 memory=4639924115538006630 CPUtime=11.24 cores=0-7
/proc/32185/task/32205/stat : 32205 (java) R 32183 32183 30023 0 -1 4202560 375 0 0 0 1123 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140304704789072 140306069401234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32206] ppid=32183 vsize=26538700 memory=7811884324351730772 CPUtime=11.3 cores=0-7
/proc/32185/task/32206/stat : 32206 (java) R 32183 32183 30023 0 -1 4202560 252 0 0 0 1129 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303958626240 140306069401034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32207] ppid=32183 vsize=26538700 memory=6153433744107136616 CPUtime=11.51 cores=0-7
/proc/32185/task/32207/stat : 32207 (java) R 32183 32183 30023 0 -1 4202560 1416 0 0 0 1150 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303957575512 140306069401113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32208] ppid=32183 vsize=26538700 memory=7230638415855315543 CPUtime=11.25 cores=0-7
/proc/32185/task/32208/stat : 32208 (java) R 32183 32183 30023 0 -1 4202560 530 0 0 0 1124 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303956520840 140306069400935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32209] ppid=32183 vsize=26538700 memory=0 CPUtime=11.42 cores=0-7
/proc/32185/task/32209/stat : 32209 (java) R 32183 32183 30023 0 -1 4202560 553 0 0 0 1141 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303955467672 140306069401244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32210] ppid=32183 vsize=26538700 memory=831 CPUtime=11.28 cores=0-7
/proc/32185/task/32210/stat : 32210 (java) R 32183 32183 30023 0 -1 4202560 340 0 0 0 1128 0 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303954415008 140306069401244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32211] ppid=32183 vsize=26538700 memory=0 CPUtime=11.3 cores=0-7
/proc/32185/task/32211/stat : 32211 (java) R 32183 32183 30023 0 -1 4202560 231 0 0 0 1130 0 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303953363024 140306069401244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32212] ppid=32183 vsize=26538700 memory=2241 CPUtime=11.52 cores=0-7
/proc/32185/task/32212/stat : 32212 (java) R 32183 32183 30023 0 -1 4202560 420 0 0 0 1151 1 0 0 20 0 28 0 102732549 27175628800 230440 33554432000 4194304 4196468 140732442494480 140303952310616 140306070313627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 103.41 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 923140 KiB

[startup+16.0015 s]*
/proc/loadavg: 5.01 7.17 7.64 10/207 32212
/proc/meminfo: memFree=30540616/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=26538700 memory=921784 CPUtime=106.67 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 38861 0 0 0 10542 125 0 0 20 0 28 0 102732191 27175628800 230446 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6634675 230446 3286 1 0 6621909 0
[pid=32185/tid=32186] ppid=32183 vsize=26538700 memory=6791534058613427641 CPUtime=3.4 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) S 32183 32183 30023 0 -1 1077944384 7364 0 0 0 331 9 0 0 20 0 28 0 102732191 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306448163968 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=26538700 memory=-8033973626532799130 CPUtime=0.43 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 448 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=26538700 memory=-5153075247754915967 CPUtime=0.44 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 526 0 0 0 32 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=26538700 memory=7595429985690150511 CPUtime=0.43 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 314 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32190] ppid=32183 vsize=26538700 memory=8028062586591603046 CPUtime=0.42 cores=0-7
/proc/32185/task/32190/stat : 32190 (java) S 32183 32183 30023 0 -1 1077944384 368 0 0 0 31 11 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306393385872 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32191] ppid=32183 vsize=26538700 memory=276595893926798 CPUtime=0.43 cores=0-7
/proc/32185/task/32191/stat : 32191 (java) S 32183 32183 30023 0 -1 1077944384 1086 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306392332816 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32192] ppid=32183 vsize=26538700 memory=7229777567055768916 CPUtime=0.44 cores=0-7
/proc/32185/task/32192/stat : 32192 (java) S 32183 32183 30023 0 -1 1077944384 329 0 0 0 32 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306391280272 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32193] ppid=32183 vsize=26538700 memory=5865189100493433426 CPUtime=0.45 cores=0-7
/proc/32185/task/32193/stat : 32193 (java) S 32183 32183 30023 0 -1 1077944384 460 0 0 0 33 12 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306390227216 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32194] ppid=32183 vsize=26538700 memory=7596005129154749777 CPUtime=0.44 cores=0-7
/proc/32185/task/32194/stat : 32194 (java) S 32183 32183 30023 0 -1 1077944384 378 0 0 0 33 11 0 0 20 0 28 0 102732192 27175628800 230446 33554432000 4194304 4196468 140732442494480 140306389174672 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32195] ppid=32183 vsize=26538700 memory=281378743289124 CPUtime=0.04 cores=0-7
/proc/32185/task/32195/stat : 32195 (java) S 32183 32183 30023 0 -1 1077944384 3549 0 0 0 3 1 0 0 20 0 28 0 102732193 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304715324144 140306443934338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32196] ppid=32183 vsize=26538700 memory=281378743738752 CPUtime=0 cores=0-7
/proc/32185/task/32196/stat : 32196 (java) S 32183 32183 30023 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 102732194 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304714270432 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32197] ppid=32183 vsize=26538700 memory=2111039978750596 CPUtime=0 cores=0-7
/proc/32185/task/32197/stat : 32197 (java) S 32183 32183 30023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 102732194 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304713217280 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32198] ppid=32183 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32198/stat : 32198 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102732196 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304712165840 140306443941787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32199] ppid=32183 vsize=26538700 memory=6944656575208382560 CPUtime=1.35 cores=0-7
/proc/32185/task/32199/stat : 32199 (java) S 32183 32183 30023 0 -1 1077944384 4692 0 0 0 133 2 0 0 20 0 28 0 102732196 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304711112944 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32200] ppid=32183 vsize=26538700 memory=0 CPUtime=1.6 cores=0-7
/proc/32185/task/32200/stat : 32200 (java) S 32183 32183 30023 0 -1 1077944384 3683 0 0 0 159 1 0 0 20 0 28 0 102732196 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304710060400 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32201] ppid=32183 vsize=26538700 memory=1296 CPUtime=1.84 cores=0-7
/proc/32185/task/32201/stat : 32201 (java) R 32183 32183 30023 0 -1 1077944384 5200 0 0 0 183 1 0 0 20 0 28 0 102732197 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304709007344 140306443934338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32202] ppid=32183 vsize=26538700 memory=2416 CPUtime=0.66 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) S 32183 32183 30023 0 -1 1077944384 3874 0 0 0 65 1 0 0 20 0 28 0 102732197 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304707954800 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 709 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32205] ppid=32183 vsize=26538700 memory=1716 CPUtime=11.64 cores=0-7
/proc/32185/task/32205/stat : 32205 (java) R 32183 32183 30023 0 -1 4202560 392 0 0 0 1163 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140304704789072 140306069401040 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32206] ppid=32183 vsize=26538700 memory=1948 CPUtime=11.71 cores=0-7
/proc/32185/task/32206/stat : 32206 (java) R 32183 32183 30023 0 -1 4202560 259 0 0 0 1170 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303958626376 140306069401244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32207] ppid=32183 vsize=26538700 memory=8564 CPUtime=11.91 cores=0-7
/proc/32185/task/32207/stat : 32207 (java) R 32183 32183 30023 0 -1 4202560 1564 0 0 0 1190 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303957575512 140306070313504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32208] ppid=32183 vsize=26538700 memory=1228 CPUtime=11.65 cores=0-7
/proc/32185/task/32208/stat : 32208 (java) R 32183 32183 30023 0 -1 4202560 669 0 0 0 1164 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303956522952 140306069401317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32209] ppid=32183 vsize=26538700 memory=12028 CPUtime=11.83 cores=0-7
/proc/32185/task/32209/stat : 32209 (java) R 32183 32183 30023 0 -1 4202560 630 0 0 0 1182 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303955470104 140306070366461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32210] ppid=32183 vsize=26538700 memory=5668 CPUtime=11.69 cores=0-7
/proc/32185/task/32210/stat : 32210 (java) R 32183 32183 30023 0 -1 4202560 380 0 0 0 1169 0 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303954415144 140306069401244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32211] ppid=32183 vsize=26538700 memory=1008 CPUtime=11.71 cores=0-7
/proc/32185/task/32211/stat : 32211 (java) R 32183 32183 30023 0 -1 4202560 247 0 0 0 1171 0 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303953363160 140306069401262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32212] ppid=32183 vsize=26538700 memory=4612 CPUtime=11.92 cores=0-7
/proc/32185/task/32212/stat : 32212 (java) R 32183 32183 30023 0 -1 4202560 430 0 0 0 1191 1 0 0 20 0 28 0 102732549 27175628800 230446 33554432000 4194304 4196468 140732442494480 140303952310616 140306069401262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 106.67 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 923164 KiB

[startup+16.1104 s]
/proc/loadavg: 5.01 7.17 7.64 10/207 32212
/proc/meminfo: memFree=30540616/32770624 swapFree=67108860/67108860
[pid=32183] ppid=32180 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/32183/stat : 32183 (xcsp3-exec) S 32180 32183 30023 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 102732191 9740288 345 33554432000 4194304 5098028 140734862630992 140734862629096 139765089501820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36429824 140734862632036 140734862632247 140734862632247 140734862634987 0
/proc/32183/statm: 2378 345 289 221 0 87 0
[pid=32185] ppid=32183 vsize=26538700 memory=921828 CPUtime=107.2 cores=0-7
/proc/32185/stat : 32185 (java) S 32183 32183 30023 0 -1 1077944320 39623 0 0 0 10595 125 0 0 20 0 28 0 102732191 27175628800 230457 33554432000 4194304 4196468 140732442494480 140732442477024 140306443923191 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
/proc/32185/statm: 6634675 230457 3286 1 0 6621909 0
[pid=32185/tid=32186] ppid=32183 vsize=26538700 memory=1380 CPUtime=3.4 cores=0-7
/proc/32185/task/32186/stat : 32186 (java) S 32183 32183 30023 0 -1 1077944384 7364 0 0 0 331 9 0 0 20 0 28 0 102732191 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306448163968 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32187] ppid=32183 vsize=26538700 memory=921760 CPUtime=0.43 cores=0-7
/proc/32185/task/32187/stat : 32187 (java) S 32183 32183 30023 0 -1 1077944384 448 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306396544016 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32188] ppid=32183 vsize=26538700 memory=1380 CPUtime=0.44 cores=0-7
/proc/32185/task/32188/stat : 32188 (java) S 32183 32183 30023 0 -1 1077944384 526 0 0 0 32 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306395491472 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32189] ppid=32183 vsize=26538700 memory=921736 CPUtime=0.43 cores=0-7
/proc/32185/task/32189/stat : 32189 (java) S 32183 32183 30023 0 -1 1077944384 314 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306394438416 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32190] ppid=32183 vsize=26538700 memory=2340 CPUtime=0.42 cores=0-7
/proc/32185/task/32190/stat : 32190 (java) S 32183 32183 30023 0 -1 1077944384 368 0 0 0 31 11 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306393385872 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32191] ppid=32183 vsize=26538700 memory=1380 CPUtime=0.43 cores=0-7
/proc/32185/task/32191/stat : 32191 (java) S 32183 32183 30023 0 -1 1077944384 1086 0 0 0 31 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306392332816 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32192] ppid=32183 vsize=26538700 memory=921484 CPUtime=0.44 cores=0-7
/proc/32185/task/32192/stat : 32192 (java) S 32183 32183 30023 0 -1 1077944384 329 0 0 0 32 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306391280272 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32193] ppid=32183 vsize=26538700 memory=6082483371531194449 CPUtime=0.45 cores=0-7
/proc/32185/task/32193/stat : 32193 (java) S 32183 32183 30023 0 -1 1077944384 460 0 0 0 33 12 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306390227216 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32194] ppid=32183 vsize=26538700 memory=921184 CPUtime=0.44 cores=0-7
/proc/32185/task/32194/stat : 32194 (java) S 32183 32183 30023 0 -1 1077944384 378 0 0 0 33 11 0 0 20 0 28 0 102732192 27175628800 230457 33554432000 4194304 4196468 140732442494480 140306389174672 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32195] ppid=32183 vsize=26538700 memory=920996 CPUtime=0.04 cores=0-7
/proc/32185/task/32195/stat : 32195 (java) S 32183 32183 30023 0 -1 1077944384 3609 0 0 0 3 1 0 0 20 0 28 0 102732193 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304715324144 140306443934338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32196] ppid=32183 vsize=26538700 memory=920 CPUtime=0 cores=0-7
/proc/32185/task/32196/stat : 32196 (java) S 32183 32183 30023 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 102732194 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304714270432 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32197] ppid=32183 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32197/stat : 32197 (java) S 32183 32183 30023 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 102732194 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304713217280 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32198] ppid=32183 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32198/stat : 32198 (java) S 32183 32183 30023 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 102732196 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304712165840 140306443941787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32199] ppid=32183 vsize=26538700 memory=353 CPUtime=1.35 cores=0-7
/proc/32185/task/32199/stat : 32199 (java) S 32183 32183 30023 0 -1 1077944384 4726 0 0 0 133 2 0 0 20 0 28 0 102732196 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304711112944 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32200] ppid=32183 vsize=26538700 memory=921256 CPUtime=1.61 cores=0-7
/proc/32185/task/32200/stat : 32200 (java) S 32183 32183 30023 0 -1 1077944384 3774 0 0 0 160 1 0 0 20 0 28 0 102732196 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304710060400 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32201] ppid=32183 vsize=26538700 memory=921212 CPUtime=1.86 cores=0-7
/proc/32185/task/32201/stat : 32201 (java) S 32183 32183 30023 0 -1 1077944384 5604 0 0 0 185 1 0 0 20 0 28 0 102732197 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304709007344 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32202] ppid=32183 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/32185/task/32202/stat : 32202 (java) S 32183 32183 30023 0 -1 1077944384 3893 0 0 0 65 1 0 0 20 0 28 0 102732197 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304707954800 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32203] ppid=32183 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32185/task/32203/stat : 32203 (java) S 32183 32183 30023 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304706903008 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32204] ppid=32183 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/32185/task/32204/stat : 32204 (java) S 32183 32183 30023 0 -1 1077944384 709 0 0 0 0 0 0 0 20 0 28 0 102732197 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304705850544 140306443934338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32205] ppid=32183 vsize=26538700 memory=7381235285191251809 CPUtime=11.72 cores=0-7
/proc/32185/task/32205/stat : 32205 (java) S 32183 32183 30023 0 -1 1077944384 402 0 0 0 1171 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140304704794448 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32206] ppid=32183 vsize=26538700 memory=7381235285191251809 CPUtime=11.81 cores=0-7
/proc/32185/task/32206/stat : 32206 (java) R 32183 32183 30023 0 -1 4202560 260 0 0 0 1180 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303958626192 140306070313668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32207] ppid=32183 vsize=26538700 memory=7381235285191251809 CPUtime=11.97 cores=0-7
/proc/32185/task/32207/stat : 32207 (java) S 32183 32183 30023 0 -1 1077944384 1566 0 0 0 1196 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303957578704 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32208] ppid=32183 vsize=26538700 memory=6791534058613427641 CPUtime=11.69 cores=0-7
/proc/32185/task/32208/stat : 32208 (java) S 32183 32183 30023 0 -1 1077944384 670 0 0 0 1168 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303956526160 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32209] ppid=32183 vsize=26538700 memory=29272 CPUtime=11.85 cores=0-7
/proc/32185/task/32209/stat : 32209 (java) S 32183 32183 30023 0 -1 1077944384 713 0 0 0 1184 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303955473104 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32210] ppid=32183 vsize=26538700 memory=1296 CPUtime=11.77 cores=0-7
/proc/32185/task/32210/stat : 32210 (java) S 32183 32183 30023 0 -1 1077944384 380 0 0 0 1177 0 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303954420560 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32211] ppid=32183 vsize=26538700 memory=2416 CPUtime=11.8 cores=0-7
/proc/32185/task/32211/stat : 32211 (java) S 32183 32183 30023 0 -1 1077944384 267 0 0 0 1180 0 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303953368528 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
[pid=32185/tid=32212] ppid=32183 vsize=26538700 memory=1728 CPUtime=11.96 cores=0-7
/proc/32185/task/32212/stat : 32212 (java) S 32183 32183 30023 0 -1 1077944384 458 0 0 0 1195 1 0 0 20 0 28 0 102732549 27175628800 230457 33554432000 4194304 4196468 140732442494480 140303952315984 140306443933397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25993216 140732442498194 140732442498371 140732442498371 140732442501071 0
Current children cumulated CPU time: 107.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 923208 KiB

Child status: 0
Real time (s): 16.1581
CPU time (s): 107.262
CPU user time (s): 105.985
CPU system time (s): 1.2769
CPU usage (%): 663.825
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 923208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.985
system time used= 1.2769
maximum resident set size= 922520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41193
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5048
involuntary context switches= 1763


# summary of solver processes directly reported to runsolver:
#   pid: 32183
#   total CPU time (s): 107.262
#   total CPU user time (s): 105.985
#   total CPU system time (s): 1.2769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162652 second user time and 0.216967 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective
Trace number 4271023

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
