2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2	SAT (TO)	14	2520.19	2471.56
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 (13386 MiB free)
  memory of node 1: 16384 MiB (13370 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304339-1534105342/watcher-4304339-1534105342 -o /tmp/evaluation-result-4304339-1534105342/solver-4304339-1534105342 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1960 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=482945576 HOME/instance-4304339-1534105342.xml 

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

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


[startup+0.100194 s]*
/proc/loadavg: 1.47 1.37 1.38 3/203 3869
/proc/meminfo: memFree=27392812/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=10005480 memory=16544 CPUtime=0.09 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 4258 13008 0 0 1 0 5 3 20 0 6 0 228097433 10245611520 4136 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2501370 4136 1932 1 0 2489808 0
[pid=3816/tid=3869] ppid=3813 vsize=10005480 memory=-8745273339715829699 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 2119 13008 0 0 0 0 5 3 20 0 6 0 228097442 10245611520 4136 33554432000 4194304 4196468 140727612052720 140055946232400 140055958476126 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 228097443 10245611520 4136 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=10005480 memory=140356145972864 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 228097443 10245611520 4136 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 6 0 228097443 10245611520 4136 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 228097443 10245611520 4136 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB

[startup+0.210089 s]*
/proc/loadavg: 1.47 1.37 1.38 3/216 3882
/proc/meminfo: memFree=27369204/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=10982696 memory=44960 CPUtime=0.26 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 8547 13008 0 0 16 2 5 3 20 0 15 0 228097433 11246280704 11240 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2745674 11240 2967 1 0 2708109 0
[pid=3816/tid=3869] ppid=3813 vsize=10982696 memory=8514701219931451533 CPUtime=0.19 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 5101 13008 0 0 10 1 5 3 20 0 15 0 228097442 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055946193296 140055974416986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=10982696 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=10982696 memory=140356145972864 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=10982696 memory=140356145972864 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 228097444 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246280704 11240 33554432000 4194304 4196468 140727612052720 140054789874720 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246280704 11240 33554432000 4194304 4196468 140727612052720 140054588547952 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 547 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 71 13008 0 0 1 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=10982696 memory=140356145972864 CPUtime=0.11 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 617 13008 0 0 3 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=10982696 memory=140356145972864 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246280704 11240 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44960 KiB

[startup+0.310419 s]*
/proc/loadavg: 1.47 1.37 1.38 3/216 3882
/proc/meminfo: memFree=27357048/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=10983192 memory=55044 CPUtime=0.39 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 10297 13008 0 0 28 3 5 3 20 0 15 0 228097433 11246788608 13761 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2745798 13761 3099 1 0 2708109 0
[pid=3816/tid=3869] ppid=3813 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 7088 13008 0 0 19 2 5 3 20 0 15 0 228097442 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055946207648 140055958476126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=10983192 memory=7660737669203382352 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 228097444 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246788608 14025 33554432000 4194304 4196468 140727612052720 140054789874720 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246788608 14025 33554432000 4194304 4196468 140727612052720 140054588547952 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 550 13008 0 0 1 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 71 13008 0 0 1 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 622 13008 0 0 5 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 14025 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55044 KiB

[startup+0.700802 s]
/proc/loadavg: 1.47 1.37 1.38 3/216 3882
/proc/meminfo: memFree=27345676/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=10983192 memory=88604 CPUtime=0.98 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 16813 13008 0 0 86 4 5 3 20 0 15 0 228097433 11246788608 22151 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2745798 22151 3237 1 0 2708109 0
[pid=3816/tid=3869] ppid=3813 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 12391 13008 0 0 56 3 5 3 20 0 15 0 228097442 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055946217360 140055958476126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=10983192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097443 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 228097444 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246788608 22151 33554432000 4194304 4196468 140727612052720 140054789874720 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097445 11246788608 22151 33554432000 4194304 4196468 140727612052720 140054588547952 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 1215 13008 0 0 10 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 313 13008 0 0 6 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 677 13008 0 0 13 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097448 11246788608 22151 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88604 KiB

[startup+1.50452 s]
/proc/loadavg: 1.47 1.37 1.38 3/216 3882
/proc/meminfo: memFree=27299840/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=10996044 memory=180880 CPUtime=2.9 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 24931 13008 0 0 273 9 5 3 20 0 15 0 228097433 11259949056 45220 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2749011 45220 3446 1 0 2710669 0
[pid=3816/tid=3869] ppid=3813 vsize=10996044 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) S 3813 3816 1929 0 -1 1077944384 17105 13008 0 0 132 5 5 3 20 0 15 0 228097442 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055946208304 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) R 3813 3816 1929 0 -1 4202560 7 13008 0 0 0 0 5 3 20 0 15 0 228097443 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055978638480 140055959093273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) R 3813 3816 1929 0 -1 4202560 153 13008 0 0 0 0 5 3 20 0 15 0 228097443 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055514373136 140055959093273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) R 3813 3816 1929 0 -1 1077944384 53 13008 0 0 0 0 5 3 20 0 15 0 228097443 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) R 3813 3816 1929 0 -1 4202560 9 13008 0 0 0 0 5 3 20 0 15 0 228097443 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055512267536 140055959093273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=10996044 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 29 13008 0 0 0 0 5 3 20 0 15 0 228097444 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055467451072 140055974405845 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=10996044 memory=280712083220736 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11259949056 45220 33554432000 4194304 4196468 140727612052720 140054789874720 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097445 11259949056 45220 33554432000 4194304 4196468 140727612052720 140054588547952 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=10996044 memory=1084 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11259949056 45220 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=10996044 memory=1600 CPUtime=0.57 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 2029 13008 0 0 48 1 5 3 20 0 15 0 228097448 11259949056 45220 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=10996044 memory=7952 CPUtime=0.55 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 1669 13008 0 0 47 0 5 3 20 0 15 0 228097448 11259949056 45732 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=10996044 memory=4088 CPUtime=0.5 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 1669 13008 0 0 42 0 5 3 20 0 15 0 228097448 11259949056 45732 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=10996044 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11259949056 45732 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=10996044 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 228097448 11259949056 45732 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10996044 KiB

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

/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 360997 13008 0 0 236722 95 5 3 20 0 15 0 228097442 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055946229392 140055559216960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=11080032 memory=8112282956445269571 CPUtime=9.99 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 31130 13008 0 0 963 28 5 3 20 0 15 0 228097443 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=11080032 memory=3196560 CPUtime=10 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 26940 13008 0 0 965 27 5 3 20 0 15 0 228097443 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=11080032 memory=3195916 CPUtime=9.97 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 30290 13008 0 0 960 29 5 3 20 0 15 0 228097443 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=11080032 memory=280712083661824 CPUtime=9.96 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 27275 13008 0 0 961 27 5 3 20 0 15 0 228097443 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=11080032 memory=3196068 CPUtime=2.93 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 35750 13008 0 0 255 30 5 3 20 0 15 0 228097444 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=11080032 memory=3196560 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 25 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799140 33554432000 4194304 4196468 140727612052720 140054789874848 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=11080032 memory=3196560 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799140 33554432000 4194304 4196468 140727612052720 140054588547968 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=11080032 memory=3196060 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=11080032 memory=3196560 CPUtime=7.52 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 52440 13008 0 0 737 7 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=11080032 memory=3708 CPUtime=7.88 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 65953 13008 0 0 774 6 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=11080032 memory=3196560 CPUtime=3.01 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 46207 13008 0 0 288 5 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=11080032 memory=3196560 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=11080032 memory=3196560 CPUtime=1.52 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1738 13008 0 0 66 78 5 3 20 0 15 0 228097448 11345952768 799140 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 2430.43 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3196560 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.38 1.44 3/216 4110
/proc/meminfo: memFree=24197048/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=11080032 memory=3196020 CPUtime=2490.75 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 691953 13008 0 0 248756 311 5 3 20 0 15 0 228097433 11345952768 799005 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2770008 799005 3533 1 0 2731661 0
[pid=3816/tid=3869] ppid=3813 vsize=11080032 memory=3195880 CPUtime=2428.13 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 367193 13008 0 0 242710 95 5 3 20 0 15 0 228097442 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055946229392 140055567137577 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=11080032 memory=3196020 CPUtime=10.08 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 31345 13008 0 0 972 28 5 3 20 0 15 0 228097443 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=11080032 memory=3196020 CPUtime=10.1 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 27186 13008 0 0 974 28 5 3 20 0 15 0 228097443 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=11080032 memory=3196560 CPUtime=10.07 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 30466 13008 0 0 970 29 5 3 20 0 15 0 228097443 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=11080032 memory=3196560 CPUtime=10.07 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 29109 13008 0 0 971 28 5 3 20 0 15 0 228097443 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=11080032 memory=3196560 CPUtime=2.96 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 36092 13008 0 0 257 31 5 3 20 0 15 0 228097444 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=11080032 memory=3196560 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 25 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799005 33554432000 4194304 4196468 140727612052720 140054789874848 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=11080032 memory=3195604 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799005 33554432000 4194304 4196468 140727612052720 140054588547968 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=11080032 memory=3195880 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=11080032 memory=3196020 CPUtime=7.52 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 52442 13008 0 0 737 7 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=11080032 memory=3196020 CPUtime=7.88 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 65956 13008 0 0 774 6 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=11080032 memory=3196020 CPUtime=3.01 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 48174 13008 0 0 288 5 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=11080032 memory=3196020 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=11080032 memory=3196020 CPUtime=1.56 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1759 13008 0 0 67 81 5 3 20 0 15 0 228097448 11345952768 799005 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 2490.75 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3196020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2471.4 s]
/proc/loadavg: 1.56 1.43 1.45 3/216 4111
/proc/meminfo: memFree=24197412/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=11080032 memory=3196204 CPUtime=2520.01 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 692840 13008 0 0 251681 312 5 3 20 0 15 0 228097433 11345952768 799051 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2770008 799051 3533 1 0 2731661 0
[pid=3816/tid=3869] ppid=3813 vsize=11080032 memory=752 CPUtime=2457.17 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 368026 13008 0 0 245613 96 5 3 20 0 15 0 228097442 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055946229840 140055565356057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=11080032 memory=836 CPUtime=10.13 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 31352 13008 0 0 977 28 5 3 20 0 15 0 228097443 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=11080032 memory=1084 CPUtime=10.15 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 27189 13008 0 0 979 28 5 3 20 0 15 0 228097443 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=11080032 memory=1600 CPUtime=10.11 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 30475 13008 0 0 974 29 5 3 20 0 15 0 228097443 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=11080032 memory=7952 CPUtime=10.12 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 29122 13008 0 0 976 28 5 3 20 0 15 0 228097443 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=11080032 memory=4088 CPUtime=2.97 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 36112 13008 0 0 258 31 5 3 20 0 15 0 228097444 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=11080032 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 25 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799051 33554432000 4194304 4196468 140727612052720 140054789874848 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=11080032 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 228097445 11345952768 799051 33554432000 4194304 4196468 140727612052720 140054588547968 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=11080032 memory=5808 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=11080032 memory=3304 CPUtime=7.52 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 52442 13008 0 0 737 7 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=11080032 memory=1260 CPUtime=7.88 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 65956 13008 0 0 774 6 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=11080032 memory=916 CPUtime=3.01 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 48174 13008 0 0 288 5 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=11080032 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=11080032 memory=2868 CPUtime=1.58 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1761 13008 0 0 68 82 5 3 20 0 15 0 228097448 11345952768 799051 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3196204 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2471.56 s]
# the end of solver process 3816 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.01 s, system=3.18491 s

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

[startup+2471.51 s]
/proc/loadavg: 1.56 1.43 1.45 3/216 4111
/proc/meminfo: memFree=24197412/32770624 swapFree=67108804/67108860
[pid=3816] ppid=3813 vsize=11342184 memory=3198428 CPUtime=2520.12 cores=0,2,4,6
/proc/3816/stat : 3816 (java) S 3813 3816 1929 0 -1 1077944320 693324 13008 0 0 251692 312 5 3 20 0 17 0 228097433 11614396416 799607 33554432000 4194304 4196468 140727612052720 140727612035264 140055974395639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
/proc/3816/statm: 2835546 799607 3534 1 0 2797199 0
[pid=3816/tid=3869] ppid=3813 vsize=11342184 memory=3196204 CPUtime=2457.27 cores=0,2,4,6
/proc/3816/task/3869/stat : 3869 (java) R 3813 3816 1929 0 -1 4202560 368028 13008 0 0 245623 96 5 3 20 0 17 0 228097442 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055946229840 140055545972108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3870] ppid=3813 vsize=11342184 memory=3196204 CPUtime=10.13 cores=0,2,4,6
/proc/3816/task/3870/stat : 3870 (java) S 3813 3816 1929 0 -1 1077944384 31352 13008 0 0 977 28 5 3 20 0 17 0 228097443 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055978638480 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3871] ppid=3813 vsize=11342184 memory=3196204 CPUtime=10.15 cores=0,2,4,6
/proc/3816/task/3871/stat : 3871 (java) S 3813 3816 1929 0 -1 1077944384 27189 13008 0 0 979 28 5 3 20 0 17 0 228097443 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055514373136 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3872] ppid=3813 vsize=11342184 memory=3196204 CPUtime=10.11 cores=0,2,4,6
/proc/3816/task/3872/stat : 3872 (java) S 3813 3816 1929 0 -1 1077944384 30475 13008 0 0 974 29 5 3 20 0 17 0 228097443 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055513320336 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3873] ppid=3813 vsize=11342184 memory=3196204 CPUtime=10.12 cores=0,2,4,6
/proc/3816/task/3873/stat : 3873 (java) S 3813 3816 1929 0 -1 1077944384 29122 13008 0 0 976 28 5 3 20 0 17 0 228097443 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055512267536 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3874] ppid=3813 vsize=11342184 memory=3196204 CPUtime=2.97 cores=0,2,4,6
/proc/3816/task/3874/stat : 3874 (java) S 3813 3816 1929 0 -1 1077944384 36112 13008 0 0 258 31 5 3 20 0 17 0 228097444 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055467452784 140055974406786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3875] ppid=3813 vsize=11342184 memory=3196204 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3875/stat : 3875 (java) S 3813 3816 1929 0 -1 1077944384 25 13008 0 0 0 0 5 3 20 0 17 0 228097445 11614396416 799607 33554432000 4194304 4196468 140727612052720 140054789874848 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3876] ppid=3813 vsize=11342184 memory=3196204 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3876/stat : 3876 (java) S 3813 3816 1929 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 17 0 228097445 11614396416 799607 33554432000 4194304 4196468 140727612052720 140054588547968 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3877] ppid=3813 vsize=11342184 memory=3196204 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3877/stat : 3877 (java) S 3813 3816 1929 0 -1 1077944384 260 13008 0 0 0 0 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140054281148240 140055974414235 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3878] ppid=3813 vsize=11342184 memory=3196204 CPUtime=7.52 cores=0,2,4,6
/proc/3816/task/3878/stat : 3878 (java) S 3813 3816 1929 0 -1 1077944384 52442 13008 0 0 737 7 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055466400624 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3879] ppid=3813 vsize=11342184 memory=3196204 CPUtime=7.88 cores=0,2,4,6
/proc/3816/task/3879/stat : 3879 (java) S 3813 3816 1929 0 -1 1077944384 65956 13008 0 0 774 6 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055465347824 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3880] ppid=3813 vsize=11342184 memory=3196204 CPUtime=3.01 cores=0,2,4,6
/proc/3816/task/3880/stat : 3880 (java) S 3813 3816 1929 0 -1 1077944384 48174 13008 0 0 288 5 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055464295024 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3881] ppid=3813 vsize=11342184 memory=3196204 CPUtime=0.08 cores=0,2,4,6
/proc/3816/task/3881/stat : 3881 (java) S 3813 3816 1929 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140053850352352 140055974405845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
[pid=3816/tid=3882] ppid=3813 vsize=11342184 memory=3196204 CPUtime=1.58 cores=0,2,4,6
/proc/3816/task/3882/stat : 3882 (java) S 3813 3816 1929 0 -1 1077944384 1761 13008 0 0 68 82 5 3 20 0 17 0 228097448 11614396416 799607 33554432000 4194304 4196468 140727612052720 140055463242416 140055974406786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23281664 140727612058221 140727612061020 140727612061020 140727612063695 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 3198428 KiB

Child status: 143
Real time (s): 2471.56
CPU time (s): 2520.19
CPU user time (s): 2517.01
CPU system time (s): 3.18491
CPU usage (%): 101.968
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 3198428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.01
system time used= 3.18491
maximum resident set size= 3198832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 709962
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114718
involuntary context switches= 5415


# summary of solver processes directly reported to runsolver:
#   pid: 3816
#   total CPU time (s): 2520.19
#   total CPU user time (s): 2517.01
#   total CPU system time (s): 3.18491

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4808 second user time and 23.9019 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml
MD5SUM	631d96c8d55ed895f005166b86b2772f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	400
Number of constraints	2760
Number of domains	4
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":8},{"size":36,"count":182},{"size":44,"count":208}]
Minimum variable degree	4
Maximum variable degree	62
Distribution of variable degrees	[{"degree":4,"count":16},{"degree":5,"count":11},{"degree":6,"count":28},{"degree":7,"count":18},{"degree":8,"count":30},{"degree":9,"count":5},{"degree":10,"count":40},{"degree":11,"count":25},{"degree":12,"count":20},{"degree":13,"count":11},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":20},{"degree":17,"count":7},{"degree":18,"count":26},{"degree":19,"count":7},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":5},{"degree":26,"count":9},{"degree":27,"count":4},{"degree":28,"count":2},{"degree":29,"count":4},{"degree":30,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":37,"count":1},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":2760}]
Number of extensional constraints	0
Number of intensional constraints	2760
Distribution of constraint types	[{"type":"intension","count":2760}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4304339

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
