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-24	SAT	29.31	25.5252
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 (13463 MiB free)
  memory of node 1: 16384 MiB (11892 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405858-1569408191/watcher-4405858-1569408191 -o /var/tmp/evaluation-result-4405858-1569408191/solver-4405858-1569408191 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18883 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2044126228 HOME/instance-4405858-1569408191.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=22926, runsolver pid=22923

[startup+0.100058 s]*
/proc/loadavg: 2.20 1.91 1.90 4/229 22942
/proc/meminfo: memFree=25948836/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15144776 memory=28652 CPUtime=0.13 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 5646 0 0 0 12 1 0 0 20 0 15 0 517076846 15508250624 7163 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3786194 7163 3136 1 0 3748377 0
[pid=22928/tid=22929] ppid=22926 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 3552 0 0 0 9 0 0 0 20 0 15 0 517076847 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427972279168 140427968060822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) R 22926 22926 18852 0 -1 4202560 360 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427432495984 140427951268337 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) S 22926 22926 18852 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0.01 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) R 22926 22926 18852 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427430390384 140427968060034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 7163 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30108 KiB

[startup+0.214685 s]*
/proc/loadavg: 2.20 1.91 1.90 3/229 22942
/proc/meminfo: memFree=25936900/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15144776 memory=40664 CPUtime=0.35 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 9442 0 0 0 32 3 0 0 20 0 15 0 517076846 15508250624 10166 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3786194 10166 3275 1 0 3748377 0
[pid=22928/tid=22929] ppid=22926 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 6564 0 0 0 18 2 0 0 20 0 15 0 517076847 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427972285920 140427952129374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15144776 memory=288370725335672448 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076849 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) S 22926 22926 18852 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427432495984 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) R 22926 22926 18852 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15144776 memory=140349183960704 CPUtime=0.08 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) S 22926 22926 18852 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427430390384 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076852 15508250624 10166 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42120 KiB

[startup+0.310562 s]*
/proc/loadavg: 2.20 1.91 1.90 6/229 22942
/proc/meminfo: memFree=25928888/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15149032 memory=49348 CPUtime=0.53 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 10716 0 0 0 50 3 0 0 20 0 15 0 517076846 15512608768 12337 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3787258 12337 3354 1 0 3748377 0
[pid=22928/tid=22929] ppid=22926 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 7672 0 0 0 27 3 0 0 20 0 15 0 517076847 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427972282672 140427952129374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15149032 memory=-7305571267246604447 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076849 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076849 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076849 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) S 22926 22926 18852 0 -1 1077944384 428 0 0 0 4 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427432495984 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) R 22926 22926 18852 0 -1 4202560 461 0 0 0 5 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427431424200 140427947294735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) S 22926 22926 18852 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427430390384 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076852 15512608768 12366 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50804 KiB

[startup+0.700803 s]
/proc/loadavg: 2.51 1.98 1.92 7/229 22942
/proc/meminfo: memFree=25904944/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15151156 memory=92352 CPUtime=1.69 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 15260 0 0 0 163 6 0 0 20 0 15 0 517076846 15514783744 23088 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3787789 23088 3443 1 0 3748889 0
[pid=22928/tid=22929] ppid=22926 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 9037 0 0 0 64 4 0 0 20 0 15 0 517076847 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427972286928 140427596432097 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15151156 memory=55364 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076847 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076847 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15151156 memory=2832 CPUtime=0.26 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) S 22926 22926 18852 0 -1 1077944384 1140 0 0 0 26 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427432495984 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15151156 memory=1620 CPUtime=0.33 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) S 22926 22926 18852 0 -1 1077944384 1651 0 0 0 33 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15151156 memory=1136 CPUtime=0.38 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) R 22926 22926 18852 0 -1 4202560 2123 0 0 0 38 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427430390384 140427946546174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15151156 memory=6196 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 23088 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93808 KiB

[startup+1.50088 s]
/proc/loadavg: 2.51 1.98 1.92 6/229 22942
/proc/meminfo: memFree=25716596/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0

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

/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 15 0 517076847 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15151156 memory=280698124626624 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 154 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15151156 memory=7085964663054688832 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15151156 memory=7518022159162827609 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 158 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15151156 memory=2324508702694522976 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15151156 memory=55364 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15151156 memory=2016 CPUtime=0.87 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) S 22926 22926 18852 0 -1 1077944384 3317 0 0 0 87 0 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427432495984 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15151156 memory=280698124722464 CPUtime=0.93 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) S 22926 22926 18852 0 -1 1077944384 2932 0 0 0 93 0 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15151156 memory=288230621803970871 CPUtime=0.52 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) S 22926 22926 18852 0 -1 1077944384 2938 0 0 0 51 1 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427430390384 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15151156 memory=15825482151102897 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15151156 memory=1390 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 96301 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 386660 KiB

[startup+12.7009 s]
/proc/loadavg: 2.50 2.00 1.93 3/229 22942
/proc/meminfo: memFree=25541600/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15151156 memory=414912 CPUtime=16.1 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 34912 0 0 0 1581 29 0 0 20 0 15 0 517076846 15514783744 103728 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3787789 103728 3498 1 0 3748889 0
[pid=22928/tid=22929] ppid=22926 vsize=15151156 memory=6944656592455359580 CPUtime=12.57 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 12436 0 0 0 1251 6 0 0 20 0 15 0 517076847 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427972285704 140427602531472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15151156 memory=1456 CPUtime=0.08 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 15 0 517076847 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15151156 memory=400420 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 154 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15151156 memory=1456 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15151156 memory=400428 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 158 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15151156 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15151156 memory=151 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15151156 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15151156 memory=28829630602021044 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15151156 memory=288285558849993471 CPUtime=1.24 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) S 22926 22926 18852 0 -1 1077944384 7634 0 0 0 123 1 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427432495984 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15151156 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) S 22926 22926 18852 0 -1 1077944384 8087 0 0 0 131 1 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15151156 memory=7552 CPUtime=0.53 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) S 22926 22926 18852 0 -1 1077944384 4266 0 0 0 52 1 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427430390384 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 103728 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 16.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 416368 KiB

[startup+25.5009 s]
/proc/loadavg: 2.35 1.98 1.93 3/229 23022
/proc/meminfo: memFree=25262012/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15151156 memory=433892 CPUtime=29.27 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 40981 0 0 0 2896 31 0 0 20 0 15 0 517076846 15514783744 108473 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3787789 108473 3498 1 0 3748889 0
[pid=22928/tid=22929] ppid=22926 vsize=15151156 memory=0 CPUtime=25.37 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 13400 0 0 0 2531 6 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427972286040 140427968060822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15151156 memory=2257 CPUtime=0.08 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15151156 memory=280698124834672 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 154 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15151156 memory=5883 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15151156 memory=2517 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 158 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15151156 memory=55364 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15151156 memory=140349062688016 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15151156 memory=417 CPUtime=1.29 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) R 22926 22926 18852 0 -1 4202560 8182 0 0 0 128 1 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427432495984 140427960299477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15151156 memory=7957689449132282197 CPUtime=1.61 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) R 22926 22926 18852 0 -1 1077944384 12211 0 0 0 159 2 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15151156 memory=33 CPUtime=0.55 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) R 22926 22926 18852 0 -1 4202560 4642 0 0 0 54 1 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427430390384 140427947370109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15151156 memory=7811608338056636526 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 29.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 435348 KiB

[startup+25.5252 s]
# the end of solver process 22926 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=28.9869 s, system=0.323062 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.5009 s]
/proc/loadavg: 2.35 1.98 1.93 3/229 23022
/proc/meminfo: memFree=25262012/32770624 swapFree=66956956/67108860
[pid=22926] ppid=22923 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22926/stat : 22926 (xcsp3-exec) S 22923 22926 18852 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517076846 115843072 364 33554432000 4194304 5098028 140730130904368 140730130902472 139740528984700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34078720 140730130907990 140730130908249 140730130908249 140730130911174 0
/proc/22926/statm: 28282 364 305 221 0 87 0
[pid=22928] ppid=22926 vsize=15151156 memory=433892 CPUtime=29.27 cores=0,2,4,6
/proc/22928/stat : 22928 (java) S 22926 22926 18852 0 -1 1077944320 40981 0 0 0 2896 31 0 0 20 0 15 0 517076846 15514783744 108473 33554432000 4194304 4196468 140725706224208 140725706206752 140427968048887 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
/proc/22928/statm: 3787789 108473 3498 1 0 3748889 0
[pid=22928/tid=22929] ppid=22926 vsize=15151156 memory=0 CPUtime=25.37 cores=0,2,4,6
/proc/22928/task/22929/stat : 22929 (java) R 22926 22926 18852 0 -1 4202560 13400 0 0 0 2531 6 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427972286040 140427968060822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22930] ppid=22926 vsize=15151156 memory=2257 CPUtime=0.08 cores=0,2,4,6
/proc/22928/task/22930/stat : 22930 (java) S 22926 22926 18852 0 -1 1077944384 68 0 0 0 4 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427920669840 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22931] ppid=22926 vsize=15151156 memory=280698124834672 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22931/stat : 22931 (java) S 22926 22926 18852 0 -1 1077944384 154 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427919617040 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22932] ppid=22926 vsize=15151156 memory=5883 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22932/stat : 22932 (java) S 22926 22926 18852 0 -1 1077944384 169 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427918564240 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22933] ppid=22926 vsize=15151156 memory=2517 CPUtime=0.09 cores=0,2,4,6
/proc/22928/task/22933/stat : 22933 (java) S 22926 22926 18852 0 -1 1077944384 158 0 0 0 5 4 0 0 20 0 15 0 517076847 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427917511440 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22934] ppid=22926 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22934/stat : 22934 (java) S 22926 22926 18852 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427436706160 140427968060034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22935] ppid=22926 vsize=15151156 memory=55364 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22935/stat : 22935 (java) S 22926 22926 18852 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427435652128 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22936] ppid=22926 vsize=15151156 memory=140349062688016 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22936/stat : 22936 (java) S 22926 22926 18852 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 517076849 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427434599280 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22937] ppid=22926 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22937/stat : 22937 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427433547600 140427968067483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22938] ppid=22926 vsize=15151156 memory=417 CPUtime=1.29 cores=0,2,4,6
/proc/22928/task/22938/stat : 22938 (java) R 22926 22926 18852 0 -1 4202560 8182 0 0 0 128 1 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427432495984 140427960299477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22939] ppid=22926 vsize=15151156 memory=7957689449132282197 CPUtime=1.61 cores=0,2,4,6
/proc/22928/task/22939/stat : 22939 (java) R 22926 22926 18852 0 -1 1077944384 12211 0 0 0 159 2 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427431443184 140427968060034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22940] ppid=22926 vsize=15151156 memory=33 CPUtime=0.55 cores=0,2,4,6
/proc/22928/task/22940/stat : 22940 (java) R 22926 22926 18852 0 -1 4202560 4642 0 0 0 54 1 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427430390384 140427947370109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22941] ppid=22926 vsize=15151156 memory=7811608338056636526 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22941/stat : 22941 (java) S 22926 22926 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427429337824 140427968059093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
[pid=22928/tid=22942] ppid=22926 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22928/task/22942/stat : 22942 (java) S 22926 22926 18852 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 517076852 15514783744 108473 33554432000 4194304 4196468 140725706224208 140427428285104 140427968060034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24485888 140725706232795 140725706232970 140725706232970 140725706235855 0
Current children cumulated CPU time: 29.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 435348 KiB

Child status: 0
Real time (s): 25.5252
CPU time (s): 29.31
CPU user time (s): 28.9869
CPU system time (s): 0.323062
CPU usage (%): 114.827
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 436432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9869
system time used= 0.323062
maximum resident set size= 438408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42838
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= 2788
involuntary context switches= 56


# summary of solver processes directly reported to runsolver:
#   pid: 22926
#   total CPU time (s): 29.31
#   total CPU user time (s): 28.9869
#   total CPU system time (s): 0.323062

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.199891 second user time and 0.274187 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 4405858

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
