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-20	SAT	95.6266	28.4447
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 (4432 MiB free)
  memory of node 1: 16384 MiB (6265 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403469-1568991555/watcher-4403469-1568991555 -o /var/tmp/evaluation-result-4403469-1568991555/solver-4403469-1568991555 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1717985229 HOME/instance-4403469-1568991555.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=1533, runsolver pid=1530


[startup+0.101746 s]*
/proc/loadavg: 9.20 8.12 4.88 5/234 1549
/proc/meminfo: memFree=10928588/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15144776 memory=28952 CPUtime=0.13 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 5679 0 0 0 12 1 0 0 20 0 15 0 475395091 15508250624 7238 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3786194 7238 3164 1 0 3748377 0
[pid=1535/tid=1536] ppid=1533 vsize=15144776 memory=7391413433648273289 CPUtime=0.09 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) R 1533 1533 1216 0 -1 4202560 3556 0 0 0 8 1 0 0 20 0 15 0 475395092 15508250624 7303 33554432000 4194304 4196468 140736404577440 139875604078392 139875584444757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 7303 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 7303 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 7303 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 7303 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874932856224 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874931803632 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) R 1533 1533 1216 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) R 1533 1533 1216 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874928637792 139875577714976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0.02 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) R 1533 1533 1216 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874927589656 139875583927646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 7303 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30404 KiB

[startup+0.211083 s]*
/proc/loadavg: 9.20 8.12 4.88 5/234 1549
/proc/meminfo: memFree=10902392/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15144776 memory=40808 CPUtime=0.34 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 9437 0 0 0 31 3 0 0 20 0 15 0 475395091 15508250624 10202 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3786194 10202 3292 1 0 3748377 0
[pid=1535/tid=1536] ppid=1533 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) R 1533 1533 1216 0 -1 4202560 6598 0 0 0 18 2 0 0 20 0 15 0 475395092 15508250624 10202 33554432000 4194304 4196468 140736404577440 139875604082144 139875583890789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15144776 memory=4294980885 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 10202 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15144776 memory=3977725275733677728 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 10202 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 10202 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475395092 15508250624 10202 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874932856224 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475395094 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874931803632 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15144776 memory=140587318564480 CPUtime=0.08 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) R 1533 1533 1216 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874927593712 139875583927646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395097 15508250624 10202 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42260 KiB

[startup+0.310877 s]*
/proc/loadavg: 9.20 8.12 4.88 4/234 1549
/proc/meminfo: memFree=10882448/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15149032 memory=49552 CPUtime=0.51 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 10732 0 0 0 48 3 0 0 20 0 15 0 475395091 15512608768 12388 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3787258 12388 3327 1 0 3748377 0
[pid=1535/tid=1536] ppid=1533 vsize=15149032 memory=4774505469681996649 CPUtime=0.3 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) R 1533 1533 1216 0 -1 4202560 7811 0 0 0 27 3 0 0 20 0 15 0 475395092 15512608768 12388 33554432000 4194304 4196468 140736404577440 139875604078272 139875583927646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15149032 memory=735272056725535336 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15512608768 12388 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15149032 memory=2320677681203448500 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15512608768 12388 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15149032 memory=7086240636179141218 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15512608768 12388 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15149032 memory=7017215288143000112 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475395092 15512608768 12388 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15149032 memory=3467971885317224118 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475395094 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15149032 memory=8462870768612815408 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475395094 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874932856224 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15149032 memory=8463011355794234469 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475395094 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874931803632 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15149032 memory=7526544108160507397 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15149032 memory=3832898772253290548 CPUtime=0.04 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 360 0 0 0 4 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15149032 memory=3834731507898846129 CPUtime=0.12 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) S 1533 1533 1216 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874927593712 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15149032 memory=2319389199166349359 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15149032 memory=3835293448653698736 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395097 15512608768 12388 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51004 KiB

[startup+0.700799 s]
/proc/loadavg: 9.20 8.12 4.88 12/238 1553
/proc/meminfo: memFree=10851300/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15151156 memory=95840 CPUtime=1.75 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 15058 0 0 0 170 5 0 0 20 0 15 0 475395091 15514783744 23960 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3787789 23960 3443 1 0 3748889 0
[pid=1535/tid=1536] ppid=1533 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) R 1533 1533 1216 0 -1 4202560 8969 0 0 0 64 4 0 0 20 0 15 0 475395092 15514783744 23960 33554432000 4194304 4196468 140736404577440 139875604083088 139875223450997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15514783744 23960 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15514783744 23960 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395092 15514783744 23960 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475395092 15514783744 23960 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475395094 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475395094 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874932856224 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15151156 memory=218 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475395094 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874931803632 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15151156 memory=1 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15151156 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 1535 0 0 0 34 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15151156 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 1305 0 0 0 32 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15151156 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) R 1533 1533 1216 0 -1 4202560 1942 0 0 0 39 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874927593712 139875592947006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475395097 15514783744 23960 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97292 KiB

[startup+1.50102 s]
/proc/loadavg: 9.20 8.12 4.88 12/238 1553
/proc/meminfo: memFree=10650508/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0

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

/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15417412 memory=12024 CPUtime=2.16 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) R 1533 1533 1216 0 -1 4202560 9445 0 0 0 215 1 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874929699096 139875579011185 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15417412 memory=2116 CPUtime=2.34 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 12851 0 0 0 232 2 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15417412 memory=1452 CPUtime=0.62 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) R 1533 1533 1216 0 -1 1077944384 3405 0 0 0 61 1 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874927593712 139875599858306 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15417412 memory=3323060 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15417412 memory=42 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 730 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1581] ppid=1533 vsize=15417412 memory=44 CPUtime=11.09 cores=1,3,5,7
/proc/1535/task/1581/stat : 1581 (java) R 1533 1533 1216 0 -1 4202560 1945 0 0 0 1109 0 0 0 20 0 19 0 475396501 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874916509240 139875230827529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1582] ppid=1533 vsize=15417412 memory=44 CPUtime=11.11 cores=1,3,5,7
/proc/1535/task/1582/stat : 1582 (java) R 1533 1533 1216 0 -1 4202560 3186 0 0 0 1111 0 0 0 20 0 19 0 475396501 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874915456904 139875223439627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1583] ppid=1533 vsize=15417412 memory=2 CPUtime=11.01 cores=1,3,5,7
/proc/1535/task/1583/stat : 1583 (java) R 1533 1533 1216 0 -1 4202560 23639 0 0 0 1099 2 0 0 20 0 19 0 475396501 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874914403032 139875230851360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1584] ppid=1533 vsize=15417412 memory=0 CPUtime=10.98 cores=1,3,5,7
/proc/1535/task/1584/stat : 1584 (java) R 1533 1533 1216 0 -1 4202560 30590 0 0 0 1096 2 0 0 20 0 19 0 475396501 15787429888 1749615 33554432000 4194304 4196468 140736404577440 139874913351256 139875230828116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 89.73 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 6999912 KiB

[startup+27.2009 s]
/proc/loadavg: 8.90 8.13 4.97 6/242 1672
/proc/meminfo: memFree=3836968/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15417412 memory=7000624 CPUtime=94.29 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 197930 0 0 0 8704 725 0 0 20 0 19 0 475395091 15787429888 1750156 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3854353 1750156 3526 1 0 3815453 0
[pid=1535/tid=1536] ppid=1533 vsize=15417412 memory=3832 CPUtime=5.07 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) S 1533 1533 1216 0 -1 1077944384 12423 0 0 0 496 11 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875604087936 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15417412 memory=2704 CPUtime=8.81 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 19257 0 0 0 695 186 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15417412 memory=2588 CPUtime=8.72 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 19272 0 0 0 706 166 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15417412 memory=1412 CPUtime=8.84 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 20066 0 0 0 715 169 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15417412 memory=2900 CPUtime=8.71 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 19262 0 0 0 695 176 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15417412 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 8632 0 0 0 12 1 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15417412 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874932856288 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15417412 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874931803648 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15417412 memory=784 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15417412 memory=8560 CPUtime=2.65 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 13447 0 0 0 264 1 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15417412 memory=6132 CPUtime=2.78 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 15480 0 0 0 275 3 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15417412 memory=1056 CPUtime=0.65 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) S 1533 1533 1216 0 -1 1077944384 3574 0 0 0 64 1 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874927593712 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 738 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1581] ppid=1533 vsize=15417412 memory=7000456 CPUtime=11.48 cores=1,3,5,7
/proc/1535/task/1581/stat : 1581 (java) S 1533 1533 1216 0 -1 1077944384 2290 0 0 0 1148 0 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874916511680 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1582] ppid=1533 vsize=15417412 memory=1716 CPUtime=12.57 cores=1,3,5,7
/proc/1535/task/1582/stat : 1582 (java) R 1533 1533 1216 0 -1 4202560 3422 0 0 0 1257 0 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874915455184 139875231142278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1583] ppid=1533 vsize=15417412 memory=784 CPUtime=11.91 cores=1,3,5,7
/proc/1535/task/1583/stat : 1583 (java) S 1533 1533 1216 0 -1 1077944384 27339 0 0 0 1189 2 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874914408016 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1584] ppid=1533 vsize=15417412 memory=8560 CPUtime=11.83 cores=1,3,5,7
/proc/1535/task/1584/stat : 1584 (java) S 1533 1533 1216 0 -1 1077944384 31372 0 0 0 1181 2 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874913354448 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 94.29 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7002076 KiB

[startup+28.0009 s]*
/proc/loadavg: 8.90 8.13 4.97 6/242 1672
/proc/meminfo: memFree=3836720/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15417412 memory=7000624 CPUtime=95.1 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 198483 0 0 0 8785 725 0 0 20 0 19 0 475395091 15787429888 1750156 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3854353 1750156 3526 1 0 3815453 0
[pid=1535/tid=1536] ppid=1533 vsize=15417412 memory=4774505469681996649 CPUtime=5.07 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) S 1533 1533 1216 0 -1 1077944384 12423 0 0 0 496 11 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875604087936 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15417412 memory=0 CPUtime=8.81 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 19257 0 0 0 695 186 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15417412 memory=4121554608086977457 CPUtime=8.72 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 19272 0 0 0 706 166 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15417412 memory=4123385436459512885 CPUtime=8.84 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 20066 0 0 0 715 169 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15417412 memory=2320254536576414514 CPUtime=8.71 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 19262 0 0 0 695 176 0 0 20 0 19 0 475395092 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15417412 memory=3762391438158137248 CPUtime=0.13 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 8632 0 0 0 12 1 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874933910000 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15417412 memory=3762820397946451759 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874932856288 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15417412 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475395094 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874931803648 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15417412 memory=7309172253691307344 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874930752208 139875599865755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15417412 memory=0 CPUtime=2.65 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 13447 0 0 0 264 1 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874929698800 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15417412 memory=3472328279047811119 CPUtime=2.78 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 15480 0 0 0 275 3 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874928646256 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15417412 memory=7311575618843325939 CPUtime=0.65 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) S 1533 1533 1216 0 -1 1077944384 3574 0 0 0 64 1 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874927593712 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15417412 memory=2319414500818690096 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1549] ppid=1533 vsize=15417412 memory=3472468883546244784 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1549/stat : 1549 (java) S 1533 1533 1216 0 -1 1077944384 738 0 0 0 0 0 0 0 20 0 19 0 475395097 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874925488944 139875599858306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1581] ppid=1533 vsize=15417412 memory=3472328296227680303 CPUtime=11.48 cores=1,3,5,7
/proc/1535/task/1581/stat : 1581 (java) S 1533 1533 1216 0 -1 1077944384 2290 0 0 0 1148 0 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874916511680 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1582] ppid=1533 vsize=15417412 memory=7311575618843325939 CPUtime=13.38 cores=1,3,5,7
/proc/1535/task/1582/stat : 1582 (java) R 1533 1533 1216 0 -1 4202560 3976 0 0 0 1338 0 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874915455072 139875231124918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1583] ppid=1533 vsize=15417412 memory=3472323898181169199 CPUtime=11.91 cores=1,3,5,7
/proc/1535/task/1583/stat : 1583 (java) S 1533 1533 1216 0 -1 1077944384 27339 0 0 0 1189 2 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874914408016 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1584] ppid=1533 vsize=15417412 memory=9126232286719478932 CPUtime=11.83 cores=1,3,5,7
/proc/1535/task/1584/stat : 1584 (java) S 1533 1533 1216 0 -1 1077944384 31372 0 0 0 1181 2 0 0 20 0 19 0 475396501 15787429888 1750156 33554432000 4194304 4196468 140736404577440 139874913354448 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 95.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7002076 KiB

[startup+28.4009 s]
/proc/loadavg: 8.90 8.13 4.97 6/242 1672
/proc/meminfo: memFree=3836720/32770624 swapFree=67001884/67108860
[pid=1533] ppid=1530 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1533/stat : 1533 (xcsp3-exec) S 1530 1533 1216 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475395091 115843072 363 33554432000 4194304 5098028 140735217037696 140735217035800 140669907059324 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32026624 140735217042262 140735217042521 140735217042521 140735217045446 0
/proc/1533/statm: 28282 363 304 221 0 87 0
[pid=1535] ppid=1533 vsize=15417412 memory=7000648 CPUtime=95.57 cores=1,3,5,7
/proc/1535/stat : 1535 (java) S 1533 1533 1216 0 -1 1077944320 200651 0 0 0 8832 725 0 0 20 0 14 0 475395091 15787429888 1750162 33554432000 4194304 4196468 140736404577440 140736404559984 139875599847159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
/proc/1535/statm: 3854353 1750162 3528 1 0 3815453 0
[pid=1535/tid=1536] ppid=1533 vsize=15417412 memory=8112282956445269571 CPUtime=5.08 cores=1,3,5,7
/proc/1535/task/1536/stat : 1536 (java) S 1533 1533 1216 0 -1 1077944384 13157 0 0 0 497 11 0 0 20 0 14 0 475395092 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139875604090000 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1537] ppid=1533 vsize=15417412 memory=3612 CPUtime=8.81 cores=1,3,5,7
/proc/1535/task/1537/stat : 1537 (java) S 1533 1533 1216 0 -1 1077944384 19257 0 0 0 695 186 0 0 20 0 14 0 475395092 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139875552467216 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1538] ppid=1533 vsize=15417412 memory=3280 CPUtime=8.72 cores=1,3,5,7
/proc/1535/task/1538/stat : 1538 (java) S 1533 1533 1216 0 -1 1077944384 19272 0 0 0 706 166 0 0 20 0 14 0 475395092 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139875551414672 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1539] ppid=1533 vsize=15417412 memory=3280 CPUtime=8.84 cores=1,3,5,7
/proc/1535/task/1539/stat : 1539 (java) S 1533 1533 1216 0 -1 1077944384 20066 0 0 0 715 169 0 0 20 0 14 0 475395092 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139875550362128 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1540] ppid=1533 vsize=15417412 memory=281174329352032 CPUtime=8.71 cores=1,3,5,7
/proc/1535/task/1540/stat : 1540 (java) S 1533 1533 1216 0 -1 1077944384 19262 0 0 0 695 176 0 0 20 0 14 0 475395092 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139875549309584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1541] ppid=1533 vsize=15417412 memory=281174329356464 CPUtime=0.13 cores=1,3,5,7
/proc/1535/task/1541/stat : 1541 (java) S 1533 1533 1216 0 -1 1077944384 8634 0 0 0 12 1 0 0 20 0 14 0 475395094 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874933910208 139875599858306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1542] ppid=1533 vsize=15417412 memory=8819569139123385389 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1542/stat : 1542 (java) S 1533 1533 1216 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 14 0 475395094 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874932856288 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1543] ppid=1533 vsize=15417412 memory=288291056355902365 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1543/stat : 1543 (java) S 1533 1533 1216 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 14 0 475395094 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874931803648 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1544] ppid=1533 vsize=15417412 memory=140587164581857 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1544/stat : 1544 (java) S 1533 1533 1216 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 14 0 475395097 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874930751920 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1545] ppid=1533 vsize=15417412 memory=6944656592387989600 CPUtime=2.68 cores=1,3,5,7
/proc/1535/task/1545/stat : 1545 (java) S 1533 1533 1216 0 -1 1077944384 13519 0 0 0 267 1 0 0 20 0 14 0 475395097 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874929683312 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1546] ppid=1533 vsize=15417412 memory=4206186544037388384 CPUtime=2.83 cores=1,3,5,7
/proc/1535/task/1546/stat : 1546 (java) S 1533 1533 1216 0 -1 1077944384 15538 0 0 0 280 3 0 0 20 0 14 0 475395097 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874928626736 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1547] ppid=1533 vsize=15417412 memory=6944656575208382560 CPUtime=0.65 cores=1,3,5,7
/proc/1535/task/1547/stat : 1547 (java) S 1533 1533 1216 0 -1 1077944384 4494 0 0 0 64 1 0 0 20 0 14 0 475395097 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874927589584 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
[pid=1535/tid=1548] ppid=1533 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1535/task/1548/stat : 1548 (java) S 1533 1533 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475395097 15787429888 1750162 33554432000 4194304 4196468 140736404577440 139874926541408 139875599857365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30347264 140736404579291 140736404579466 140736404579466 140736404582351 0
Current children cumulated CPU time: 95.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7002100 KiB

Child status: 0
Real time (s): 28.4447
CPU time (s): 95.6266
CPU user time (s): 88.3261
CPU system time (s): 7.30053
CPU usage (%): 336.184
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 7002100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.3261
system time used= 7.30053
maximum resident set size= 7000880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4016
involuntary context switches= 2413


# summary of solver processes directly reported to runsolver:
#   pid: 1533
#   total CPU time (s): 95.6266
#   total CPU user time (s): 88.3261
#   total CPU system time (s): 7.30053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.225508 second user time and 0.347335 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-m4D/ Subisomorphism-si6-m4Dr2-m1296-05.xml
MD5SUM	3130b580259b5cb9fe6f555a4358f6cc
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	0.886751
Satisfiable
(Un)Satisfiability was proved
Number of variables	777
Number of constraints	2559
Number of domains	1
Minimum domain size	1296
Maximum domain size	1296
Distribution of domain sizes	[{"size":1296,"count":777}]
Minimum variable degree	2
Maximum variable degree	12
Distribution of variable degrees	[{"degree":2,"count":29},{"degree":3,"count":78},{"degree":4,"count":92},{"degree":6,"count":92},{"degree":7,"count":115},{"degree":8,"count":149},{"degree":9,"count":139},{"degree":10,"count":60},{"degree":11,"count":21},{"degree":12,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	777
Distribution of constraint arities	[{"arity":1,"count":578},{"arity":2,"count":1980},{"arity":777,"count":1}]
Number of extensional constraints	2558
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":2558},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4403469

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
