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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16	SAT	396.328	100.127
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 (12959 MiB free)
  memory of node 1: 16384 MiB (15396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398891-1568698711/watcher-4398891-1568698711 -o /tmp/evaluation-result-4398891-1568698711/solver-4398891-1568698711 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7961 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1424303696 HOME/instance-4398891-1568698711.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=9571, runsolver pid=9568

[startup+0.102699 s]*
/proc/loadavg: 7.02 5.69 3.55 6/233 9587
/proc/meminfo: memFree=29019472/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15144776 memory=29032 CPUtime=0.13 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 446137937 15508250624 7258 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3786194 7258 3161 1 0 3748377 0
[pid=9573/tid=9574] ppid=9571 vsize=15144776 memory=7100839887184036978 CPUtime=0.1 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) R 9571 9571 7929 0 -1 4202560 3586 0 0 0 9 1 0 0 20 0 15 0 446137937 15508250624 7258 33554432000 4194304 4196468 140735196307744 140410113466736 140410101476158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 7258 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446137939 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446137940 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409576711840 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446137940 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409575658736 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) R 9571 9571 7929 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) R 9571 9571 7929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409572501872 140410094901760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) R 9571 9571 7929 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 446137942 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409571446352 140410109250966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) R 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137943 15508250624 7258 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30480 KiB

[startup+0.210824 s]*
/proc/loadavg: 7.02 5.69 3.55 7/233 9587
/proc/meminfo: memFree=29007000/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15144776 memory=41024 CPUtime=0.35 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 9433 0 0 0 32 3 0 0 20 0 15 0 446137937 15508250624 10256 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3786194 10256 3306 1 0 3748377 0
[pid=9573/tid=9574] ppid=9571 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) R 9571 9571 7929 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 446137937 15508250624 10256 33554432000 4194304 4196468 140735196307744 140410113476496 140410109260378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 10256 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15144776 memory=140075056991310 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446137938 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446137939 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446137940 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409576711840 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446137940 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409575658736 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9571 7929 0 -1 1077944384 615 0 0 0 2 0 0 0 20 0 15 0 446137942 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9571 7929 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 446137942 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409572501872 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15144776 memory=140075055445632 CPUtime=0.08 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9571 7929 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 446137942 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409571448816 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137943 15508250624 10256 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42472 KiB

[startup+0.31082 s]*
/proc/loadavg: 7.02 5.69 3.55 9/233 9587
/proc/meminfo: memFree=29000100/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15149032 memory=50056 CPUtime=0.54 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 10872 0 0 0 50 4 0 0 20 0 15 0 446137937 15512608768 12514 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3787258 12514 3343 1 0 3748377 0
[pid=9573/tid=9574] ppid=9571 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) R 9571 9571 7929 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 446137937 15512608768 12579 33554432000 4194304 4196468 140735196307744 140410113470144 140410093319518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15512608768 12579 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446137938 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446137939 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446137940 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409576711840 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446137940 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409575658736 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9571 7929 0 -1 1077944384 653 0 0 0 4 0 0 0 20 0 15 0 446137942 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) R 9571 9571 7929 0 -1 4202560 197 0 0 0 5 0 0 0 20 0 15 0 446137942 15512608768 12579 33554432000 4194304 4196468 140735196307744 140409572501968 140410090759083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9571 7929 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 446137942 15512608768 12585 33554432000 4194304 4196468 140735196307744 140409571448816 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15512608768 12585 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137943 15512608768 12585 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51504 KiB

[startup+0.701537 s]
/proc/loadavg: 7.02 5.69 3.55 8/233 9587
/proc/meminfo: memFree=28985168/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15151156 memory=90784 CPUtime=1.68 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 14318 0 0 0 162 6 0 0 20 0 15 0 446137937 15514783744 22696 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3787789 22696 3457 1 0 3748889 0
[pid=9573/tid=9574] ppid=9571 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) R 9571 9571 7929 0 -1 4202560 9183 0 0 0 64 4 0 0 20 0 15 0 446137937 15514783744 22696 33554432000 4194304 4196468 140735196307744 140410113477536 140410087660439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15151156 memory=47216 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15514783744 22696 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137938 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446137938 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446137939 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15151156 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446137940 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409576711840 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446137940 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409575658736 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15151156 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15151156 memory=10564 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) R 9571 9571 7929 0 -1 4202560 1193 0 0 0 25 0 0 0 20 0 15 0 446137942 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409573535432 140410089939328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15151156 memory=716 CPUtime=0.3 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) R 9571 9571 7929 0 -1 4202560 726 0 0 0 30 0 0 0 20 0 15 0 446137942 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409572502000 140410092731575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15151156 memory=780 CPUtime=0.42 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) D 9571 9571 7929 0 -1 4202560 1910 0 0 0 42 0 0 0 20 0 15 0 446137942 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409571445752 140410101956183 0 4 0 16800975 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446137942 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446137943 15514783744 22696 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92232 KiB

[startup+1.50087 s]
/proc/loadavg: 7.02 5.69 3.55 12/237 9591
/proc/meminfo: memFree=28925104/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0

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

/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 446137943 15787429888 79256 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9588] ppid=9571 vsize=15417412 memory=4068 CPUtime=96.91 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) R 9571 9571 7929 0 -1 4202560 700 0 0 0 9691 0 0 0 20 0 19 0 446138015 15787429888 79256 33554432000 4194304 4196468 140735196307744 140409560125440 140409751085087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9589] ppid=9571 vsize=15417412 memory=1720 CPUtime=96.92 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) R 9571 9571 7929 0 -1 4202560 1843 0 0 0 9690 2 0 0 20 0 19 0 446138015 15787429888 79256 33554432000 4194304 4196468 140735196307744 140409559075712 140409752701307 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9590] ppid=9571 vsize=15417412 memory=65 CPUtime=96.84 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) R 9571 9571 7929 0 -1 1077944384 799 0 0 0 9684 0 0 0 20 0 19 0 446138015 15787429888 79256 33554432000 4194304 4196468 140735196307744 140409558020448 140410109249237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9591] ppid=9571 vsize=15417412 memory=0 CPUtime=96.53 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) R 9571 9571 7929 0 -1 4202560 2112 0 0 0 9653 0 0 0 20 0 19 0 446138015 15787429888 79256 33554432000 4194304 4196468 140735196307744 140409556967976 140409752129290 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 392.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 318472 KiB

[startup+99.6015 s]
/proc/loadavg: 8.43 6.56 4.08 9/239 9600
/proc/meminfo: memFree=27674508/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15417412 memory=316512 CPUtime=394.25 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 43074 0 0 0 39397 28 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3854353 79128 3510 1 0 3815453 0
[pid=9573/tid=9574] ppid=9571 vsize=15417412 memory=8112282956445269571 CPUtime=0.76 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) S 9571 9571 7929 0 -1 1077944384 9249 0 0 0 72 4 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410113479808 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15417412 memory=7735051581462834776 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 2272 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15417412 memory=7740653580053147240 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1139 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15417412 memory=7740653580053147240 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1600 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15417412 memory=7668341896067443822 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 1812 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15417412 memory=6371588967563679855 CPUtime=0.14 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 1488 0 0 0 13 1 0 0 20 0 19 0 446137939 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15417412 memory=6371588967563679855 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409576711904 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15417412 memory=7735051581462834776 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409575658752 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15417412 memory=31204 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15417412 memory=314976 CPUtime=1.31 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9571 7929 0 -1 1077944384 6449 0 0 0 131 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15417412 memory=3620 CPUtime=1.45 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9571 7929 0 -1 1077944384 6779 0 0 0 145 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409572501872 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15417412 memory=47216 CPUtime=0.65 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9571 7929 0 -1 1077944384 5084 0 0 0 64 1 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409571448816 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15417412 memory=984 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15417412 memory=2004 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 446137943 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9588] ppid=9571 vsize=15417412 memory=1376 CPUtime=97.3 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) R 9571 9571 7929 0 -1 4202560 700 0 0 0 9730 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409560125576 140409751435151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9589] ppid=9571 vsize=15417412 memory=1060 CPUtime=97.32 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) R 9571 9571 7929 0 -1 4202560 1844 0 0 0 9730 2 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409559075712 140409752495413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9590] ppid=9571 vsize=15417412 memory=4068 CPUtime=97.23 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) R 9571 9571 7929 0 -1 4202560 799 0 0 0 9723 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409558021096 140409752753556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9591] ppid=9571 vsize=15417412 memory=1720 CPUtime=96.93 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) R 9571 9571 7929 0 -1 4202560 2112 0 0 0 9693 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409556967296 140409752521589 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 394.25 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 317960 KiB

[startup+100.002 s]*
/proc/loadavg: 8.43 6.56 4.08 9/239 9600
/proc/meminfo: memFree=27672812/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15417412 memory=316512 CPUtime=395.87 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 43075 0 0 0 39559 28 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3854353 79128 3510 1 0 3815453 0
[pid=9573/tid=9574] ppid=9571 vsize=15417412 memory=8317482817917895235 CPUtime=0.76 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) S 9571 9571 7929 0 -1 1077944384 9249 0 0 0 72 4 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410113479808 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15417412 memory=1720 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 2272 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15417412 memory=1448 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1139 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15417412 memory=300472 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1600 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15417412 memory=4126316290023845779 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 1812 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15417412 memory=10564 CPUtime=0.14 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 1488 0 0 0 13 1 0 0 20 0 19 0 446137939 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15417412 memory=716 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409576711904 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409575658752 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15417412 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15417412 memory=2832 CPUtime=1.31 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9571 7929 0 -1 1077944384 6449 0 0 0 131 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15417412 memory=1192 CPUtime=1.45 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9571 7929 0 -1 1077944384 6779 0 0 0 145 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409572501872 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15417412 memory=940 CPUtime=0.65 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9571 7929 0 -1 1077944384 5084 0 0 0 64 1 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409571448816 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15417412 memory=12040 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 446137943 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9588] ppid=9571 vsize=15417412 memory=23892 CPUtime=97.71 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) R 9571 9571 7929 0 -1 4202560 700 0 0 0 9771 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409560125496 140409751085284 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9589] ppid=9571 vsize=15417412 memory=2120 CPUtime=97.72 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) R 9571 9571 7929 0 -1 4202560 1845 0 0 0 9770 2 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409559075600 140409751741391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9590] ppid=9571 vsize=15417412 memory=500 CPUtime=97.63 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) R 9571 9571 7929 0 -1 4202560 799 0 0 0 9763 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409558020392 140409752753474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9591] ppid=9571 vsize=15417412 memory=1556 CPUtime=97.33 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) R 9571 9571 7929 0 -1 4202560 2112 0 0 0 9733 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409556966736 140409752129704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 395.87 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 317960 KiB

[startup+100.112 s]
/proc/loadavg: 8.43 6.56 4.08 9/239 9600
/proc/meminfo: memFree=27672812/32770624 swapFree=66967456/67108860
[pid=9571] ppid=9568 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9571/stat : 9571 (xcsp3-exec) S 9568 9571 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446137937 115843072 362 33554432000 4194304 5098028 140726939914848 140726939912952 139725204771452 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28614656 140726939923322 140726939923565 140726939923565 140726939926474 0
/proc/9571/statm: 28282 362 304 221 0 87 0
[pid=9573] ppid=9571 vsize=15417412 memory=316512 CPUtime=396.28 cores=1,3,5,7
/proc/9573/stat : 9573 (java) S 9571 9571 7929 0 -1 1077944320 43075 0 0 0 39600 28 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140735196290288 140410109239031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
/proc/9573/statm: 3854353 79128 3510 1 0 3815453 0
[pid=9573/tid=9574] ppid=9571 vsize=15417412 memory=306616 CPUtime=0.76 cores=1,3,5,7
/proc/9573/task/9574/stat : 9574 (java) S 9571 9571 7929 0 -1 1077944384 9249 0 0 0 72 4 0 0 20 0 19 0 446137937 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410113479808 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9575] ppid=9571 vsize=15417412 memory=314976 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9575/stat : 9575 (java) S 9571 9571 7929 0 -1 1077944384 2272 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140410065791504 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9576] ppid=9571 vsize=15417412 memory=316512 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9576/stat : 9576 (java) S 9571 9571 7929 0 -1 1077944384 1139 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409700539024 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9577] ppid=9571 vsize=15417412 memory=1448 CPUtime=0.26 cores=1,3,5,7
/proc/9573/task/9577/stat : 9577 (java) S 9571 9571 7929 0 -1 1077944384 1600 0 0 0 22 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409699485968 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9578] ppid=9571 vsize=15417412 memory=1448 CPUtime=0.25 cores=1,3,5,7
/proc/9573/task/9578/stat : 9578 (java) S 9571 9571 7929 0 -1 1077944384 1812 0 0 0 21 4 0 0 20 0 19 0 446137938 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409698433424 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9579] ppid=9571 vsize=15417412 memory=1448 CPUtime=0.14 cores=1,3,5,7
/proc/9573/task/9579/stat : 9579 (java) S 9571 9571 7929 0 -1 1077944384 1488 0 0 0 13 1 0 0 20 0 19 0 446137939 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409577765616 140410109250178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9580] ppid=9571 vsize=15417412 memory=306616 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9580/stat : 9580 (java) S 9571 9571 7929 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409576711904 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9581] ppid=9571 vsize=15417412 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9581/stat : 9581 (java) S 9571 9571 7929 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 446137940 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409575658752 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9582] ppid=9571 vsize=15417412 memory=308608 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9582/stat : 9582 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409574607312 140410109257627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9583] ppid=9571 vsize=15417412 memory=1448 CPUtime=1.31 cores=1,3,5,7
/proc/9573/task/9583/stat : 9583 (java) S 9571 9571 7929 0 -1 1077944384 6449 0 0 0 131 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409573554416 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9584] ppid=9571 vsize=15417412 memory=1720 CPUtime=1.45 cores=1,3,5,7
/proc/9573/task/9584/stat : 9584 (java) S 9571 9571 7929 0 -1 1077944384 6779 0 0 0 145 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409572501872 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9585] ppid=9571 vsize=15417412 memory=5948 CPUtime=0.65 cores=1,3,5,7
/proc/9573/task/9585/stat : 9585 (java) S 9571 9571 7929 0 -1 1077944384 5084 0 0 0 64 1 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409571448816 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9586] ppid=9571 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/9573/task/9586/stat : 9586 (java) S 9571 9571 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446137942 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409570396512 140410109249237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9587] ppid=9571 vsize=15417412 memory=47216 CPUtime=0.02 cores=1,3,5,7
/proc/9573/task/9587/stat : 9587 (java) S 9571 9571 7929 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 19 0 446137943 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409569344560 140410109250178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9588] ppid=9571 vsize=15417412 memory=1448 CPUtime=97.81 cores=1,3,5,7
/proc/9573/task/9588/stat : 9588 (java) R 9571 9571 7929 0 -1 4202560 700 0 0 0 9781 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409560125496 140409751478394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9589] ppid=9571 vsize=15417412 memory=317024 CPUtime=97.82 cores=1,3,5,7
/proc/9573/task/9589/stat : 9589 (java) R 9571 9571 7929 0 -1 4202560 1845 0 0 0 9780 2 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409559075600 140409751572300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9590] ppid=9571 vsize=15417412 memory=9342 CPUtime=97.73 cores=1,3,5,7
/proc/9573/task/9590/stat : 9590 (java) R 9571 9571 7929 0 -1 4202560 799 0 0 0 9773 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409558020392 140409752066776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
[pid=9573/tid=9591] ppid=9571 vsize=15417412 memory=9310 CPUtime=97.43 cores=1,3,5,7
/proc/9573/task/9591/stat : 9591 (java) R 9571 9571 7929 0 -1 4202560 2112 0 0 0 9743 0 0 0 20 0 19 0 446138015 15787429888 79128 33554432000 4194304 4196468 140735196307744 140409556966736 140409752129650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33468416 140735196312559 140735196312730 140735196312730 140735196315599 0
Current children cumulated CPU time: 396.28 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 317960 KiB

Child status: 0
Real time (s): 100.127
CPU time (s): 396.328
CPU user time (s): 396.03
CPU system time (s): 0.298103
CPU usage (%): 395.826
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 318472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 396.03
system time used= 0.298103
maximum resident set size= 317024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9488
involuntary context switches= 8577


# summary of solver processes directly reported to runsolver:
#   pid: 9571
#   total CPU time (s): 396.328
#   total CPU user time (s): 396.03
#   total CPU system time (s): 0.298103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.649149 second user time and 1.15661 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army11-17ls.xml
MD5SUM	3a369118bc0c88105fbaeba7564c3313
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	18.4026
Satisfiable
(Un)Satisfiability was proved
Number of variables	370
Number of constraints	557
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":370}]
Minimum variable degree	3
Maximum variable degree	13
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":250},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":48}]
Minimum constraint arity	2
Maximum constraint arity	121
Distribution of constraint arities	[{"arity":2,"count":193},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":250},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":48},{"arity":121,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":557}]
Optimization problem	NO
Type of objective
Trace number 4398891

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
