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	878.217	221.745
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 (5076 MiB free)
  memory of node 1: 16384 MiB (2186 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403519-1568992081/watcher-4403519-1568992081 -o /var/tmp/evaluation-result-4403519-1568992081/solver-4403519-1568992081 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568990707-4811 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 530667203 HOME/instance-4403519-1568992081.xml 

running on 4 cores: 0,2,4,6

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
solver pid=6807, runsolver pid=6804
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 8.70 8.58 6.89 7/233 6823
/proc/meminfo: memFree=7421224/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15144776 memory=30188 CPUtime=0.13 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 5916 0 0 0 12 1 0 0 20 0 15 0 475146444 15508250624 7481 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3786194 7547 3191 1 0 3748377 0
[pid=6809/tid=6810] ppid=6807 vsize=15144776 memory=7828002305790415707 CPUtime=0.09 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) R 6807 6807 4780 0 -1 4202560 3843 0 0 0 9 0 0 0 20 0 15 0 475146445 15508250624 7547 33554432000 4194304 4196468 140726081562496 139786162774448 139786140110288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146446 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146446 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146447 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475146447 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785693238432 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475146448 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785692185328 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) R 6807 6807 4780 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785690082032 139786158557826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) R 6807 6807 4780 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785689029488 139786140091640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0.02 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) R 6807 6807 4780 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785687976432 139786137682206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 7547 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31640 KiB

[startup+0.210717 s]*
/proc/loadavg: 8.70 8.58 6.89 7/233 6823
/proc/meminfo: memFree=7407340/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15144776 memory=41212 CPUtime=0.34 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 9517 0 0 0 32 2 0 0 20 0 15 0 475146444 15508250624 10303 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3786194 10303 3300 1 0 3748377 0
[pid=6809/tid=6810] ppid=6807 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) R 6807 6807 4780 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 15 0 475146445 15508250624 10303 33554432000 4194304 4196468 140726081562496 139786162778592 139786158558614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15144776 memory=2128865 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15144776 memory=140564700905732 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146446 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146446 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475146447 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475146447 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785693238432 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475146448 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785692185328 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) S 6807 6807 4780 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785690082032 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) S 6807 6807 4780 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785689029488 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15144776 memory=140564697306752 CPUtime=0.08 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146450 15508250624 10303 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42664 KiB

[startup+0.310685 s]*
/proc/loadavg: 8.70 8.58 6.89 8/233 6823
/proc/meminfo: memFree=7400856/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15149032 memory=49620 CPUtime=0.53 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 10784 0 0 0 50 3 0 0 20 0 15 0 475146444 15512608768 12405 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3787258 12405 3345 1 0 3748377 0
[pid=6809/tid=6810] ppid=6807 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) R 6807 6807 4780 0 -1 4202560 7763 0 0 0 27 2 0 0 20 0 15 0 475146445 15512608768 12405 33554432000 4194304 4196468 140726081562496 139786162780464 139786142627166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146446 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146446 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475146447 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475146447 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785693238432 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475146448 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785692185328 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15149032 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) R 6807 6807 4780 0 -1 4202560 509 0 0 0 4 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785690072416 139786140067961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) S 6807 6807 4780 0 -1 1077944384 392 0 0 0 4 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785689029488 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 820 0 0 0 13 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146450 15512608768 12405 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51072 KiB

[startup+0.700776 s]
/proc/loadavg: 8.70 8.58 6.89 7/233 6823
/proc/meminfo: memFree=7386772/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15151156 memory=91052 CPUtime=1.64 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 14385 0 0 0 159 5 0 0 20 0 15 0 475146444 15514783744 22763 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3787789 22763 3457 1 0 3748889 0
[pid=6809/tid=6810] ppid=6807 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) R 6807 6807 4780 0 -1 4202560 9062 0 0 0 64 3 0 0 20 0 15 0 475146445 15514783744 22763 33554432000 4194304 4196468 140726081562496 139786162767968 139785771840282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15151156 memory=288230608904420306 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15151156 memory=14690786136597550 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146445 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146446 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475146446 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475146447 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475146447 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785693238432 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475146448 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785692185328 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15151156 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) R 6807 6807 4780 0 -1 4202560 1054 0 0 0 26 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785690068352 139786143426265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) R 6807 6807 4780 0 -1 4202560 1152 0 0 0 27 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785689020944 139786142043459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15151156 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 1806 0 0 0 40 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15151156 memory=4638778398332767568 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15151156 memory=7590088644169001836 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475146450 15514783744 22763 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92504 KiB

[startup+1.50086 s]
/proc/loadavg: 8.72 8.59 6.91 12/237 6827
/proc/meminfo: memFree=7317912/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0

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

/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 284 0 0 0 0 5 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6824] ppid=6807 vsize=15417412 memory=407504 CPUtime=217.03 cores=0,2,4,6
/proc/6809/task/6824/stat : 6824 (java) R 6807 6807 4780 0 -1 4202560 956 0 0 0 21702 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785609522744 139785773725555 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6825] ppid=6807 vsize=15417412 memory=10596 CPUtime=216.83 cores=0,2,4,6
/proc/6809/task/6825/stat : 6825 (java) R 6807 6807 4780 0 -1 4202560 3921 0 0 0 21682 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785608473040 139785773725444 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6826] ppid=6807 vsize=15417412 memory=1712 CPUtime=216.59 cores=0,2,4,6
/proc/6809/task/6826/stat : 6826 (java) R 6807 6807 4780 0 -1 4202560 878 0 0 0 21657 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785607418280 139785773345107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6827] ppid=6807 vsize=15417412 memory=1452 CPUtime=216.52 cores=0,2,4,6
/proc/6809/task/6827/stat : 6827 (java) R 6807 6807 4780 0 -1 4202560 3949 0 0 0 21650 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785606365488 139785773500730 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 874.55 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 408444 KiB

[startup+221.201 s]
/proc/loadavg: 8.18 8.34 7.16 11/238 6851
/proc/meminfo: memFree=7035996/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15417412 memory=406992 CPUtime=876.1 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 53378 0 0 0 87566 44 0 0 20 0 19 0 475146444 15787429888 101748 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3854353 101748 3531 1 0 3815453 0
[pid=6809/tid=6810] ppid=6807 vsize=15417412 memory=1980 CPUtime=0.82 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) S 6807 6807 4780 0 -1 1077944384 9141 0 0 0 78 4 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139786162787456 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2562 0 0 0 67 5 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2125 0 0 0 65 6 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 2244 0 0 0 67 6 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15417412 memory=417104 CPUtime=0.7 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2466 0 0 0 65 5 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15417412 memory=2828 CPUtime=0.38 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 4857 0 0 0 30 8 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15417412 memory=1048 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785693238496 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15417412 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475146448 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785692185344 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15417412 memory=612 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15417412 memory=1220 CPUtime=1.33 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) S 6807 6807 4780 0 -1 1077944384 5818 0 0 0 132 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785690082032 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15417412 memory=14004 CPUtime=1.37 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) S 6807 6807 4780 0 -1 1077944384 5953 0 0 0 136 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785689029488 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15417412 memory=2116 CPUtime=0.65 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 6783 0 0 0 64 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15417412 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15417412 memory=2828 CPUtime=0.05 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 284 0 0 0 0 5 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6824] ppid=6807 vsize=15417412 memory=1048 CPUtime=217.41 cores=0,2,4,6
/proc/6809/task/6824/stat : 6824 (java) R 6807 6807 4780 0 -1 4202560 956 0 0 0 21740 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785609522744 139785772906553 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6825] ppid=6807 vsize=15417412 memory=6016 CPUtime=217.22 cores=0,2,4,6
/proc/6809/task/6825/stat : 6825 (java) R 6807 6807 4780 0 -1 4202560 3921 0 0 0 21721 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785608473040 139785773345598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6826] ppid=6807 vsize=15417412 memory=288230574492221466 CPUtime=216.98 cores=0,2,4,6
/proc/6809/task/6826/stat : 6826 (java) R 6807 6807 4780 0 -1 4202560 878 0 0 0 21696 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785607418280 139785773345371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6827] ppid=6807 vsize=15417412 memory=288230583166042426 CPUtime=216.92 cores=0,2,4,6
/proc/6809/task/6827/stat : 6827 (java) R 6807 6807 4780 0 -1 4202560 3949 0 0 0 21690 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785606365488 139785773500701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 876.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 408444 KiB

[startup+221.601 s]
/proc/loadavg: 8.18 8.34 7.16 11/238 6851
/proc/meminfo: memFree=7035996/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15417412 memory=406992 CPUtime=877.7 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 53380 0 0 0 87726 44 0 0 20 0 19 0 475146444 15787429888 101748 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3854353 101748 3531 1 0 3815453 0
[pid=6809/tid=6810] ppid=6807 vsize=15417412 memory=2016 CPUtime=0.82 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) S 6807 6807 4780 0 -1 1077944384 9141 0 0 0 78 4 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139786162787456 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15417412 memory=8112282956445269571 CPUtime=0.72 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2562 0 0 0 67 5 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15417412 memory=1540 CPUtime=0.71 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2125 0 0 0 65 6 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15417412 memory=772 CPUtime=0.73 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 2245 0 0 0 67 6 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15417412 memory=10596 CPUtime=0.71 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2466 0 0 0 66 5 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15417412 memory=1712 CPUtime=0.38 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 4857 0 0 0 30 8 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785693238496 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15417412 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475146448 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785692185344 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15417412 memory=1048 CPUtime=1.33 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) S 6807 6807 4780 0 -1 1077944384 5818 0 0 0 132 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785690082032 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15417412 memory=6016 CPUtime=1.37 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) S 6807 6807 4780 0 -1 1077944384 5953 0 0 0 136 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785689029488 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15417412 memory=612 CPUtime=0.65 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 6783 0 0 0 64 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15417412 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15417412 memory=14004 CPUtime=0.05 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 284 0 0 0 0 5 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6824] ppid=6807 vsize=15417412 memory=14060 CPUtime=217.81 cores=0,2,4,6
/proc/6809/task/6824/stat : 6824 (java) R 6807 6807 4780 0 -1 4202560 957 0 0 0 21780 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785609522416 139785772906047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6825] ppid=6807 vsize=15417412 memory=2116 CPUtime=217.62 cores=0,2,4,6
/proc/6809/task/6825/stat : 6825 (java) R 6807 6807 4780 0 -1 4202560 3921 0 0 0 21761 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785608470112 139785774257158 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6826] ppid=6807 vsize=15417412 memory=27700 CPUtime=217.38 cores=0,2,4,6
/proc/6809/task/6826/stat : 6826 (java) R 6807 6807 4780 0 -1 4202560 878 0 0 0 21736 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785607417656 139785773345390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6827] ppid=6807 vsize=15417412 memory=532 CPUtime=217.31 cores=0,2,4,6
/proc/6809/task/6827/stat : 6827 (java) R 6807 6807 4780 0 -1 4202560 3949 0 0 0 21729 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785606367984 139785773343980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 877.7 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 408444 KiB

[startup+221.701 s]
/proc/loadavg: 8.18 8.34 7.16 11/238 6851
/proc/meminfo: memFree=7035996/32770624 swapFree=66997184/67108860
[pid=6807] ppid=6804 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6807/stat : 6807 (xcsp3-exec) S 6804 6807 4780 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475146444 115843072 363 33554432000 4194304 5098028 140720479040256 140720479038360 140288925147772 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32907264 140720479048535 140720479048793 140720479048793 140720479051718 0
/proc/6807/statm: 28282 363 304 221 0 87 0
[pid=6809] ppid=6807 vsize=15417412 memory=406992 CPUtime=878.1 cores=0,2,4,6
/proc/6809/stat : 6809 (java) S 6807 6807 4780 0 -1 1077944320 53380 0 0 0 87766 44 0 0 20 0 19 0 475146444 15787429888 101748 33554432000 4194304 4196468 140726081562496 140726081545040 139786158546679 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
/proc/6809/statm: 3854353 101748 3531 1 0 3815453 0
[pid=6809/tid=6810] ppid=6807 vsize=15417412 memory=406992 CPUtime=0.82 cores=0,2,4,6
/proc/6809/task/6810/stat : 6810 (java) S 6807 6807 4780 0 -1 1077944384 9141 0 0 0 78 4 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139786162787456 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6811] ppid=6807 vsize=15417412 memory=406992 CPUtime=0.72 cores=0,2,4,6
/proc/6809/task/6811/stat : 6811 (java) S 6807 6807 4780 0 -1 1077944384 2562 0 0 0 67 5 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785750834192 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6812] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/6809/task/6812/stat : 6812 (java) S 6807 6807 4780 0 -1 1077944384 2125 0 0 0 65 6 0 0 20 0 19 0 475146445 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785749781648 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6813] ppid=6807 vsize=15417412 memory=1556 CPUtime=0.73 cores=0,2,4,6
/proc/6809/task/6813/stat : 6813 (java) S 6807 6807 4780 0 -1 1077944384 2245 0 0 0 67 6 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785748728592 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6814] ppid=6807 vsize=15417412 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/6809/task/6814/stat : 6814 (java) S 6807 6807 4780 0 -1 1077944384 2466 0 0 0 66 5 0 0 20 0 19 0 475146446 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785747676048 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6815] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.38 cores=0,2,4,6
/proc/6809/task/6815/stat : 6815 (java) S 6807 6807 4780 0 -1 1077944384 4857 0 0 0 30 8 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785694292208 139786158557826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6816] ppid=6807 vsize=15417412 memory=406992 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6816/stat : 6816 (java) S 6807 6807 4780 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 475146447 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785693238496 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6817] ppid=6807 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6817/stat : 6817 (java) S 6807 6807 4780 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 475146448 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785692185344 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6818] ppid=6807 vsize=15417412 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6818/stat : 6818 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785691133904 139786158565275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6819] ppid=6807 vsize=15417412 memory=1452 CPUtime=1.33 cores=0,2,4,6
/proc/6809/task/6819/stat : 6819 (java) S 6807 6807 4780 0 -1 1077944384 5818 0 0 0 132 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785690082032 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6820] ppid=6807 vsize=15417412 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/6809/task/6820/stat : 6820 (java) S 6807 6807 4780 0 -1 1077944384 5953 0 0 0 136 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785689029488 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6821] ppid=6807 vsize=15417412 memory=1540 CPUtime=0.65 cores=0,2,4,6
/proc/6809/task/6821/stat : 6821 (java) S 6807 6807 4780 0 -1 1077944384 6783 0 0 0 64 1 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785687976432 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6822] ppid=6807 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/6809/task/6822/stat : 6822 (java) S 6807 6807 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785686924128 139786158556885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6823] ppid=6807 vsize=15417412 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/6809/task/6823/stat : 6823 (java) S 6807 6807 4780 0 -1 1077944384 284 0 0 0 0 5 0 0 20 0 19 0 475146450 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785685871152 139786158557826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6824] ppid=6807 vsize=15417412 memory=1452 CPUtime=217.91 cores=0,2,4,6
/proc/6809/task/6824/stat : 6824 (java) R 6807 6807 4780 0 -1 4202560 957 0 0 0 21790 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785609522416 139785773345371 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6825] ppid=6807 vsize=15417412 memory=3515240 CPUtime=217.71 cores=0,2,4,6
/proc/6809/task/6825/stat : 6825 (java) R 6807 6807 4780 0 -1 4202560 3921 0 0 0 21770 1 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785608470112 139785774257063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6826] ppid=6807 vsize=15417412 memory=1412 CPUtime=217.48 cores=0,2,4,6
/proc/6809/task/6826/stat : 6826 (java) R 6807 6807 4780 0 -1 4202560 878 0 0 0 21746 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785607417656 139785773121133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
[pid=6809/tid=6827] ppid=6807 vsize=15417412 memory=3196 CPUtime=217.41 cores=0,2,4,6
/proc/6809/task/6827/stat : 6827 (java) R 6807 6807 4780 0 -1 4202560 3949 0 0 0 21739 2 0 0 20 0 19 0 475146529 15787429888 101748 33554432000 4194304 4196468 140726081562496 139785606367984 139785774257335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8470528 140726081569755 140726081569930 140726081569930 140726081572815 0
Current children cumulated CPU time: 878.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 408444 KiB

Child status: 0
Real time (s): 221.745
CPU time (s): 878.217
CPU user time (s): 877.754
CPU system time (s): 0.462478
CPU usage (%): 396.048
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 589764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 877.754
system time used= 0.462478
maximum resident set size= 592804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19381
involuntary context switches= 18110


# summary of solver processes directly reported to runsolver:
#   pid: 6807
#   total CPU time (s): 878.217
#   total CPU user time (s): 877.754
#   total CPU system time (s): 0.462478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43592 second user time and 2.40196 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army13-24ls.xml
MD5SUM	0f005dd489acd3d024429b7d4f1ec9d6
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	34.6669
Satisfiable
(Un)Satisfiability was proved
Number of variables	490
Number of constraints	737
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":490}]
Minimum variable degree	3
Maximum variable degree	15
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":346},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":8},{"degree":15,"count":56}]
Minimum constraint arity	2
Maximum constraint arity	169
Distribution of constraint arities	[{"arity":2,"count":253},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":346},{"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":8},{"arity":13,"count":8},{"arity":14,"count":56},{"arity":169,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":737}]
Optimization problem	NO
Type of objective
Trace number 4403519

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
