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

Solver Name	Answer	CPU time	Wall clock time
sat4j-CSP 2017-07-05	SAT	39.597698	15.6243
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 (14556 MiB free)
  memory of node 1: 16384 MiB (15266 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263284-1502635807/watcher-4263284-1502635807 -o /tmp/evaluation-result-4263284-1502635807/solver-4263284-1502635807 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502623989-31952 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263284-1502635807.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1861, runsolver pid=1858

[startup+0.100163 s]*
/proc/loadavg: 2.01 2.88 3.23 3/207 1868
/proc/meminfo: memFree=30529064/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10151672 memory=20976 CPUtime=0.03 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 4104 0 0 0 2 1 0 0 20 0 9 0 105492022 10395312128 5244 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2537918 5244 2101 1 0 2527415 0
[pid=1861/tid=1863] ppid=1858 vsize=10151672 memory=-7174084197762691781 CPUtime=0.02 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 2789 0 0 0 2 0 0 0 20 0 9 0 105492030 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140073082130632 140073061975390 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10151672 memory=4349475210443476153 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105492030 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10151672 memory=140009220085376 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105492030 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 105492030 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105492030 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 105492032 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 9 0 105492032 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072184702624 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 105492032 10395312128 5310 18446744073709551615 4194304 4196468 140733375430080 140072183649584 140073077905109 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20976 KiB

[startup+0.210237 s]*
/proc/loadavg: 2.01 2.88 3.23 3/215 1876
/proc/meminfo: memFree=30520484/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10552180 memory=30964 CPUtime=0.1 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 5683 0 0 0 9 1 0 0 20 0 15 0 105492022 10805432320 7741 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2638045 7741 2795 1 0 2627517 0
[pid=1861/tid=1863] ppid=1858 vsize=10554768 memory=-7174084197762691781 CPUtime=0.08 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 4268 0 0 0 7 1 0 0 20 0 15 0 105492030 10808082432 8401 18446744073709551615 4194304 4196468 140733375430080 140073082083248 140073070574621 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10554768 memory=4349475210443476153 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10808082432 8284 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10554768 memory=140009220085376 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10808082432 8020 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10554768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10808082432 8020 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105492030 10806415360 8020 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10553140 memory=140009220085376 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105492032 10806415360 7780 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10553140 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105492032 10806415360 7780 18446744073709551615 4194304 4196468 140733375430080 140072184702624 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10805432320 7772 18446744073709551615 4194304 4196468 140733375430080 140072183649520 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10805432320 7524 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10552180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 105492035 10805432320 7524 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804383744 7524 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551156 memory=140009220085376 CPUtime=0.01 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 293 0 0 0 1 0 0 0 20 0 15 0 105492035 10804383744 7524 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804383744 7524 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10551156 memory=140009220085376 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492040 10804383744 7524 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 30964 KiB

[startup+0.310675 s]*
/proc/loadavg: 2.01 2.88 3.23 3/215 1876
/proc/meminfo: memFree=30510756/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10551156 memory=39120 CPUtime=0.25 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 8572 0 0 0 23 2 0 0 20 0 15 0 105492022 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2637789 9780 2862 1 0 2627261 0
[pid=1861/tid=1863] ppid=1858 vsize=10551156 memory=6933928925625698159 CPUtime=0.18 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 6220 0 0 0 16 2 0 0 20 0 15 0 105492030 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140073082131376 140073061975390 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10551156 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492030 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10551156 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105492030 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105492032 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10551156 memory=-2247047206241195543 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 105492032 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072184702624 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072183649520 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 517 0 0 0 1 0 0 0 20 0 15 0 105492035 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 15 0 105492035 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) R 1858 1861 12395 0 -1 4202560 396 0 0 0 4 0 0 0 20 0 15 0 105492035 10804383744 9780 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906838 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804383744 9846 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492040 10804383744 9846 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 39120 KiB

[startup+0.70147 s]
/proc/loadavg: 2.01 2.88 3.23 3/215 1876
/proc/meminfo: memFree=30366124/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10551232 memory=215516 CPUtime=1.28 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 12583 0 0 0 119 9 0 0 20 0 15 0 105492022 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2637808 53879 3076 1 0 2627261 0
[pid=1861/tid=1863] ppid=1858 vsize=10551232 memory=51784 CPUtime=0.52 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 7450 0 0 0 48 4 0 0 20 0 15 0 105492030 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140073082128448 140072718097664 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10551232 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 105492030 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10551232 memory=6705 CPUtime=0.01 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 105492030 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10551232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 105492030 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10551232 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 119 0 0 0 2 0 0 0 20 0 15 0 105492030 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10551232 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10551232 memory=14266767232998440 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10551232 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) R 1858 1861 12395 0 -1 4202560 1484 0 0 0 24 0 0 0 20 0 15 0 105492035 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072181526216 140073061391691 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551232 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) R 1858 1861 12395 0 -1 4202560 1059 0 0 0 23 0 0 0 20 0 15 0 105492035 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072180483936 140073061395021 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551232 memory=7809523229951467568 CPUtime=0.13 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 802 0 0 0 13 0 0 0 20 0 15 0 105492035 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10551232 memory=-6080246012790399332 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105492040 10804461568 53879 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 215516 KiB

[startup+1.50077 s]
/proc/loadavg: 2.09 2.88 3.23 3/215 1876
/proc/meminfo: memFree=30253616/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10551232 memory=514456 CPUtime=2.99 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 13421 0 0 0 264 35 0 0 20 0 15 0 105492022 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2637808 128614 3084 1 0 2627261 0
[pid=1861/tid=1863] ppid=1858 vsize=10551232 memory=0 CPUtime=1.09 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 7545 0 0 0 104 5 0 0 20 0 15 0 105492030 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140073082132608 140072720466032 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10551232 memory=23 CPUtime=0.24 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 226 0 0 0 18 6 0 0 20 0 15 0 105492030 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10551232 memory=24 CPUtime=0.23 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 214 0 0 0 17 6 0 0 20 0 15 0 105492030 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10551232 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 131 0 0 0 17 6 0 0 20 0 15 0 105492030 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10551232 memory=280018177785104 CPUtime=0.24 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 236 0 0 0 18 6 0 0 20 0 15 0 105492030 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10551232 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10551232 memory=15538526779344677 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10551232 memory=130 CPUtime=0.35 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 1647 0 0 0 35 0 0 0 20 0 15 0 105492035 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551232 memory=164 CPUtime=0.36 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 1067 0 0 0 36 0 0 0 20 0 15 0 105492035 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551232 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 805 0 0 0 14 0 0 0 20 0 15 0 105492035 10804461568 128614 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0

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

[startup+15.6243 s]
# the end of solver process 1861 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=36.639 s, system=2.95862 s

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

[startup+12.801 s]
/proc/loadavg: 2.16 2.87 3.22 3/215 1876
/proc/meminfo: memFree=27606492/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10551232 memory=2942712 CPUtime=34.18 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 31153 0 0 0 3176 242 0 0 20 0 15 0 105492022 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2637808 735678 3111 1 0 2627261 0
[pid=1861/tid=1863] ppid=1858 vsize=10551232 memory=0 CPUtime=3.63 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 9663 0 0 0 353 10 0 0 20 0 15 0 105492030 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140073082132432 140072720052512 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10551232 memory=0 CPUtime=6.84 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 2163 0 0 0 629 55 0 0 20 0 15 0 105492030 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10551232 memory=7680170660397595203 CPUtime=6.81 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 1744 0 0 0 623 58 0 0 20 0 15 0 105492030 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10551232 memory=4132 CPUtime=6.91 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 1819 0 0 0 632 59 0 0 20 0 15 0 105492030 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10551232 memory=51784 CPUtime=6.89 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 1628 0 0 0 635 54 0 0 20 0 15 0 105492030 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10551232 memory=1296 CPUtime=2.05 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 7428 0 0 0 205 0 0 0 20 0 15 0 105492032 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10551232 memory=2460 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10551232 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10551232 memory=1228 CPUtime=0.37 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 1967 0 0 0 37 0 0 0 20 0 15 0 105492035 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551232 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 1663 0 0 0 40 0 0 0 20 0 15 0 105492035 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551232 memory=6944656592455097440 CPUtime=0.17 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 1482 0 0 0 17 0 0 0 20 0 15 0 105492035 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 105492040 10804461568 735678 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 34.18 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 2942712 KiB

[startup+14.4008 s]
/proc/loadavg: 2.16 2.87 3.22 3/215 1876
/proc/meminfo: memFree=27185540/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10551232 memory=3358836 CPUtime=37.31 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 35139 0 0 0 3438 293 0 0 20 0 15 0 105492022 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2637808 839709 3111 1 0 2627261 0
[pid=1861/tid=1863] ppid=1858 vsize=10551232 memory=2460 CPUtime=4.73 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 11100 0 0 0 463 10 0 0 20 0 15 0 105492030 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140073082132288 140072720465862 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10551232 memory=7680170660397595203 CPUtime=7.34 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 2600 0 0 0 666 68 0 0 20 0 15 0 105492030 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10551232 memory=2160 CPUtime=7.31 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 2102 0 0 0 660 71 0 0 20 0 15 0 105492030 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10551232 memory=840 CPUtime=7.42 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 2073 0 0 0 670 72 0 0 20 0 15 0 105492030 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10551232 memory=3904 CPUtime=7.39 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2613 0 0 0 672 67 0 0 20 0 15 0 105492030 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10551232 memory=3040 CPUtime=2.05 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 7542 0 0 0 205 0 0 0 20 0 15 0 105492032 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10551232 memory=3052 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10551232 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105492032 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10551232 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10551232 memory=1228 CPUtime=0.38 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 1995 0 0 0 38 0 0 0 20 0 15 0 105492035 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10551232 memory=1992 CPUtime=0.4 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 1663 0 0 0 40 0 0 0 20 0 15 0 105492035 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10551232 memory=12132 CPUtime=0.2 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 1855 0 0 0 19 1 0 0 20 0 15 0 105492035 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105492035 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10551232 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 105492040 10804461568 839709 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 37.31 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 3358836 KiB

[startup+15.2008 s]
/proc/loadavg: 2.16 2.87 3.22 5/216 1877
/proc/meminfo: memFree=27181928/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10617796 memory=3363260 CPUtime=39.19 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 39617 0 0 0 3625 294 0 0 20 0 16 0 105492022 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2654449 840815 3120 1 0 2643902 0
[pid=1861/tid=1863] ppid=1858 vsize=10617796 memory=147987393154711 CPUtime=5.53 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) R 1858 1861 12395 0 -1 4202560 12361 0 0 0 543 10 0 0 20 0 16 0 105492030 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140073082117360 140072721791151 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10617796 memory=147987393154712 CPUtime=7.34 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 2600 0 0 0 666 68 0 0 20 0 16 0 105492030 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10617796 memory=4132 CPUtime=7.31 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 2102 0 0 0 660 71 0 0 20 0 16 0 105492030 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10617796 memory=4132 CPUtime=7.42 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 2073 0 0 0 670 72 0 0 20 0 16 0 105492030 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10617796 memory=51784 CPUtime=7.39 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2613 0 0 0 672 67 0 0 20 0 16 0 105492030 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10617796 memory=-7094132109863559211 CPUtime=2.05 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 7548 0 0 0 205 0 0 0 20 0 16 0 105492032 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072642058992 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10617796 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 16 0 105492032 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10617796 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105492032 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10617796 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105492035 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072182598096 140073077913499 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10617796 memory=-7812246631623923863 CPUtime=0.89 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 3293 0 0 0 89 0 0 0 20 0 16 0 105492035 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10617796 memory=-7966001967256141664 CPUtime=0.88 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 3079 0 0 0 88 0 0 0 20 0 16 0 105492035 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072180492656 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10617796 memory=6944613755328037012 CPUtime=0.28 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 2331 0 0 0 27 1 0 0 20 0 16 0 105492035 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10617796 memory=3054156605335172724 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105492035 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1876] ppid=1858 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1876/stat : 1876 (java) S 1858 1861 12395 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 16 0 105492040 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072177335344 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1877] ppid=1858 vsize=10617796 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1877/stat : 1877 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105493484 10872623104 840815 18446744073709551615 4194304 4196468 140733375430080 140072176281136 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 39.19 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3363260 KiB

[startup+15.6006 s]
/proc/loadavg: 2.16 2.87 3.22 5/216 1877
/proc/meminfo: memFree=27181928/32770624 swapFree=67108860/67108860
[pid=1861] ppid=1858 vsize=10750924 memory=3363520 CPUtime=39.57 cores=1,3,5,7
/proc/1861/stat : 1861 (java) S 1858 1861 12395 0 -1 1077944320 39924 0 0 0 3663 294 0 0 20 0 14 0 105492022 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140733375412624 140073077894903 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
/proc/1861/statm: 2687731 840880 3128 1 0 2677184 0
[pid=1861/tid=1863] ppid=1858 vsize=10750924 memory=7680170660397595203 CPUtime=5.71 cores=1,3,5,7
/proc/1861/task/1863/stat : 1863 (java) S 1858 1861 12395 0 -1 1077944384 12506 0 0 0 561 10 0 0 20 0 14 0 105492030 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140073082137744 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1864] ppid=1858 vsize=10750924 memory=0 CPUtime=7.34 cores=1,3,5,7
/proc/1861/task/1864/stat : 1864 (java) S 1858 1861 12395 0 -1 1077944384 2600 0 0 0 666 68 0 0 20 0 14 0 105492030 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140073045453328 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1865] ppid=1858 vsize=10750924 memory=0 CPUtime=7.31 cores=1,3,5,7
/proc/1861/task/1865/stat : 1865 (java) S 1858 1861 12395 0 -1 1077944384 2102 0 0 0 660 71 0 0 20 0 14 0 105492030 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072687581840 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1866] ppid=1858 vsize=10750924 memory=0 CPUtime=7.42 cores=1,3,5,7
/proc/1861/task/1866/stat : 1866 (java) S 1858 1861 12395 0 -1 1077944384 2073 0 0 0 670 72 0 0 20 0 14 0 105492030 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072686528784 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1867] ppid=1858 vsize=10750924 memory=0 CPUtime=7.39 cores=1,3,5,7
/proc/1861/task/1867/stat : 1867 (java) S 1858 1861 12395 0 -1 1077944384 2613 0 0 0 672 67 0 0 20 0 14 0 105492030 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072685476240 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1868] ppid=1858 vsize=10750924 memory=0 CPUtime=2.05 cores=1,3,5,7
/proc/1861/task/1868/stat : 1868 (java) S 1858 1861 12395 0 -1 1077944384 7548 0 0 0 205 0 0 0 20 0 14 0 105492032 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072642059200 140073077906050 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1869] ppid=1858 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1869/stat : 1869 (java) S 1858 1861 12395 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 14 0 105492032 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072184702688 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1870] ppid=1858 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1870/stat : 1870 (java) S 1858 1861 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 105492032 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072183649536 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1871] ppid=1858 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1871/stat : 1871 (java) S 1858 1861 12395 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 105492035 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072182596864 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1872] ppid=1858 vsize=10750924 memory=2460 CPUtime=0.95 cores=1,3,5,7
/proc/1861/task/1872/stat : 1872 (java) S 1858 1861 12395 0 -1 1077944384 3304 0 0 0 95 0 0 0 20 0 14 0 105492035 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072181545200 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1873] ppid=1858 vsize=10750924 memory=1728 CPUtime=0.99 cores=1,3,5,7
/proc/1861/task/1873/stat : 1873 (java) S 1858 1861 12395 0 -1 1077944384 3105 0 0 0 99 0 0 0 20 0 14 0 105492035 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072180473136 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1874] ppid=1858 vsize=10750924 memory=1012 CPUtime=0.29 cores=1,3,5,7
/proc/1861/task/1874/stat : 1874 (java) S 1858 1861 12395 0 -1 1077944384 2369 0 0 0 28 1 0 0 20 0 14 0 105492035 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072179439600 140073077906050 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
[pid=1861/tid=1875] ppid=1858 vsize=10750924 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1861/task/1875/stat : 1875 (java) S 1858 1861 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 105492035 11008946176 840880 18446744073709551615 4194304 4196468 140733375430080 140072178387296 140073077905109 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20361216 140733375431056 140733375431209 140733375431209 140733375434703 0
Current children cumulated CPU time: 39.57 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 3363520 KiB

Child status: 0
Real time (s): 15.6243
CPU time (s): 39.5977
CPU user time (s): 36.639
CPU system time (s): 2.95862
CPU usage (%): 253.436
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 3363520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.639
system time used= 2.95862
maximum resident set size= 3363836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39945
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= 2317
involuntary context switches= 478


# summary of solver processes directly reported to runsolver:
#   pid: 1861
#   total CPU time (s): 39.5977
#   total CPU user time (s): 36.639
#   total CPU system time (s): 2.95862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.128947 second user time and 0.186256 second system time

The end
Name	Domino/ Domino-m1-s1/Domino-300-300.xml
MD5SUM	f2877c27d9d8eb249e584ffb90778d14
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.0095349997
Satisfiable
(Un)Satisfiability was proved
Number of variables	300
Number of constraints	2
Number of domains	1
Minimum domain size	300
Maximum domain size	300
Distribution of domain sizes	[{"size":300,"count":300}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":298},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":300,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective
Trace number 4263284

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
