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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	331	939.287	236.361
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 (13685 MiB free)
  memory of node 1: 16384 MiB (15483 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394247-1568331992/watcher-4394247-1568331992 -o /tmp/evaluation-result-4394247-1568331992/solver-4394247-1568331992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 484028939 HOME/instance-4394247-1568331992.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=9331, runsolver pid=9328
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 7.97 7.54 7.43 7/233 9347
/proc/meminfo: memFree=29851344/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15144768 memory=29916 CPUtime=0.12 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 5975 0 0 0 11 1 0 0 20 0 15 0 409470656 15508242432 7479 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3786192 7479 3122 1 0 3748377 0
[pid=9333/tid=9334] ppid=9331 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) R 9331 9331 25300 0 -1 4202560 3869 0 0 0 8 1 0 0 20 0 15 0 409470656 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916635381776 139916631179866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15144768 memory=140288075851392 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15144768 memory=140288075851392 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409470658 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409470659 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916098717344 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409470659 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916097664240 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) R 9331 9331 25300 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15144768 memory=140288075851392 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) R 9331 9331 25300 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 409470661 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916093454320 139916631170454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15144768 memory=140288075851392 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470662 15508242432 7545 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31368 KiB

[startup+0.211621 s]*
/proc/loadavg: 7.97 7.54 7.43 8/233 9347
/proc/meminfo: memFree=29838588/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15144768 memory=41012 CPUtime=0.34 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 9487 0 0 0 31 3 0 0 20 0 15 0 409470656 15508242432 10253 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3786192 10253 3263 1 0 3748377 0
[pid=9333/tid=9334] ppid=9331 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) R 9331 9331 25300 0 -1 4202560 6685 0 0 0 18 2 0 0 20 0 15 0 409470656 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916635393504 139916631170454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15144768 memory=140288079024350 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409470657 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409470658 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409470659 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916098717344 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15144768 memory=140288075851392 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409470659 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916097664240 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) S 9331 9331 25300 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 409470661 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 409470661 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) R 9331 9331 25300 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 15 0 409470661 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916093454320 139916609831022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470662 15508242432 10253 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42464 KiB

[startup+0.310606 s]*
/proc/loadavg: 7.97 7.54 7.43 7/233 9347
/proc/meminfo: memFree=29831688/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15149024 memory=50136 CPUtime=0.52 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 10890 0 0 0 48 4 0 0 20 0 15 0 409470656 15512600576 12534 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3787256 12534 3337 1 0 3748377 0
[pid=9333/tid=9334] ppid=9331 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) R 9331 9331 25300 0 -1 4202560 7851 0 0 0 27 3 0 0 20 0 15 0 409470656 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916635395536 139916615239006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409470657 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409470658 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409470659 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916098717344 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409470659 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916097664240 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15149024 memory=-1751206868705893467 CPUtime=0.04 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) S 9331 9331 25300 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 409470661 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15149024 memory=7680491646476169235 CPUtime=0.04 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 393 0 0 0 4 0 0 0 20 0 15 0 409470661 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15149024 memory=7088771780547993696 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) S 9331 9331 25300 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 409470661 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916093454320 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470662 15512600576 12540 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51588 KiB

[startup+0.700827 s]
/proc/loadavg: 7.97 7.54 7.43 9/233 9347
/proc/meminfo: memFree=29809844/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15151148 memory=123728 CPUtime=1.78 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 13915 0 0 0 172 6 0 0 20 0 15 0 409470656 15514775552 30932 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3787787 30932 3450 1 0 3748889 0
[pid=9333/tid=9334] ppid=9331 vsize=15151148 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) R 9331 9331 25300 0 -1 4202560 8415 0 0 0 64 4 0 0 20 0 15 0 409470656 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916635396992 139916616528418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470657 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15151148 memory=70 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409470657 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15151148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409470658 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15151148 memory=14323715934760 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409470659 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916098717344 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15151148 memory=2958624 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409470659 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916097664240 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15151148 memory=2966641 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15151148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) R 9331 9331 25300 0 -1 4202560 1256 0 0 0 38 0 0 0 20 0 15 0 409470661 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916095553112 139916616266204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15151148 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) R 9331 9331 25300 0 -1 4202560 1281 0 0 0 38 0 0 0 20 0 15 0 409470661 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916094493256 139916616080286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15151148 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) S 9331 9331 25300 0 -1 1077944384 1656 0 0 0 31 0 0 0 20 0 15 0 409470661 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916093454320 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409470661 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409470662 15514775552 30932 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 125180 KiB

[startup+1.50163 s]
/proc/loadavg: 7.97 7.54 7.43 10/233 9347
/proc/meminfo: memFree=29686040/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0

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

/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 658 0 0 0 0 9 0 0 20 0 19 0 409470662 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9376] ppid=9331 vsize=15483968 memory=6352 CPUtime=227.98 cores=1,3,5,7
/proc/9333/task/9376/stat : 9376 (java) R 9331 9331 25300 0 -1 4202560 571 0 0 0 22798 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916082138272 139916233919243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9377] ppid=9331 vsize=15483968 memory=504 CPUtime=228.24 cores=1,3,5,7
/proc/9333/task/9377/stat : 9377 (java) R 9331 9331 25300 0 -1 4202560 5167 0 0 0 22816 8 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916077931312 139916233919094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9378] ppid=9331 vsize=15483968 memory=1564 CPUtime=227.08 cores=1,3,5,7
/proc/9333/task/9378/stat : 9378 (java) R 9331 9331 25300 0 -1 4202560 530 0 0 0 22708 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916081086728 139916233749334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9379] ppid=9331 vsize=15483968 memory=924 CPUtime=227.78 cores=1,3,5,7
/proc/9333/task/9379/stat : 9379 (java) R 9331 9331 25300 0 -1 4202560 2029 0 0 0 22774 4 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916078981000 139916233918970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 934.69 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 1134248 KiB

[startup+236.002 s]*
/proc/loadavg: 8.14 7.95 7.63 9/238 9402
/proc/meminfo: memFree=28721952/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15483968 memory=1132796 CPUtime=937.91 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 63360 0 0 0 93747 44 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3870992 283199 3522 1 0 3832094 0
[pid=9333/tid=9334] ppid=9331 vsize=15483968 memory=1398720917958146503 CPUtime=1.38 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) S 9331 9331 25300 0 -1 1077944384 9373 0 0 0 132 6 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916635399296 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15483968 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 3349 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15483968 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1211 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0.13 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 2304 0 0 0 10 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15483968 memory=4126316290023845779 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 1038 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15483968 memory=20364 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 2020 0 0 0 2 0 0 0 20 0 19 0 409470658 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15483968 memory=984 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916098717408 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15483968 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916097664256 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15483968 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15483968 memory=1564 CPUtime=2.58 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) S 9331 9331 25300 0 -1 1077944384 13305 0 0 0 257 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15483968 memory=976 CPUtime=2.81 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 11911 0 0 0 279 2 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15483968 memory=772 CPUtime=0.78 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) S 9331 9331 25300 0 -1 1077944384 7143 0 0 0 77 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916093454320 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15483968 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15483968 memory=2832 CPUtime=0.09 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 658 0 0 0 0 9 0 0 20 0 19 0 409470662 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9376] ppid=9331 vsize=15483968 memory=1548 CPUtime=228.78 cores=1,3,5,7
/proc/9333/task/9376/stat : 9376 (java) R 9331 9331 25300 0 -1 4202560 571 0 0 0 22878 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916082138272 139916233919040 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9377] ppid=9331 vsize=15483968 memory=1056 CPUtime=229.05 cores=1,3,5,7
/proc/9333/task/9377/stat : 9377 (java) R 9331 9331 25300 0 -1 4202560 5173 0 0 0 22897 8 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916077928504 139916233918959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9378] ppid=9331 vsize=15483968 memory=744 CPUtime=227.88 cores=1,3,5,7
/proc/9333/task/9378/stat : 9378 (java) R 9331 9331 25300 0 -1 4202560 530 0 0 0 22788 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916081086728 139916233919045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9379] ppid=9331 vsize=15483968 memory=8296 CPUtime=228.58 cores=1,3,5,7
/proc/9333/task/9379/stat : 9379 (java) R 9331 9331 25300 0 -1 4202560 2029 0 0 0 22854 4 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916078981000 139916233919193 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 937.91 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 1134248 KiB

[startup+236.202 s]
/proc/loadavg: 8.14 7.95 7.63 9/238 9402
/proc/meminfo: memFree=28721952/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15483968 memory=1132796 CPUtime=938.67 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 63378 0 0 0 93823 44 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3870992 283199 3522 1 0 3832094 0
[pid=9333/tid=9334] ppid=9331 vsize=15483968 memory=14008 CPUtime=1.38 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) S 9331 9331 25300 0 -1 1077944384 9373 0 0 0 132 6 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916635399296 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15483968 memory=11928 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 3349 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15483968 memory=2124 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1211 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15483968 memory=6352 CPUtime=0.13 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 2304 0 0 0 10 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15483968 memory=504 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 1038 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15483968 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 2020 0 0 0 2 0 0 0 20 0 19 0 409470658 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15483968 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916098717408 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15483968 memory=15260333157648136 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916097664256 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15483968 memory=1548 CPUtime=2.58 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) S 9331 9331 25300 0 -1 1077944384 13305 0 0 0 257 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15483968 memory=1056 CPUtime=2.81 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 11911 0 0 0 279 2 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15483968 memory=744 CPUtime=0.78 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) S 9331 9331 25300 0 -1 1077944384 7143 0 0 0 77 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916093454320 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15483968 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15483968 memory=1056 CPUtime=0.09 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 658 0 0 0 0 9 0 0 20 0 19 0 409470662 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9376] ppid=9331 vsize=15483968 memory=744 CPUtime=228.97 cores=1,3,5,7
/proc/9333/task/9376/stat : 9376 (java) R 9331 9331 25300 0 -1 4202560 576 0 0 0 22897 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916082138272 139916233918908 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9377] ppid=9331 vsize=15483968 memory=8296 CPUtime=229.24 cores=1,3,5,7
/proc/9333/task/9377/stat : 9377 (java) R 9331 9331 25300 0 -1 4202560 5178 0 0 0 22916 8 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916077928504 139916233918474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9378] ppid=9331 vsize=15483968 memory=5952 CPUtime=228.08 cores=1,3,5,7
/proc/9333/task/9378/stat : 9378 (java) R 9331 9331 25300 0 -1 4202560 535 0 0 0 22808 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916081086728 139916233918970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9379] ppid=9331 vsize=15483968 memory=1124 CPUtime=228.78 cores=1,3,5,7
/proc/9333/task/9379/stat : 9379 (java) R 9331 9331 25300 0 -1 4202560 2032 0 0 0 22874 4 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916078981000 139916233918959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 938.67 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 1134248 KiB

[startup+236.302 s]
/proc/loadavg: 8.14 7.95 7.63 9/238 9402
/proc/meminfo: memFree=28721952/32770624 swapFree=66933688/67108860
[pid=9331] ppid=9328 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9331/stat : 9331 (xcsp3-exec) S 9328 9331 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409470656 115843072 363 33554432000 4194304 5098028 140736587942496 140736587940600 139648766505596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16351232 140736587944827 140736587945069 140736587945069 140736587947978 0
/proc/9331/statm: 28282 363 304 221 0 87 0
[pid=9333] ppid=9331 vsize=15483968 memory=1132796 CPUtime=939.07 cores=1,3,5,7
/proc/9333/stat : 9333 (java) S 9331 9331 25300 0 -1 1077944320 63379 0 0 0 93863 44 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 140733064704880 139916631158519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
/proc/9333/statm: 3870992 283199 3522 1 0 3832094 0
[pid=9333/tid=9334] ppid=9331 vsize=15483968 memory=1132796 CPUtime=1.38 cores=1,3,5,7
/proc/9333/task/9334/stat : 9334 (java) S 9331 9331 25300 0 -1 1077944384 9373 0 0 0 132 6 0 0 20 0 19 0 409470656 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916635399296 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9335] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9335/stat : 9335 (java) S 9331 9331 25300 0 -1 1077944384 3349 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916559198736 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9336] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9336/stat : 9336 (java) S 9331 9331 25300 0 -1 1077944384 1211 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916558146192 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9337] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0.13 cores=1,3,5,7
/proc/9333/task/9337/stat : 9337 (java) S 9331 9331 25300 0 -1 1077944384 2304 0 0 0 10 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916557093136 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9338] ppid=9331 vsize=15483968 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/9333/task/9338/stat : 9338 (java) S 9331 9331 25300 0 -1 1077944384 1038 0 0 0 9 3 0 0 20 0 19 0 409470657 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916556040592 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9339] ppid=9331 vsize=15483968 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/9333/task/9339/stat : 9339 (java) S 9331 9331 25300 0 -1 1077944384 2020 0 0 0 2 0 0 0 20 0 19 0 409470658 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916099771120 139916631169666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9340] ppid=9331 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9340/stat : 9340 (java) S 9331 9331 25300 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916098717408 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9341] ppid=9331 vsize=15483968 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9341/stat : 9341 (java) S 9331 9331 25300 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 409470659 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916097664256 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9342] ppid=9331 vsize=15483968 memory=20364 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9342/stat : 9342 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916096612816 139916631177115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9343] ppid=9331 vsize=15483968 memory=1132796 CPUtime=2.58 cores=1,3,5,7
/proc/9333/task/9343/stat : 9343 (java) S 9331 9331 25300 0 -1 1077944384 13305 0 0 0 257 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916095559920 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9344] ppid=9331 vsize=15483968 memory=3620 CPUtime=2.81 cores=1,3,5,7
/proc/9333/task/9344/stat : 9344 (java) S 9331 9331 25300 0 -1 1077944384 11911 0 0 0 279 2 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916094507376 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9345] ppid=9331 vsize=15483968 memory=1132796 CPUtime=0.78 cores=1,3,5,7
/proc/9333/task/9345/stat : 9345 (java) S 9331 9331 25300 0 -1 1077944384 7143 0 0 0 77 1 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916093454320 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9346] ppid=9331 vsize=15483968 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9333/task/9346/stat : 9346 (java) S 9331 9331 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409470661 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916092402016 139916631168725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9347] ppid=9331 vsize=15483968 memory=3620 CPUtime=0.09 cores=1,3,5,7
/proc/9333/task/9347/stat : 9347 (java) S 9331 9331 25300 0 -1 1077944384 658 0 0 0 0 9 0 0 20 0 19 0 409470662 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916091350064 139916631169666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9376] ppid=9331 vsize=15483968 memory=20364 CPUtime=229.07 cores=1,3,5,7
/proc/9333/task/9376/stat : 9376 (java) R 9331 9331 25300 0 -1 4202560 577 0 0 0 22907 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916082138272 139916233919145 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9377] ppid=9331 vsize=15483968 memory=1132796 CPUtime=229.34 cores=1,3,5,7
/proc/9333/task/9377/stat : 9377 (java) R 9331 9331 25300 0 -1 4202560 5178 0 0 0 22926 8 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916077928504 139916233678169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9378] ppid=9331 vsize=15483968 memory=1452 CPUtime=228.18 cores=1,3,5,7
/proc/9333/task/9378/stat : 9378 (java) R 9331 9331 25300 0 -1 4202560 535 0 0 0 22818 0 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916081086728 139916233919040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
[pid=9333/tid=9379] ppid=9331 vsize=15483968 memory=1452 CPUtime=228.87 cores=1,3,5,7
/proc/9333/task/9379/stat : 9379 (java) R 9331 9331 25300 0 -1 4202560 2032 0 0 0 22883 4 0 0 20 0 19 0 409471257 15855583232 283199 33554432000 4194304 4196468 140733064722336 139916078981000 139916233919058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32636928 140733064725487 140733064725658 140733064725658 140733064728527 0
Current children cumulated CPU time: 939.07 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 1134248 KiB

Child status: 0
Real time (s): 236.361
CPU time (s): 939.287
CPU user time (s): 938.836
CPU system time (s): 0.451856
CPU usage (%): 397.396
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 1134248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 938.836
system time used= 0.451856
maximum resident set size= 1147696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7973
involuntary context switches= 18517


# summary of solver processes directly reported to runsolver:
#   pid: 9331
#   total CPU time (s): 939.287
#   total CPU user time (s): 938.836
#   total CPU system time (s): 0.451856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4993 second user time and 2.77724 second system time

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

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
