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	71.5633	19.232
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 (10794 MiB free)
  memory of node 1: 16384 MiB (10236 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403458-1568991580/watcher-4403458-1568991580 -o /var/tmp/evaluation-result-4403458-1568991580/solver-4403458-1568991580 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1832241128 HOME/instance-4403458-1568991580.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
Current StackSize limit: 8192 KiB

solver pid=28999, runsolver pid=28996

[startup+0.100058 s]*
/proc/loadavg: 8.18 8.60 8.33 7/233 29015
/proc/meminfo: memFree=21520548/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15144776 memory=28780 CPUtime=0.13 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 5656 0 0 0 12 1 0 0 20 0 15 0 475406632 15508250624 7195 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3786194 7195 3164 1 0 3748377 0
[pid=29001/tid=29002] ppid=28999 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) R 28999 28999 25111 0 -1 4202560 3543 0 0 0 8 1 0 0 20 0 15 0 475406632 15508250624 7195 33554432000 4194304 4196468 140725772319072 140234387390224 140234375404350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 7195 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 7195 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 7195 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 7195 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406634 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406635 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233850725536 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406635 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233849672432 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406637 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 408 0 0 0 0 0 0 0 20 0 15 0 475406637 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 475406637 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0.02 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) R 28999 28999 25111 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 475406637 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233845463536 140234383178370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406638 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406638 15508250624 7195 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30236 KiB

[startup+0.210752 s]*
/proc/loadavg: 8.18 8.60 8.33 7/233 29015
/proc/meminfo: memFree=21506060/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15144776 memory=41044 CPUtime=0.35 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 9465 0 0 0 32 3 0 0 20 0 15 0 475406632 15508250624 10261 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3786194 10261 3318 1 0 3748377 0
[pid=29001/tid=29002] ppid=28999 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) R 28999 28999 25111 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 15 0 475406632 15508250624 10261 33554432000 4194304 4196468 140725772319072 140234387403984 140234367247710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 10261 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15144776 memory=139922666207969 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 10261 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 10261 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15508250624 10261 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406634 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406635 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233850725536 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406635 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233849672432 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406637 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 15 0 475406637 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 475406637 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15144776 memory=139922662680192 CPUtime=0.07 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) R 28999 28999 25111 0 -1 4202560 782 0 0 0 7 0 0 0 20 0 15 0 475406637 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233845463536 140234367247710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406638 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406638 15508250624 10261 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42500 KiB

[startup+0.318159 s]*
/proc/loadavg: 8.18 8.60 8.33 7/233 29015
/proc/meminfo: memFree=21498796/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15149032 memory=50412 CPUtime=0.54 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 10941 0 0 0 51 3 0 0 20 0 15 0 475406632 15512608768 12603 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3787258 12603 3361 1 0 3748377 0
[pid=29001/tid=29002] ppid=28999 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) R 28999 28999 25111 0 -1 4202560 7839 0 0 0 28 3 0 0 20 0 15 0 475406632 15512608768 12603 33554432000 4194304 4196468 140725772319072 140234387398336 140234367247710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15512608768 12603 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15512608768 12603 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15512608768 12603 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15512608768 12603 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406634 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406635 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233850725536 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406635 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233849672432 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406637 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) R 28999 28999 25111 0 -1 1077944384 575 0 0 0 5 0 0 0 20 0 15 0 475406637 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 352 0 0 0 4 0 0 0 20 0 15 0 475406637 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) R 28999 28999 25111 0 -1 4202560 865 0 0 0 12 0 0 0 20 0 15 0 475406637 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233845463536 140234362082880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406638 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406638 15512608768 12603 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51868 KiB

[startup+0.701153 s]
/proc/loadavg: 8.18 8.60 8.33 8/233 29015
/proc/meminfo: memFree=21478132/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15151156 memory=89872 CPUtime=1.66 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 15151 0 0 0 161 5 0 0 20 0 15 0 475406632 15514783744 22468 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3787789 22468 3442 1 0 3748889 0
[pid=29001/tid=29002] ppid=28999 vsize=15151156 memory=29924 CPUtime=0.68 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) R 28999 28999 25111 0 -1 4202560 9040 0 0 0 64 4 0 0 20 0 15 0 475406632 15514783744 22468 33554432000 4194304 4196468 140725772319072 140234387404488 140233987450576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15514783744 22468 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15514783744 22468 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406633 15514783744 22468 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475406633 15514783744 22468 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475406634 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475406635 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233850725536 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475406635 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233849672432 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406637 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15151156 memory=2676 CPUtime=0.32 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 1918 0 0 0 32 0 0 0 20 0 15 0 475406637 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15151156 memory=1764 CPUtime=0.25 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 970 0 0 0 25 0 0 0 20 0 15 0 475406637 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15151156 memory=111632 CPUtime=0.38 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) R 28999 28999 25111 0 -1 4202560 1913 0 0 0 38 0 0 0 20 0 15 0 475406637 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233845463536 140234361971551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475406638 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475406638 15514783744 22468 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91328 KiB

[startup+1.50116 s]
/proc/loadavg: 8.18 8.60 8.33 9/233 29015
/proc/meminfo: memFree=21293880/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0

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

/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 631 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29018] ppid=28999 vsize=15417412 memory=29924 CPUtime=13.31 cores=0,2,4,6
/proc/29001/task/29018/stat : 29018 (java) R 28999 28999 25111 0 -1 4202560 1494 0 0 0 1331 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233767017152 140233995115875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29019] ppid=28999 vsize=15417412 memory=1556 CPUtime=12.82 cores=0,2,4,6
/proc/29001/task/29019/stat : 29019 (java) R 28999 28999 25111 0 -1 4202560 1936 0 0 0 1282 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233765965464 140233995039044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29020] ppid=28999 vsize=15417412 memory=500 CPUtime=12.9 cores=0,2,4,6
/proc/29001/task/29020/stat : 29020 (java) R 28999 28999 25111 0 -1 4202560 3733 0 0 0 1290 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233764912784 140233995039054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29021] ppid=28999 vsize=15417412 memory=932 CPUtime=13.07 cores=0,2,4,6
/proc/29001/task/29021/stat : 29021 (java) R 28999 28999 25111 0 -1 4202560 1139 0 0 0 1307 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233763860888 140233995038962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 65.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512552 KiB

[startup+18.4012 s]
/proc/loadavg: 8.36 8.62 8.34 9/237 29021
/proc/meminfo: memFree=20053248/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15417412 memory=1511096 CPUtime=68.93 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 50500 0 0 0 6770 123 0 0 20 0 19 0 475406632 15787429888 377774 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3854353 377774 3541 1 0 3815453 0
[pid=29001/tid=29002] ppid=28999 vsize=15417412 memory=1980 CPUtime=2.29 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) S 28999 28999 25111 0 -1 1077944384 10442 0 0 0 219 10 0 0 20 0 19 0 475406632 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234387408000 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15417412 memory=1511096 CPUtime=1.5 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1283 0 0 0 122 28 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15417412 memory=1764 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 1134 0 0 0 120 27 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15417412 memory=1456 CPUtime=1.45 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 803 0 0 0 119 26 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15417412 memory=1510996 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 1013 0 0 0 122 25 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15417412 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 1564 0 0 0 3 0 0 0 20 0 19 0 475406634 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15417412 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233850725600 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233849672448 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15417412 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15417412 memory=6944656575208382560 CPUtime=2.38 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 10423 0 0 0 236 2 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15417412 memory=-4866523618376441967 CPUtime=2.3 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 8978 0 0 0 229 1 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15417412 memory=-7595718147998063045 CPUtime=0.64 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) S 28999 28999 25111 0 -1 1077944384 4491 0 0 0 63 1 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233845463536 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15417412 memory=-7027408097459412384 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15417412 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 631 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29018] ppid=28999 vsize=15417412 memory=8996927262922995242 CPUtime=14.11 cores=0,2,4,6
/proc/29001/task/29018/stat : 29018 (java) R 28999 28999 25111 0 -1 4202560 1551 0 0 0 1411 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233767017152 140233995115803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29019] ppid=28999 vsize=15417412 memory=-6438873977618481089 CPUtime=13.62 cores=0,2,4,6
/proc/29001/task/29019/stat : 29019 (java) R 28999 28999 25111 0 -1 4202560 2010 0 0 0 1362 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233765965464 140233995115856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29020] ppid=28999 vsize=15417412 memory=0 CPUtime=13.7 cores=0,2,4,6
/proc/29001/task/29020/stat : 29020 (java) R 28999 28999 25111 0 -1 4202560 3735 0 0 0 1370 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233764912920 140233995038885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29021] ppid=28999 vsize=15417412 memory=0 CPUtime=13.86 cores=0,2,4,6
/proc/29001/task/29021/stat : 29021 (java) R 28999 28999 25111 0 -1 4202560 1141 0 0 0 1386 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233763860888 140233995038872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 68.93 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512552 KiB

[startup+18.8012 s]
/proc/loadavg: 8.36 8.62 8.34 9/237 29021
/proc/meminfo: memFree=20053248/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15417412 memory=1511096 CPUtime=70.52 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 50503 0 0 0 6929 123 0 0 20 0 19 0 475406632 15787429888 377774 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3854353 377774 3541 1 0 3815453 0
[pid=29001/tid=29002] ppid=28999 vsize=15417412 memory=14689690934577713 CPUtime=2.29 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) S 28999 28999 25111 0 -1 1077944384 10442 0 0 0 219 10 0 0 20 0 19 0 475406632 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234387408000 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15417412 memory=636 CPUtime=1.5 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1283 0 0 0 122 28 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15417412 memory=2836 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 1134 0 0 0 120 27 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15417412 memory=1056 CPUtime=1.45 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 803 0 0 0 119 26 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15417412 memory=1568 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 1013 0 0 0 122 25 0 0 20 0 19 0 475406633 15787429888 377774 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15417412 memory=1048 CPUtime=0.03 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 1564 0 0 0 3 0 0 0 20 0 19 0 475406634 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15417412 memory=13976 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233850725600 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15417412 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233849672448 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15417412 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 10423 0 0 0 236 2 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15417412 memory=139922518486724 CPUtime=2.3 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 8978 0 0 0 229 1 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15417412 memory=500 CPUtime=0.64 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) S 28999 28999 25111 0 -1 1077944384 4491 0 0 0 63 1 0 0 20 0 19 0 475406637 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233845463536 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15417412 memory=7883313791481690417 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15417412 memory=8386028099870011698 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 631 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29018] ppid=28999 vsize=15417412 memory=8242475861781131570 CPUtime=14.51 cores=0,2,4,6
/proc/29001/task/29018/stat : 29018 (java) R 28999 28999 25111 0 -1 4202560 1551 0 0 0 1451 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233767017152 140233995115816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29019] ppid=28999 vsize=15417412 memory=7020451435405574586 CPUtime=14.02 cores=0,2,4,6
/proc/29001/task/29019/stat : 29019 (java) R 28999 28999 25111 0 -1 4202560 2010 0 0 0 1402 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233765965464 140233995038872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29020] ppid=28999 vsize=15417412 memory=7886128541282087474 CPUtime=14.1 cores=0,2,4,6
/proc/29001/task/29020/stat : 29020 (java) R 28999 28999 25111 0 -1 4202560 3738 0 0 0 1410 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233764912920 140233995115708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29021] ppid=28999 vsize=15417412 memory=8389687274684691250 CPUtime=14.25 cores=0,2,4,6
/proc/29001/task/29021/stat : 29021 (java) R 28999 28999 25111 0 -1 4202560 1141 0 0 0 1425 0 0 0 20 0 19 0 475407020 15787429888 377774 33554432000 4194304 4196468 140725772319072 140233763860888 140233995115864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 70.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512552 KiB

[startup+19.2009 s]
/proc/loadavg: 8.36 8.62 8.34 8/237 29021
/proc/meminfo: memFree=20053096/32770624 swapFree=67002248/67108860
[pid=28999] ppid=28996 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28999/stat : 28999 (xcsp3-exec) S 28996 28999 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475406632 115843072 364 33554432000 4194304 5098028 140736585030240 140736585028344 140673444450940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27074560 140736585036630 140736585036889 140736585036889 140736585039814 0
/proc/28999/statm: 28282 364 305 221 0 87 0
[pid=29001] ppid=28999 vsize=15417412 memory=1511124 CPUtime=71.52 cores=0,2,4,6
/proc/29001/stat : 29001 (java) S 28999 28999 25111 0 -1 1077944320 51034 0 0 0 7029 123 0 0 20 0 19 0 475406632 15787429888 377781 33554432000 4194304 4196468 140725772319072 140725772301616 140234383167223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
/proc/29001/statm: 3854353 377781 3541 1 0 3815453 0
[pid=29001/tid=29002] ppid=28999 vsize=15417412 memory=1416 CPUtime=2.29 cores=0,2,4,6
/proc/29001/task/29002/stat : 29002 (java) S 28999 28999 25111 0 -1 1077944384 10442 0 0 0 219 10 0 0 20 0 19 0 475406632 15787429888 377781 33554432000 4194304 4196468 140725772319072 140234387408000 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29003] ppid=28999 vsize=15417412 memory=776 CPUtime=1.5 cores=0,2,4,6
/proc/29001/task/29003/stat : 29003 (java) S 28999 28999 25111 0 -1 1077944384 1283 0 0 0 122 28 0 0 20 0 19 0 475406633 15787429888 377781 33554432000 4194304 4196468 140725772319072 140234311207952 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29004] ppid=28999 vsize=15417412 memory=3540 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29004/stat : 29004 (java) S 28999 28999 25111 0 -1 1077944384 1134 0 0 0 120 27 0 0 20 0 19 0 475406633 15787429888 377781 33554432000 4194304 4196468 140725772319072 140234310155408 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29005] ppid=28999 vsize=15417412 memory=1220 CPUtime=1.45 cores=0,2,4,6
/proc/29001/task/29005/stat : 29005 (java) S 28999 28999 25111 0 -1 1077944384 803 0 0 0 119 26 0 0 20 0 19 0 475406633 15787429888 377781 33554432000 4194304 4196468 140725772319072 140234309102352 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29006] ppid=28999 vsize=15417412 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/29001/task/29006/stat : 29006 (java) S 28999 28999 25111 0 -1 1077944384 1013 0 0 0 122 25 0 0 20 0 19 0 475406633 15787429888 377781 33554432000 4194304 4196468 140725772319072 140234308049808 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29007] ppid=28999 vsize=15417412 memory=1510996 CPUtime=0.03 cores=0,2,4,6
/proc/29001/task/29007/stat : 29007 (java) S 28999 28999 25111 0 -1 1077944384 1564 0 0 0 3 0 0 0 20 0 19 0 475406634 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233851779312 140234383178370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29008] ppid=28999 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29008/stat : 29008 (java) S 28999 28999 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233850725600 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29009] ppid=28999 vsize=15417412 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29009/stat : 29009 (java) S 28999 28999 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475406635 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233849672448 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29010] ppid=28999 vsize=15417412 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29010/stat : 29010 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406637 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233848621008 140234383185819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29011] ppid=28999 vsize=15417412 memory=776 CPUtime=2.38 cores=0,2,4,6
/proc/29001/task/29011/stat : 29011 (java) S 28999 28999 25111 0 -1 1077944384 10423 0 0 0 236 2 0 0 20 0 19 0 475406637 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233847569136 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29012] ppid=28999 vsize=15417412 memory=1456 CPUtime=2.31 cores=0,2,4,6
/proc/29001/task/29012/stat : 29012 (java) S 28999 28999 25111 0 -1 1077944384 8978 0 0 0 230 1 0 0 20 0 19 0 475406637 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233846516592 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29013] ppid=28999 vsize=15417412 memory=1119216 CPUtime=0.64 cores=0,2,4,6
/proc/29001/task/29013/stat : 29013 (java) S 28999 28999 25111 0 -1 1077944384 4515 0 0 0 63 1 0 0 20 0 19 0 475406637 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233845463536 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29014] ppid=28999 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29014/stat : 29014 (java) S 28999 28999 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233844411232 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29015] ppid=28999 vsize=15417412 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/29001/task/29015/stat : 29015 (java) S 28999 28999 25111 0 -1 1077944384 631 0 0 0 0 0 0 0 20 0 19 0 475406638 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233843358256 140234383178370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29018] ppid=28999 vsize=15417412 memory=834088 CPUtime=14.72 cores=0,2,4,6
/proc/29001/task/29018/stat : 29018 (java) S 28999 28999 25111 0 -1 1077944384 1556 0 0 0 1472 0 0 0 20 0 19 0 475407020 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233767022272 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29019] ppid=28999 vsize=15417412 memory=-7027408097459412384 CPUtime=14.29 cores=0,2,4,6
/proc/29001/task/29019/stat : 29019 (java) S 28999 28999 25111 0 -1 1077944384 2042 0 0 0 1429 0 0 0 20 0 19 0 475407020 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233765970640 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29020] ppid=28999 vsize=15417412 memory=-7457052372387209120 CPUtime=14.23 cores=0,2,4,6
/proc/29001/task/29020/stat : 29020 (java) S 28999 28999 25111 0 -1 1077944384 4205 0 0 0 1423 0 0 0 20 0 19 0 475407020 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233764918096 140234383177429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
[pid=29001/tid=29021] ppid=28999 vsize=15417412 memory=1456 CPUtime=14.65 cores=0,2,4,6
/proc/29001/task/29021/stat : 29021 (java) R 28999 28999 25111 0 -1 4202560 1144 0 0 0 1465 0 0 0 20 0 19 0 475407020 15787429888 377781 33554432000 4194304 4196468 140725772319072 140233763860888 140233995038909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16379904 140725772325851 140725772326026 140725772326026 140725772328911 0
Current children cumulated CPU time: 71.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1512580 KiB

Child status: 0
Real time (s): 19.232
CPU time (s): 71.5633
CPU user time (s): 70.312
CPU system time (s): 1.25129
CPU usage (%): 372.105
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1516512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.312
system time used= 1.25129
maximum resident set size= 1515396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52327
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= 3135
involuntary context switches= 1644


# summary of solver processes directly reported to runsolver:
#   pid: 28999
#   total CPU time (s): 71.5633
#   total CPU user time (s): 70.312
#   total CPU system time (s): 1.25129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.136118 second user time and 0.262514 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-SF/ Subisomorphism-B-08.xml
MD5SUM	47da5ea68f3d94e6d7990d40a1ef4aa5
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.530623
Satisfiable
(Un)Satisfiability was proved
Number of variables	540
Number of constraints	1676
Number of domains	1
Minimum domain size	600
Maximum domain size	600
Distribution of domain sizes	[{"size":600,"count":540}]
Minimum variable degree	3
Maximum variable degree	10
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":19},{"degree":5,"count":89},{"degree":6,"count":212},{"degree":8,"count":110},{"degree":9,"count":71},{"degree":10,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	540
Distribution of constraint arities	[{"arity":1,"count":216},{"arity":2,"count":1459},{"arity":540,"count":1}]
Number of extensional constraints	1675
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":1675},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4403458

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
