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 (9766 MiB free)
memory of node 1: 16384 MiB (12932 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306902-1534119508/watcher-4306902-1534119508 -o /tmp/evaluation-result-4306902-1534119508/solver-4306902-1534119508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 1399646356 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306902-1534119508.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2914, runsolver pid=2911
[startup+0.100146 s]*
/proc/loadavg: 2.00 1.94 1.90 4/217 2930
/proc/meminfo: memFree=23226512/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14082940 memory=29812 CPUtime=0.12 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 5232 0 0 0 11 1 0 0 20 0 15 0 229513698 14420930560 7453 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3520735 7453 3055 1 0 3483012 0
[pid=2916/tid=2917] ppid=2914 vsize=14082940 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 3251 0 0 0 8 0 0 0 20 0 15 0 229513698 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016538583856 140016534363542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14082940 memory=139873966732928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14082940 memory=139873966732928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513700 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229513700 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229513701 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14082940 memory=139873966732928 CPUtime=0.01 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) R 2914 2914 31702 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016069441648 140016513252870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14082940 memory=139873966732928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513703 14420930560 7453 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31264 KiB
[startup+0.21062 s]*
/proc/loadavg: 2.00 1.94 1.90 5/217 2930
/proc/meminfo: memFree=23215704/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14082940 memory=40824 CPUtime=0.33 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 7785 0 0 0 31 2 0 0 20 0 15 0 229513698 14420930560 10206 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3520735 10206 3180 1 0 3483012 0
[pid=2916/tid=2917] ppid=2914 vsize=14082940 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 4966 0 0 0 18 1 0 0 20 0 15 0 229513698 14420930560 10253 33554432000 4194304 4196468 140724150588560 140016538573752 140016536626772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14085056 memory=139873967876435 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14085056 memory=139873966732928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229513700 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229513700 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14085056 memory=139873966732928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229513701 14423097344 10253 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 708 0 0 0 3 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14087196 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14087196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 10256 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42276 KiB
[startup+0.313161 s]*
/proc/loadavg: 2.00 1.94 1.90 4/217 2930
/proc/meminfo: memFree=23209376/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14087196 memory=48432 CPUtime=0.52 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 8731 0 0 0 49 3 0 0 20 0 15 0 229513698 14425288704 12108 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3521799 12108 3260 1 0 3483012 0
[pid=2916/tid=2917] ppid=2914 vsize=14087196 memory=279747728959392 CPUtime=0.29 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 5700 0 0 0 27 2 0 0 20 0 15 0 229513698 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016538582720 140016518432094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14087196 memory=4294967331 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14087196 memory=139873966788640 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14087196 memory=58084 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14087196 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14087196 memory=139873966795552 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229513700 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14087196 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229513700 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14087196 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229513701 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14087196 memory=69572 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14087196 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 796 0 0 0 6 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14087196 memory=139873864511951 CPUtime=0.02 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 56 0 0 0 2 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14087196 memory=139873966735561 CPUtime=0.12 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14087196 memory=139873864502735 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14087196 memory=279747831244928 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513703 14425288704 12108 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49884 KiB
[startup+0.701938 s]
/proc/loadavg: 2.00 1.94 1.90 6/217 2930
/proc/meminfo: memFree=23191076/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14089320 memory=82520 CPUtime=1.55 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 11262 0 0 0 150 5 0 0 20 0 15 0 229513698 14427463680 20630 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3522330 20630 3359 1 0 3483524 0
[pid=2916/tid=2917] ppid=2914 vsize=14089320 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 6456 0 0 0 64 3 0 0 20 0 15 0 229513698 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016538587584 140016534363542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14089320 memory=8458433173657040693 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14089320 memory=7595110100619247713 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229513699 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14089320 memory=7666631141572832339 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513699 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14089320 memory=6580 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14089320 memory=4452 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229513701 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14089320 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14089320 memory=12668 CPUtime=0.24 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) R 2914 2914 31702 0 -1 4202560 1192 0 0 0 24 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016071534032 140016514816054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14089320 memory=1072 CPUtime=0.27 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) R 2914 2914 31702 0 -1 1077944384 698 0 0 0 27 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016070481296 140016534361813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14089320 memory=14888 CPUtime=0.33 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 1607 0 0 0 33 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14089320 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14089320 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 20630 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 83972 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 1.94 1.90 5/217 2930
/proc/meminfo: memFree=23167128/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=2916/tid=2922] ppid=2914 vsize=14089320 memory=186228 CPUtime=0.75 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 4862 0 0 0 68 7 0 0 20 0 15 0 229513700 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14089320 memory=168 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 229513701 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14089320 memory=279747730471824 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14089320 memory=186232 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 11945 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14089320 memory=1452 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 11969 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14089320 memory=3868 CPUtime=0.56 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 8468 0 0 0 55 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14089320 memory=62440 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14089320 memory=1452 CPUtime=0.54 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 954 0 0 0 22 32 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 2388.21 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 187684 KiB
[startup+2442.3 s]
/proc/loadavg: 1.90 1.89 1.87 3/217 3083
/proc/meminfo: memFree=21534280/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14089320 memory=186232 CPUtime=2448.29 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 71847 0 0 0 244767 62 0 0 20 0 15 0 229513698 14427463680 46558 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3522330 46558 3414 1 0 3483524 0
[pid=2916/tid=2917] ppid=2914 vsize=14089320 memory=186232 CPUtime=2440.12 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 19945 0 0 0 244004 8 0 0 20 0 15 0 229513698 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016538591152 140016157798877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14089320 memory=186232 CPUtime=0.7 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2753 0 0 0 64 6 0 0 20 0 15 0 229513699 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14089320 memory=1452 CPUtime=0.71 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 3628 0 0 0 64 7 0 0 20 0 15 0 229513699 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14089320 memory=186232 CPUtime=0.71 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 3318 0 0 0 64 7 0 0 20 0 15 0 229513699 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14089320 memory=186232 CPUtime=0.7 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 2648 0 0 0 64 6 0 0 20 0 15 0 229513699 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14089320 memory=186232 CPUtime=0.78 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 4866 0 0 0 71 7 0 0 20 0 15 0 229513700 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14089320 memory=186232 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14089320 memory=186232 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 229513701 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14089320 memory=186232 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14089320 memory=1452 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 11945 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14089320 memory=186232 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 11969 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14089320 memory=186232 CPUtime=0.56 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 8468 0 0 0 55 1 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14089320 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 958 0 0 0 23 33 0 0 20 0 15 0 229513703 14427463680 46558 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 2448.29 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 187684 KiB
[startup+2502.3 s]
/proc/loadavg: 1.85 1.88 1.86 3/218 3092
/proc/meminfo: memFree=21531664/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14089320 memory=188324 CPUtime=2508.35 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 72753 0 0 0 250772 63 0 0 20 0 15 0 229513698 14427463680 47081 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3522330 47081 3414 1 0 3483524 0
[pid=2916/tid=2917] ppid=2914 vsize=14089320 memory=7306636668208178798 CPUtime=2500.06 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 20254 0 0 0 249998 8 0 0 20 0 15 0 229513698 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016538591264 140016156846209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14089320 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2759 0 0 0 66 6 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14089320 memory=188324 CPUtime=0.74 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 3924 0 0 0 67 7 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14089320 memory=188324 CPUtime=0.73 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 3404 0 0 0 66 7 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14089320 memory=188324 CPUtime=0.72 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 2664 0 0 0 66 6 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14089320 memory=188324 CPUtime=0.8 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 5038 0 0 0 73 7 0 0 20 0 15 0 229513700 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14089320 memory=188324 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14089320 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 229513701 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14089320 memory=62440 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14089320 memory=1452 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 11947 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14089320 memory=1452 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 11971 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14089320 memory=188324 CPUtime=0.56 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 8470 0 0 0 55 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14089320 memory=1452 CPUtime=0.58 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 973 0 0 0 24 34 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 2508.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 189776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514 s]*
/proc/loadavg: 1.81 1.87 1.86 3/218 3092
/proc/meminfo: memFree=21532040/32770624 swapFree=67108688/67108860
[pid=2914] ppid=2911 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2914/stat : 2914 (xcsp3-exec) S 2911 2914 31702 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 229513697 115843072 363 33554432000 4194304 5098028 140729889689824 140729889687928 140112520217212 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14458880 140729889698874 140729889699076 140729889699076 140729889701834 0
/proc/2914/statm: 28282 363 305 221 0 87 0
[pid=2916] ppid=2914 vsize=14089320 memory=188324 CPUtime=2520.09 cores=0,2,4,6
/proc/2916/stat : 2916 (java) S 2914 2914 31702 0 -1 1077944320 72794 0 0 0 251945 64 0 0 20 0 15 0 229513698 14427463680 47081 33554432000 4194304 4196468 140724150588560 140724150571104 140016534351607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
/proc/2916/statm: 3522330 47081 3414 1 0 3483524 0
[pid=2916/tid=2917] ppid=2914 vsize=14089320 memory=6935054825532540783 CPUtime=2511.75 cores=0,2,4,6
/proc/2916/task/2917/stat : 2917 (java) R 2914 2914 31702 0 -1 4202560 20282 0 0 0 251167 8 0 0 20 0 15 0 229513698 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016538590720 140016156898948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2918] ppid=2914 vsize=14089320 memory=35276 CPUtime=0.73 cores=0,2,4,6
/proc/2916/task/2918/stat : 2918 (java) S 2914 2914 31702 0 -1 1077944384 2761 0 0 0 67 6 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016471952016 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2919] ppid=2914 vsize=14089320 memory=1612 CPUtime=0.74 cores=0,2,4,6
/proc/2916/task/2919/stat : 2919 (java) S 2914 2914 31702 0 -1 1077944384 3926 0 0 0 67 7 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016129415696 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2920] ppid=2914 vsize=14089320 memory=496 CPUtime=0.73 cores=0,2,4,6
/proc/2916/task/2920/stat : 2920 (java) S 2914 2914 31702 0 -1 1077944384 3406 0 0 0 66 7 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016128362896 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2921] ppid=2914 vsize=14089320 memory=924 CPUtime=0.72 cores=0,2,4,6
/proc/2916/task/2921/stat : 2921 (java) S 2914 2914 31702 0 -1 1077944384 2666 0 0 0 66 6 0 0 20 0 15 0 229513699 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016127310096 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2922] ppid=2914 vsize=14089320 memory=1168 CPUtime=0.81 cores=0,2,4,6
/proc/2916/task/2922/stat : 2922 (java) S 2914 2914 31702 0 -1 1077944384 5041 0 0 0 74 7 0 0 20 0 15 0 229513700 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016075758448 140016534362754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2923] ppid=2914 vsize=14089320 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2923/stat : 2923 (java) S 2914 2914 31702 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 229513700 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016074704416 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2924] ppid=2914 vsize=14089320 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2924/stat : 2924 (java) S 2914 2914 31702 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 229513701 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016073651568 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2925] ppid=2914 vsize=14089320 memory=924 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2925/stat : 2925 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016072599888 140016534370203 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2926] ppid=2914 vsize=14089320 memory=2192 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2926/stat : 2926 (java) S 2914 2914 31702 0 -1 1077944384 11947 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016071547248 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2927] ppid=2914 vsize=14089320 memory=3980 CPUtime=1.68 cores=0,2,4,6
/proc/2916/task/2927/stat : 2927 (java) S 2914 2914 31702 0 -1 1077944384 11971 0 0 0 167 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016070494448 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2928] ppid=2914 vsize=14089320 memory=1924 CPUtime=0.56 cores=0,2,4,6
/proc/2916/task/2928/stat : 2928 (java) S 2914 2914 31702 0 -1 1077944384 8470 0 0 0 55 1 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016069441648 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2929] ppid=2914 vsize=14089320 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/2916/task/2929/stat : 2929 (java) S 2914 2914 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140016000952544 140016534361813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
[pid=2916/tid=2930] ppid=2914 vsize=14089320 memory=804 CPUtime=0.58 cores=0,2,4,6
/proc/2916/task/2930/stat : 2930 (java) S 2914 2914 31702 0 -1 1077944384 975 0 0 0 24 34 0 0 20 0 15 0 229513703 14427463680 47081 33554432000 4194304 4196468 140724150588560 140015999900848 140016534362754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 15310848 140724150596742 140724150596913 140724150596913 140724150599631 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 189776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.02 s]
# the end of solver process 2914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.46 s, system=0.644199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2514.02
CPU time (s): 2520.11
CPU user time (s): 2519.46
CPU system time (s): 0.644199
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 204584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.644199
maximum resident set size= 205084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77918
involuntary context switches= 3154
# summary of solver processes directly reported to runsolver:
# pid: 2914
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.46
# total CPU system time (s): 0.644199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4162 second user time and 22.0104 second system time
The end