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-16	SAT (TO)	310	2520.55	633.579
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 (14438 MiB free)
  memory of node 1: 16384 MiB (15409 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399306-1568698828/watcher-4399306-1568698828 -o /tmp/evaluation-result-4399306-1568698828/solver-4399306-1568698828 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568698770-20212 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1437923088 HOME/instance-4399306-1568698828.xml 

running on 4 cores: 1,3,5,7

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

solver pid=20532, runsolver pid=20529

[startup+0.101017 s]*
/proc/loadavg: 3.23 1.31 1.23 6/233 20548
/proc/meminfo: memFree=30546304/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15144776 memory=30016 CPUtime=0.13 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 5956 0 0 0 12 1 0 0 20 0 15 0 446044374 15508250624 7504 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3786194 7504 3147 1 0 3748377 0
[pid=20534/tid=20535] ppid=20532 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) S 20532 20532 20180 0 -1 1077944384 3827 0 0 0 9 0 0 0 20 0 15 0 446044374 15508250624 7504 33554432000 4194304 4196468 140729486261776 140031104255424 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 7504 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15144776 memory=139937365243994 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 7504 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044376 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044377 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030634771744 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044377 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030633719408 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044379 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) R 20532 20532 20180 0 -1 4202560 424 0 0 0 0 0 0 0 20 0 15 0 446044379 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030563567424 140031083529537 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) R 20532 20532 20180 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 446044379 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15144776 memory=139937361946240 CPUtime=0.02 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 446044379 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044380 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044380 15508250624 7504 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31468 KiB

[startup+0.21148 s]*
/proc/loadavg: 3.23 1.31 1.23 6/233 20548
/proc/meminfo: memFree=30533844/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15144776 memory=40832 CPUtime=0.35 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 9476 0 0 0 32 3 0 0 20 0 15 0 446044374 15508250624 10208 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3786194 10208 3261 1 0 3748377 0
[pid=20534/tid=20535] ppid=20532 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) R 20532 20532 20180 0 -1 4202560 6659 0 0 0 18 1 0 0 20 0 15 0 446044374 15508250624 10208 33554432000 4194304 4196468 140729486261776 140031104261600 140031100048445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15144776 memory=14643 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 10208 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15144776 memory=3474724470118409888 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 10208 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044375 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15144776 memory=139937361946240 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044376 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044377 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030634771744 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044377 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030633719408 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044379 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) S 20532 20532 20180 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 15 0 446044379 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030563575920 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) S 20532 20532 20180 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 446044379 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15144776 memory=139937361946240 CPUtime=0.08 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 749 0 0 0 8 0 0 0 20 0 15 0 446044379 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044380 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044380 15508250624 10208 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42284 KiB

[startup+0.310548 s]*
/proc/loadavg: 3.23 1.31 1.23 7/233 20548
/proc/meminfo: memFree=30526576/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15149032 memory=50380 CPUtime=0.53 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 10921 0 0 0 49 4 0 0 20 0 15 0 446044374 15512608768 12595 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3787258 12595 3365 1 0 3748377 0
[pid=20534/tid=20535] ppid=20532 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) R 20532 20532 20180 0 -1 4202560 7873 0 0 0 28 2 0 0 20 0 15 0 446044374 15512608768 12595 33554432000 4194304 4196468 140729486261776 140031104250216 140031100048541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15512608768 12595 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15512608768 12595 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044375 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044376 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044377 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030634771744 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044377 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030633719408 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044379 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) S 20532 20532 20180 0 -1 1077944384 548 0 0 0 4 0 0 0 20 0 15 0 446044379 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030563575920 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) S 20532 20532 20180 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 446044379 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 446044379 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044380 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044380 15512608768 12595 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51832 KiB

[startup+0.700764 s]
/proc/loadavg: 3.23 1.31 1.23 9/233 20548
/proc/meminfo: memFree=30503500/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15151156 memory=119092 CPUtime=1.8 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 14774 0 0 0 173 7 0 0 20 0 15 0 446044374 15514783744 29773 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3787789 29773 3449 1 0 3748889 0
[pid=20534/tid=20535] ppid=20532 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) R 20532 20532 20180 0 -1 4202560 8961 0 0 0 64 4 0 0 20 0 15 0 446044374 15514783744 29773 33554432000 4194304 4196468 140729486261776 140031104234912 140031092263742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15514783744 29773 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15514783744 29773 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044375 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446044375 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446044376 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15151156 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446044377 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030634771744 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446044377 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030633719408 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044379 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15151156 memory=1160 CPUtime=0.37 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) R 20532 20532 20180 0 -1 4202560 1413 0 0 0 37 0 0 0 20 0 15 0 446044379 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030563564480 140031079681521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15151156 memory=1720 CPUtime=0.38 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) R 20532 20532 20180 0 -1 4202560 1469 0 0 0 38 0 0 0 20 0 15 0 446044379 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030562503040 140031081553775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15151156 memory=1096 CPUtime=0.32 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) R 20532 20532 20180 0 -1 1077944384 1625 0 0 0 32 0 0 0 20 0 15 0 446044379 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15151156 memory=5988 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446044380 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446044380 15514783744 29773 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 120544 KiB

[startup+1.50708 s]
/proc/loadavg: 3.23 1.31 1.23 8/233 20548
/proc/meminfo: memFree=30378416/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0

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

/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 97898 0 0 0 231607 54 0 0 20 0 19 0 446044374 15923752960 211526 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3887635 211526 3525 1 0 3848735 0
[pid=20534/tid=20535] ppid=20532 vsize=15550540 memory=846104 CPUtime=1.33 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) S 20532 20532 20180 0 -1 1077944384 9632 0 0 0 128 5 0 0 20 0 19 0 446044374 15923752960 211526 33554432000 4194304 4196468 140729486261776 140031104267392 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15550540 memory=857396 CPUtime=0.15 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 3256 0 0 0 12 3 0 0 20 0 19 0 446044375 15923752960 211526 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15550540 memory=850208 CPUtime=0.16 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 2121 0 0 0 12 4 0 0 20 0 19 0 446044375 15923752960 211526 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15550540 memory=846104 CPUtime=0.15 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1778 0 0 0 12 3 0 0 20 0 19 0 446044375 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15550540 memory=846104 CPUtime=0.16 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 1846 0 0 0 13 3 0 0 20 0 19 0 446044375 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15550540 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 3678 0 0 0 5 1 0 0 20 0 19 0 446044376 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15550540 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030634771808 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15550540 memory=920 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030633719424 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15550540 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044379 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15550540 memory=848156 CPUtime=3.05 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) S 20532 20532 20180 0 -1 1077944384 21983 0 0 0 303 2 0 0 20 0 19 0 446044379 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030563575920 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15550540 memory=3588 CPUtime=2.87 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) S 20532 20532 20180 0 -1 1077944384 21858 0 0 0 285 2 0 0 20 0 19 0 446044379 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15550540 memory=7548 CPUtime=0.78 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 10034 0 0 0 76 2 0 0 20 0 19 0 446044379 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15550540 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044380 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15550540 memory=848156 CPUtime=0.18 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1038 0 0 0 0 18 0 0 20 0 19 0 446044380 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20723] ppid=20532 vsize=15550540 memory=1452 CPUtime=511.72 cores=1,3,5,7
/proc/20534/task/20723/stat : 20723 (java) R 20532 20532 20180 0 -1 4202560 944 0 0 0 51171 1 0 0 20 0 19 0 446051004 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030547225672 140030721656379 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20724] ppid=20532 vsize=15550540 memory=846104 CPUtime=514.49 cores=1,3,5,7
/proc/20534/task/20724/stat : 20724 (java) R 20532 20532 20180 0 -1 4202560 6325 0 0 0 51444 5 0 0 20 0 19 0 446051004 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030545124416 140030721100791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20725] ppid=20532 vsize=15550540 memory=848156 CPUtime=513 cores=1,3,5,7
/proc/20534/task/20725/stat : 20725 (java) R 20532 20532 20180 0 -1 4202560 887 0 0 0 51299 1 0 0 20 0 19 0 446051004 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030546174224 140030715728757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20726] ppid=20532 vsize=15550540 memory=1160 CPUtime=513.85 cores=1,3,5,7
/proc/20534/task/20726/stat : 20726 (java) R 20532 20532 20180 0 -1 4202560 3731 0 0 0 51379 6 0 0 20 0 19 0 446051004 15923752960 211526 33554432000 4194304 4196468 140729486261776 140030549331768 140030721168140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 2316.61 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 847556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+633.502 s]
/proc/loadavg: 8.56 7.56 4.77 9/239 20917
/proc/meminfo: memFree=29759688/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15550540 memory=838404 CPUtime=2520.25 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 99223 0 0 0 251971 54 0 0 20 0 19 0 446044374 15923752960 209601 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3887635 209601 3525 1 0 3848735 0
[pid=20534/tid=20535] ppid=20532 vsize=15550540 memory=838404 CPUtime=1.33 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) S 20532 20532 20180 0 -1 1077944384 9632 0 0 0 128 5 0 0 20 0 19 0 446044374 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031104267392 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.18 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 3397 0 0 0 15 3 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.2 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 2460 0 0 0 16 4 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.19 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1805 0 0 0 15 4 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15550540 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 1933 0 0 0 16 3 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.09 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 3949 0 0 0 7 2 0 0 20 0 19 0 446044376 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15550540 memory=838404 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030634771808 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15550540 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030633719424 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15550540 memory=838404 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15550540 memory=139937215743489 CPUtime=3.05 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) S 20532 20532 20180 0 -1 1077944384 21984 0 0 0 303 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030563575920 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15550540 memory=1452 CPUtime=2.87 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) S 20532 20532 20180 0 -1 1077944384 21864 0 0 0 285 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15550540 memory=1452 CPUtime=0.78 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 10036 0 0 0 76 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15550540 memory=3588 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044380 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15550540 memory=47904 CPUtime=0.2 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1055 0 0 0 0 20 0 0 20 0 19 0 446044380 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20723] ppid=20532 vsize=15550540 memory=1416 CPUtime=562.52 cores=1,3,5,7
/proc/20534/task/20723/stat : 20723 (java) R 20532 20532 20180 0 -1 4202560 1013 0 0 0 56251 1 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030547225616 140030723164935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20724] ppid=20532 vsize=15550540 memory=1556 CPUtime=565.54 cores=1,3,5,7
/proc/20534/task/20724/stat : 20724 (java) R 20532 20532 20180 0 -1 4202560 6551 0 0 0 56549 5 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030545124416 140030721100743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20725] ppid=20532 vsize=15550540 memory=984 CPUtime=563.69 cores=1,3,5,7
/proc/20534/task/20725/stat : 20725 (java) R 20532 20532 20180 0 -1 4202560 940 0 0 0 56367 2 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030546174336 140030715728791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20726] ppid=20532 vsize=15550540 memory=1940 CPUtime=564.8 cores=1,3,5,7
/proc/20534/task/20726/stat : 20726 (java) R 20532 20532 20180 0 -1 4202560 3817 0 0 0 56474 6 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030549331456 140030721656379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 2520.25 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 839856 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+633.536 s]
# the end of solver process 20532 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001111 s, system=0.001111 s

[startup+633.579 s]
# the end of solver process 20534 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.99 s, system=0.559063 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+633.502 s]
/proc/loadavg: 8.56 7.56 4.77 9/239 20917
/proc/meminfo: memFree=29759688/32770624 swapFree=67004312/67108860
[pid=20532] ppid=20529 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (xcsp3-exec) S 20529 20532 20180 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446044374 115843072 363 33554432000 4194304 5098028 140736048071872 140736048069976 140685159731836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8486912 140736048075642 140736048075885 140736048075885 140736048078794 0
/proc/20532/statm: 28282 363 304 221 0 87 0
[pid=20534] ppid=20532 vsize=15550540 memory=838404 CPUtime=2520.25 cores=1,3,5,7
/proc/20534/stat : 20534 (java) S 20532 20532 20180 0 -1 1077944320 99223 0 0 0 251971 54 0 0 20 0 19 0 446044374 15923752960 209601 33554432000 4194304 4196468 140729486261776 140729486244320 140031100026615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
/proc/20534/statm: 3887635 209601 3525 1 0 3848735 0
[pid=20534/tid=20535] ppid=20532 vsize=15550540 memory=838404 CPUtime=1.33 cores=1,3,5,7
/proc/20534/task/20535/stat : 20535 (java) S 20532 20532 20180 0 -1 1077944384 9632 0 0 0 128 5 0 0 20 0 19 0 446044374 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031104267392 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20536] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.18 cores=1,3,5,7
/proc/20534/task/20536/stat : 20536 (java) S 20532 20532 20180 0 -1 1077944384 3397 0 0 0 15 3 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031036262800 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20537] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.2 cores=1,3,5,7
/proc/20534/task/20537/stat : 20537 (java) S 20532 20532 20180 0 -1 1077944384 2460 0 0 0 16 4 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140031035210000 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20538] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.19 cores=1,3,5,7
/proc/20534/task/20538/stat : 20538 (java) S 20532 20532 20180 0 -1 1077944384 1805 0 0 0 15 4 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030689991312 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20539] ppid=20532 vsize=15550540 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/20534/task/20539/stat : 20539 (java) S 20532 20532 20180 0 -1 1077944384 1933 0 0 0 16 3 0 0 20 0 19 0 446044375 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030688938512 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20540] ppid=20532 vsize=15550540 memory=838404 CPUtime=0.09 cores=1,3,5,7
/proc/20534/task/20540/stat : 20540 (java) S 20532 20532 20180 0 -1 1077944384 3949 0 0 0 7 2 0 0 20 0 19 0 446044376 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030635825776 140031100037762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20541] ppid=20532 vsize=15550540 memory=838404 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20541/stat : 20541 (java) S 20532 20532 20180 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030634771808 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20542] ppid=20532 vsize=15550540 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20542/stat : 20542 (java) S 20532 20532 20180 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 446044377 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030633719424 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20543] ppid=20532 vsize=15550540 memory=838404 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20543/stat : 20543 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030632667728 140031100045211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20544] ppid=20532 vsize=15550540 memory=139937215743489 CPUtime=3.05 cores=1,3,5,7
/proc/20534/task/20544/stat : 20544 (java) S 20532 20532 20180 0 -1 1077944384 21984 0 0 0 303 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030563575920 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20545] ppid=20532 vsize=15550540 memory=1452 CPUtime=2.87 cores=1,3,5,7
/proc/20534/task/20545/stat : 20545 (java) S 20532 20532 20180 0 -1 1077944384 21864 0 0 0 285 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030562523120 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20546] ppid=20532 vsize=15550540 memory=1452 CPUtime=0.78 cores=1,3,5,7
/proc/20534/task/20546/stat : 20546 (java) S 20532 20532 20180 0 -1 1077944384 10036 0 0 0 76 2 0 0 20 0 19 0 446044379 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030561470832 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20547] ppid=20532 vsize=15550540 memory=3588 CPUtime=0 cores=1,3,5,7
/proc/20534/task/20547/stat : 20547 (java) S 20532 20532 20180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446044380 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030560418272 140031100036821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20548] ppid=20532 vsize=15550540 memory=47904 CPUtime=0.2 cores=1,3,5,7
/proc/20534/task/20548/stat : 20548 (java) S 20532 20532 20180 0 -1 1077944384 1055 0 0 0 0 20 0 0 20 0 19 0 446044380 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030559366064 140031100037762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20723] ppid=20532 vsize=15550540 memory=1416 CPUtime=562.52 cores=1,3,5,7
/proc/20534/task/20723/stat : 20723 (java) R 20532 20532 20180 0 -1 4202560 1013 0 0 0 56251 1 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030547225616 140030723164935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20724] ppid=20532 vsize=15550540 memory=1556 CPUtime=565.54 cores=1,3,5,7
/proc/20534/task/20724/stat : 20724 (java) R 20532 20532 20180 0 -1 4202560 6551 0 0 0 56549 5 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030545124416 140030721100743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20725] ppid=20532 vsize=15550540 memory=984 CPUtime=563.69 cores=1,3,5,7
/proc/20534/task/20725/stat : 20725 (java) R 20532 20532 20180 0 -1 4202560 940 0 0 0 56367 2 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030546174336 140030715728791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
[pid=20534/tid=20726] ppid=20532 vsize=15550540 memory=1940 CPUtime=564.8 cores=1,3,5,7
/proc/20534/task/20726/stat : 20726 (java) R 20532 20532 20180 0 -1 4202560 3817 0 0 0 56474 6 0 0 20 0 19 0 446051004 15923752960 209601 33554432000 4194304 4196468 140729486261776 140030549331456 140030721656379 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140729486263279 140729486263450 140729486263450 140729486266319 0
Current children cumulated CPU time: 2520.25 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 839856 KiB

Child status: 143
Real time (s): 633.579
CPU time (s): 2520.55
CPU user time (s): 2519.99
CPU system time (s): 0.559063
CPU usage (%): 397.827
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 1146132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.559063
maximum resident set size= 1158552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18839
involuntary context switches= 42314


# summary of solver processes directly reported to runsolver:
#   pid: 20532,20534
#   total CPU time (s): 2520.55
#   total CPU user time (s): 2519.99
#   total CPU system time (s): 0.559063

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.92651 second user time and 7.20119 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9938
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4399306

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
