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 (3763 MiB free)
memory of node 1: 16384 MiB (7031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292539-1532589825/watcher-4292539-1532589825 -o /tmp/evaluation-result-4292539-1532589825/solver-4292539-1532589825 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532582652-27020 --watchdog 2560 HOME/xcsp3-exec -seed 1245189119 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292539-1532589825.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27883, runsolver pid=27880
[startup+0.104024 s]*
/proc/loadavg: 2.01 2.02 1.96 6/217 27899
/proc/meminfo: memFree=11035320/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14082840 memory=29960 CPUtime=0.13 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 5289 0 0 0 12 1 0 0 20 0 15 0 76545688 14420828160 7490 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3520710 7490 3035 1 0 3483008 0
[pid=27885/tid=27886] ppid=27883 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 3225 0 0 0 9 0 0 0 20 0 15 0 76545689 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006541746848 140006521595230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14082840 memory=3472467769812075728 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14082840 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545691 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545691 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006077859488 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545691 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006076806384 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14082840 memory=139640916924032 CPUtime=0.02 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) R 27883 27883 26989 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006072596464 140006521828316 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14082840 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545694 14420828160 7490 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 31416 KiB
[startup+0.210649 s]*
/proc/loadavg: 2.01 2.02 1.96 5/217 27899
/proc/meminfo: memFree=11025132/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14087096 memory=41184 CPUtime=0.34 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 7821 0 0 0 32 2 0 0 20 0 15 0 76545688 14425186304 10296 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3521774 10296 3176 1 0 3483008 0
[pid=27885/tid=27886] ppid=27883 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 4982 0 0 0 19 1 0 0 20 0 15 0 76545689 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006541735736 140006521595230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14087096 memory=3472467769812075728 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14087096 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14087096 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006077859488 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006076806384 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) R 27883 27883 26989 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14087096 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) R 27883 27883 26989 0 -1 1077944384 332 0 0 0 3 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14087096 memory=139640916924032 CPUtime=0.08 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) R 27883 27883 26989 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006072596464 140006537526678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14087096 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 10296 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42640 KiB
[startup+0.31055 s]*
/proc/loadavg: 2.01 2.02 1.96 3/217 27899
/proc/meminfo: memFree=11018680/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14087096 memory=47872 CPUtime=0.51 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 8632 0 0 0 48 3 0 0 20 0 15 0 76545688 14425186304 11968 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3521774 11968 3209 1 0 3483008 0
[pid=27885/tid=27886] ppid=27883 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 5693 0 0 0 28 2 0 0 20 0 15 0 76545689 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006541750448 140006521595230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14087096 memory=3472467769812075728 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14087096 memory=139640916924032 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14087096 memory=5 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14087096 memory=139640795441183 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 76545689 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14087096 memory=279281590843136 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14087096 memory=139640795418127 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006077859488 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14087096 memory=279281712351328 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545691 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006076806384 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14087096 memory=139640795422735 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 460 0 0 0 3 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 347 0 0 0 4 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006072596464 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14087096 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545694 14425186304 11968 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49328 KiB
[startup+0.704053 s]
/proc/loadavg: 2.01 2.02 1.96 5/217 27899
/proc/meminfo: memFree=10984880/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14089220 memory=191080 CPUtime=1.68 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 11205 0 0 0 161 7 0 0 20 0 15 0 76545688 14427361280 47770 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3522305 47770 3328 1 0 3483520 0
[pid=27885/tid=27886] ppid=27883 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) S 27883 27883 26989 0 -1 1077944384 6082 0 0 0 63 4 0 0 20 0 15 0 76545689 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006541752144 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 76545689 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14089220 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) R 27883 27883 26989 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 76545689 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006474062544 140006537524949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14089220 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 76545689 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006473009488 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14089220 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 76545689 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14089220 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) R 27883 27883 26989 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006078911776 140006530614584 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14089220 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006077859488 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14089220 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006076806384 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14089220 memory=22976 CPUtime=0.33 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 1254 0 0 0 33 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006074687056 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14089220 memory=1296 CPUtime=0.34 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 1059 0 0 0 34 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14089220 memory=2412 CPUtime=0.28 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 1447 0 0 0 28 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006072592336 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14089220 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14089220 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 47770 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 192536 KiB
[startup+1.50075 s]
/proc/loadavg: 2.01 2.02 1.96 6/217 27899
/proc/meminfo: memFree=10849300/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006076806400 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14089220 memory=1892668 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14089220 memory=1456 CPUtime=2.19 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 12034 0 0 0 217 2 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14089220 memory=1456 CPUtime=2.29 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 14078 0 0 0 227 2 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14089220 memory=1892668 CPUtime=0.73 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 10979 0 0 0 72 1 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006072596464 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14089220 memory=1836 CPUtime=1.25 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1826 0 0 0 68 57 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 2278.31 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1894124 KiB
[startup+2322.3 s]
/proc/loadavg: 1.70 1.58 1.57 3/218 28074
/proc/meminfo: memFree=4438108/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14089220 memory=1892668 CPUtime=2338.7 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 175241 0 0 0 233657 213 0 0 20 0 15 0 76545688 14427361280 473167 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3522305 473167 3398 1 0 3483520 0
[pid=27885/tid=27886] ppid=27883 vsize=14089220 memory=1892668 CPUtime=2313.02 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 62495 0 0 0 231254 48 0 0 20 0 15 0 76545689 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006541754032 140006160101644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14089220 memory=1456 CPUtime=4 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 17203 0 0 0 371 29 0 0 20 0 15 0 76545689 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14089220 memory=1892668 CPUtime=4 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 11457 0 0 0 371 29 0 0 20 0 15 0 76545689 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14089220 memory=1892668 CPUtime=3.99 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 13532 0 0 0 369 30 0 0 20 0 15 0 76545689 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14089220 memory=1892668 CPUtime=4 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 10460 0 0 0 373 27 0 0 20 0 15 0 76545689 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14089220 memory=1456 CPUtime=3.12 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 19803 0 0 0 288 24 0 0 20 0 15 0 76545691 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006077859552 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006076806400 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14089220 memory=1456 CPUtime=2.19 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 12038 0 0 0 217 2 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14089220 memory=1456 CPUtime=2.29 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 14082 0 0 0 227 2 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14089220 memory=1892668 CPUtime=0.74 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 10983 0 0 0 72 2 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006072596464 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14089220 memory=1892668 CPUtime=1.27 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1856 0 0 0 69 58 0 0 20 0 15 0 76545694 14427361280 473167 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 2338.7 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1894124 KiB
[startup+2382.3 s]
/proc/loadavg: 1.72 1.60 1.57 3/218 28075
/proc/meminfo: memFree=4435776/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14089220 memory=1896764 CPUtime=2399.13 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 179160 0 0 0 239695 218 0 0 20 0 15 0 76545688 14427361280 474191 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3522305 474191 3398 1 0 3483520 0
[pid=27885/tid=27886] ppid=27883 vsize=14089220 memory=1896764 CPUtime=2372.69 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 63839 0 0 0 237221 48 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006541754032 140006160082839 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14089220 memory=1896764 CPUtime=4.16 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 17746 0 0 0 386 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14089220 memory=1456 CPUtime=4.15 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 12075 0 0 0 385 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14089220 memory=1896764 CPUtime=4.14 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 13755 0 0 0 384 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14089220 memory=1456 CPUtime=4.16 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 10976 0 0 0 389 27 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14089220 memory=1896764 CPUtime=3.22 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 20333 0 0 0 296 26 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14089220 memory=1896764 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006077859552 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006076806400 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14089220 memory=1896764 CPUtime=2.19 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 12044 0 0 0 217 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14089220 memory=4140 CPUtime=2.29 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 14088 0 0 0 227 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14089220 memory=23048 CPUtime=0.74 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 11078 0 0 0 72 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006072596464 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14089220 memory=2412 CPUtime=1.31 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1894 0 0 0 71 60 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 2399.13 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1898220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2383.2 s]
/proc/loadavg: 1.72 1.60 1.57 3/218 28075
/proc/meminfo: memFree=4435900/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27883/stat : 27883 (xcsp3-exec) S 27880 27883 26989 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 76545688 115843072 364 33554432000 4194304 5098028 140735933552976 140735933551080 139625417269884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14905344 140735933555770 140735933555972 140735933555972 140735933558730 0
/proc/27883/statm: 28282 364 306 221 0 87 0
[pid=27885] ppid=27883 vsize=14089220 memory=1896764 CPUtime=2400.04 cores=0,2,4,6
/proc/27885/stat : 27885 (java) S 27883 27883 26989 0 -1 1077944320 179163 0 0 0 239786 218 0 0 20 0 15 0 76545688 14427361280 474191 33554432000 4194304 4196468 140733444334448 140733444316992 140006537514743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
/proc/27885/statm: 3522305 474191 3398 1 0 3483520 0
[pid=27885/tid=27886] ppid=27883 vsize=14089220 memory=1896764 CPUtime=2373.58 cores=0,2,4,6
/proc/27885/task/27886/stat : 27886 (java) R 27883 27883 26989 0 -1 4202560 63842 0 0 0 237310 48 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006541754032 140006160082526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27887] ppid=27883 vsize=14089220 memory=1456 CPUtime=4.16 cores=0,2,4,6
/proc/27885/task/27887/stat : 27887 (java) S 27883 27883 26989 0 -1 1077944384 17746 0 0 0 386 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006475115024 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27888] ppid=27883 vsize=14089220 memory=1894716 CPUtime=4.15 cores=0,2,4,6
/proc/27885/task/27888/stat : 27888 (java) S 27883 27883 26989 0 -1 1077944384 12075 0 0 0 385 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006474062480 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27889] ppid=27883 vsize=14089220 memory=4100 CPUtime=4.14 cores=0,2,4,6
/proc/27885/task/27889/stat : 27889 (java) S 27883 27883 26989 0 -1 1077944384 13755 0 0 0 384 30 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006473009424 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27890] ppid=27883 vsize=14089220 memory=6791534058613427641 CPUtime=4.16 cores=0,2,4,6
/proc/27885/task/27890/stat : 27890 (java) S 27883 27883 26989 0 -1 1077944384 10976 0 0 0 389 27 0 0 20 0 15 0 76545689 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006130194832 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27891] ppid=27883 vsize=14089220 memory=1896764 CPUtime=3.22 cores=0,2,4,6
/proc/27885/task/27891/stat : 27891 (java) S 27883 27883 26989 0 -1 1077944384 20333 0 0 0 296 26 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006078913264 140006537525890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27892] ppid=27883 vsize=14089220 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27892/stat : 27892 (java) S 27883 27883 26989 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006077859552 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27893] ppid=27883 vsize=14089220 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27893/stat : 27893 (java) S 27883 27883 26989 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 76545691 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006076806400 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27894] ppid=27883 vsize=14089220 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27894/stat : 27894 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006075754960 140006537533339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27895] ppid=27883 vsize=14089220 memory=792 CPUtime=2.19 cores=0,2,4,6
/proc/27885/task/27895/stat : 27895 (java) S 27883 27883 26989 0 -1 1077944384 12044 0 0 0 217 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006074702064 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27896] ppid=27883 vsize=14089220 memory=1960 CPUtime=2.29 cores=0,2,4,6
/proc/27885/task/27896/stat : 27896 (java) S 27883 27883 26989 0 -1 1077944384 14088 0 0 0 227 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006073649520 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27897] ppid=27883 vsize=14089220 memory=5672 CPUtime=0.74 cores=0,2,4,6
/proc/27885/task/27897/stat : 27897 (java) S 27883 27883 26989 0 -1 1077944384 11078 0 0 0 72 2 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006072596464 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27898] ppid=27883 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/27885/task/27898/stat : 27898 (java) S 27883 27883 26989 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006071544160 140006537524949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
[pid=27885/tid=27899] ppid=27883 vsize=14089220 memory=1296 CPUtime=1.31 cores=0,2,4,6
/proc/27885/task/27899/stat : 27899 (java) S 27883 27883 26989 0 -1 1077944384 1894 0 0 0 71 60 0 0 20 0 15 0 76545694 14427361280 474191 33554432000 4194304 4196468 140733444334448 140006070492208 140006537525890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29696000 140733444338817 140733444338993 140733444338993 140733444341711 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 1898220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2383.21 s]
# the end of solver process 27883 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001243 s, system=0.001243 s
[startup+2383.22 s]
# the end of solver process 27885 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.87 s, system=2.19379 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2383.22
CPU time (s): 2400.07
CPU user time (s): 2397.87
CPU system time (s): 2.19379
CPU usage (%): 100.707
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 2173756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.87
system time used= 2.19379
maximum resident set size= 2174336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141152
involuntary context switches= 5232
# summary of solver processes directly reported to runsolver:
# pid: 27883,27885
# total CPU time (s): 2400.07
# total CPU user time (s): 2397.87
# total CPU system time (s): 2.19379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.294 second user time and 19.3523 second system time
The end