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 (10683 MiB free)
memory of node 1: 16384 MiB (11776 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292500-1532345408/watcher-4292500-1532345408 -o /tmp/evaluation-result-4292500-1532345408/solver-4292500-1532345408 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11339 --watchdog 2560 HOME/xcsp3-exec -seed 171129519 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292500-1532345408.xml
running on 4 cores: 1,3,5,7
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=13619, runsolver pid=13616
[startup+0.100061 s]*
/proc/loadavg: 2.00 1.98 1.95 4/218 13635
/proc/meminfo: memFree=22982824/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14082840 memory=27408 CPUtime=0.12 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 5290 0 0 0 11 1 0 0 20 0 15 0 52104030 14420828160 6852 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3520710 6852 2968 1 0 3483008 0
[pid=13621/tid=13622] ppid=13619 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 3294 0 0 0 8 0 0 0 20 0 15 0 52104031 14420828160 6916 33554432000 4194304 4196468 140724749045312 140195152817344 140195148600477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14082840 memory=3472468255479575760 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 6916 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104033 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52104033 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52104034 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0.01 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) R 13619 13619 11307 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194616358896 140195148599898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 6916 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 28864 KiB
[startup+0.210531 s]*
/proc/loadavg: 2.00 1.98 1.95 3/218 13635
/proc/meminfo: memFree=22971288/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14082840 memory=39832 CPUtime=0.33 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 8015 0 0 0 31 2 0 0 20 0 15 0 52104030 14420828160 9958 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3520710 9958 3182 1 0 3483008 0
[pid=13621/tid=13622] ppid=13619 vsize=14082840 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 4995 0 0 0 19 1 0 0 20 0 15 0 52104031 14420828160 9958 33554432000 4194304 4196468 140724749045312 140195152813536 140195148600477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14082840 memory=3472468255479575760 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 9958 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52104033 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52104033 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52104034 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14082840 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0.07 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) R 13619 13619 11307 0 -1 4202560 850 0 0 0 7 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194616358896 140195141675387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14082840 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104036 14420828160 9958 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41288 KiB
[startup+0.3105 s]*
/proc/loadavg: 2.00 1.98 1.95 4/218 13635
/proc/meminfo: memFree=22964464/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14087096 memory=46796 CPUtime=0.51 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 8900 0 0 0 48 3 0 0 20 0 15 0 52104030 14425186304 11699 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3521774 11699 3235 1 0 3483008 0
[pid=13621/tid=13622] ppid=13619 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 5705 0 0 0 28 1 0 0 20 0 15 0 52104031 14425186304 11699 33554432000 4194304 4196468 140724749045312 140195152812336 140195132659038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14087096 memory=3472468255479575760 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14425186304 11699 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14087096 memory=140126584424064 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14087096 memory=11 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14087096 memory=140126462289951 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14087096 memory=280252924540672 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52104033 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14087096 memory=140126462266895 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52104033 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14087096 memory=280253046700128 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52104034 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14087096 memory=140126462271503 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 442 0 0 0 3 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 470 0 0 0 3 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) S 13619 13619 11307 0 -1 1077944384 987 0 0 0 12 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194616358896 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104036 14425186304 11699 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48252 KiB
[startup+0.701255 s]
/proc/loadavg: 2.00 1.98 1.95 4/218 13635
/proc/meminfo: memFree=22946672/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14089220 memory=69100 CPUtime=1.6 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 12468 0 0 0 155 5 0 0 20 0 15 0 52104030 14427361280 17275 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3522305 17275 3340 1 0 3483520 0
[pid=13621/tid=13622] ppid=13619 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 6515 0 0 0 64 3 0 0 20 0 15 0 52104031 14427361280 17275 33554432000 4194304 4196468 140724749045312 140195152815392 140194784775456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14427361280 17275 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104032 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 52104032 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 52104034 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14089220 memory=16860 CPUtime=0.3 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) R 13619 13619 11307 0 -1 4202560 1289 0 0 0 30 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194618445792 140195129277922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14089220 memory=1296 CPUtime=0.3 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) R 13619 13619 11307 0 -1 4202560 1450 0 0 0 30 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194617400752 140195133695708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14089220 memory=2412 CPUtime=0.29 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) R 13619 13619 11307 0 -1 4202560 1964 0 0 0 29 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194616358896 140195127504262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 17275 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 70556 KiB
[startup+1.50079 s]
/proc/loadavg: 2.00 1.98 1.95 5/218 13635
/proc/meminfo: memFree=22939804/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
[pid=13621/tid=13627] ppid=13619 vsize=14089220 memory=306256 CPUtime=0.87 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 17425 0 0 0 69 18 0 0 20 0 15 0 52104033 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 52104034 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14089220 memory=304204 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14089220 memory=-4866522518848036719 CPUtime=0.89 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 5925 0 0 0 88 1 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14089220 memory=304204 CPUtime=0.87 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 7440 0 0 0 86 1 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.39 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) S 13619 13619 11307 0 -1 1077944384 6022 0 0 0 38 1 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194616358896 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14089220 memory=302152 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14089220 memory=306256 CPUtime=0.77 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1117 0 0 0 36 41 0 0 20 0 15 0 52104036 14427361280 75538 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 2284.33 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 303608 KiB
[startup+2322.3 s]
/proc/loadavg: 1.72 1.73 1.84 3/217 13951
/proc/meminfo: memFree=22451192/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14089220 memory=292408 CPUtime=2344.41 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 142382 0 0 0 234238 203 0 0 20 0 15 0 52104030 14427361280 73102 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3522305 73102 3405 1 0 3483520 0
[pid=13621/tid=13622] ppid=13619 vsize=14089220 memory=1456 CPUtime=2314.61 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 59410 0 0 0 231441 20 0 0 20 0 15 0 52104031 14427361280 73102 33554432000 4194304 4196468 140724749045312 140195152818256 140194788829445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14089220 memory=292408 CPUtime=6.48 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 10959 0 0 0 615 33 0 0 20 0 15 0 52104032 14427361280 73102 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14089220 memory=1456 CPUtime=6.49 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 11070 0 0 0 616 33 0 0 20 0 15 0 52104032 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14089220 memory=292408 CPUtime=6.46 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 9860 0 0 0 613 33 0 0 20 0 15 0 52104032 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14089220 memory=292408 CPUtime=6.46 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 11592 0 0 0 613 33 0 0 20 0 15 0 52104032 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14089220 memory=292408 CPUtime=0.88 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 17596 0 0 0 70 18 0 0 20 0 15 0 52104033 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14089220 memory=292408 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 52104034 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.89 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 5927 0 0 0 88 1 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14089220 memory=292408 CPUtime=0.87 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 7442 0 0 0 86 1 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14089220 memory=280252925358688 CPUtime=0.39 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) S 13619 13619 11307 0 -1 1077944384 6024 0 0 0 38 1 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194616358896 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14089220 memory=292408 CPUtime=0.79 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1136 0 0 0 37 42 0 0 20 0 15 0 52104036 14427361280 73102 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 2344.41 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 293864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2377.9 s]
/proc/loadavg: 1.64 1.71 1.83 3/217 13952
/proc/meminfo: memFree=22470632/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14089220 memory=290356 CPUtime=2400.05 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 143304 0 0 0 239801 204 0 0 20 0 15 0 52104030 14427361280 72589 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3522305 72589 3405 1 0 3483520 0
[pid=13621/tid=13622] ppid=13619 vsize=14089220 memory=290356 CPUtime=2370.19 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 59708 0 0 0 236999 20 0 0 20 0 15 0 52104031 14427361280 72589 33554432000 4194304 4196468 140724749045312 140195152818256 140194788284987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.49 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 11291 0 0 0 616 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.5 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 11114 0 0 0 617 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14089220 memory=1456 CPUtime=6.47 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 9885 0 0 0 614 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.47 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 11619 0 0 0 614 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14089220 memory=290356 CPUtime=0.88 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 17769 0 0 0 70 18 0 0 20 0 15 0 52104033 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14089220 memory=290356 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 52104034 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14089220 memory=291380 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.89 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 5929 0 0 0 88 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.87 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 7444 0 0 0 86 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.39 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) S 13619 13619 11307 0 -1 1077944384 6026 0 0 0 38 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194616358896 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14089220 memory=290356 CPUtime=0.8 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1153 0 0 0 37 43 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 291812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2377.91 s]
# the end of solver process 13619 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.03 s, system=2.05098 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2377.9 s]
/proc/loadavg: 1.64 1.71 1.83 3/217 13952
/proc/meminfo: memFree=22470632/32770624 swapFree=67108860/67108860
[pid=13619] ppid=13616 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13619/stat : 13619 (xcsp3-exec) S 13616 13619 11307 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 52104030 115843072 364 33554432000 4194304 5098028 140723680881264 140723680879368 139729474998908 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12226560 140723680883771 140723680883972 140723680883972 140723680886730 0
/proc/13619/statm: 28282 364 306 221 0 87 0
[pid=13621] ppid=13619 vsize=14089220 memory=290356 CPUtime=2400.05 cores=1,3,5,7
/proc/13621/stat : 13621 (java) S 13619 13619 11307 0 -1 1077944320 143304 0 0 0 239801 204 0 0 20 0 15 0 52104030 14427361280 72589 33554432000 4194304 4196468 140724749045312 140724749027856 140195148578551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
/proc/13621/statm: 3522305 72589 3405 1 0 3483520 0
[pid=13621/tid=13622] ppid=13619 vsize=14089220 memory=290356 CPUtime=2370.19 cores=1,3,5,7
/proc/13621/task/13622/stat : 13622 (java) R 13619 13619 11307 0 -1 4202560 59708 0 0 0 236999 20 0 0 20 0 15 0 52104031 14427361280 72589 33554432000 4194304 4196468 140724749045312 140195152818256 140194788284987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13623] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.49 cores=1,3,5,7
/proc/13621/task/13623/stat : 13623 (java) S 13619 13619 11307 0 -1 1077944384 11291 0 0 0 616 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140195116136976 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13624] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.5 cores=1,3,5,7
/proc/13621/task/13624/stat : 13624 (java) S 13619 13619 11307 0 -1 1077944384 11114 0 0 0 617 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194743253648 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13625] ppid=13619 vsize=14089220 memory=1456 CPUtime=6.47 cores=1,3,5,7
/proc/13621/task/13625/stat : 13625 (java) S 13619 13619 11307 0 -1 1077944384 9885 0 0 0 614 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194742200592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13626] ppid=13619 vsize=14089220 memory=291380 CPUtime=6.47 cores=1,3,5,7
/proc/13621/task/13626/stat : 13626 (java) S 13619 13619 11307 0 -1 1077944384 11619 0 0 0 614 33 0 0 20 0 15 0 52104032 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194741148048 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13627] ppid=13619 vsize=14089220 memory=290356 CPUtime=0.88 cores=1,3,5,7
/proc/13621/task/13627/stat : 13627 (java) S 13619 13619 11307 0 -1 1077944384 17769 0 0 0 70 18 0 0 20 0 15 0 52104033 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194622675696 140195148589698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13628] ppid=13619 vsize=14089220 memory=290356 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13628/stat : 13628 (java) S 13619 13619 11307 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 52104033 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194621621920 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13629] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13629/stat : 13629 (java) S 13619 13619 11307 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 52104034 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194620568816 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13630] ppid=13619 vsize=14089220 memory=291380 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13630/stat : 13630 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194619517392 140195148597147 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13631] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.89 cores=1,3,5,7
/proc/13621/task/13631/stat : 13631 (java) S 13619 13619 11307 0 -1 1077944384 5929 0 0 0 88 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194618464496 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13632] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.87 cores=1,3,5,7
/proc/13621/task/13632/stat : 13632 (java) S 13619 13619 11307 0 -1 1077944384 7444 0 0 0 86 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194617411952 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13633] ppid=13619 vsize=14089220 memory=1456 CPUtime=0.39 cores=1,3,5,7
/proc/13621/task/13633/stat : 13633 (java) S 13619 13619 11307 0 -1 1077944384 6026 0 0 0 38 1 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194616358896 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13634] ppid=13619 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/13621/task/13634/stat : 13634 (java) S 13619 13619 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194615306592 140195148588757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
[pid=13621/tid=13635] ppid=13619 vsize=14089220 memory=290356 CPUtime=0.8 cores=1,3,5,7
/proc/13621/task/13635/stat : 13635 (java) S 13619 13619 11307 0 -1 1077944384 1153 0 0 0 37 43 0 0 20 0 15 0 52104036 14427361280 72589 33554432000 4194304 4196468 140724749045312 140194614254640 140195148589698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11726848 140724749046913 140724749047089 140724749047089 140724749049807 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 291812 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2377.91
CPU time (s): 2400.08
CPU user time (s): 2398.03
CPU system time (s): 2.05098
CPU usage (%): 100.932
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 667216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.03
system time used= 2.05098
maximum resident set size= 671148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71702
involuntary context switches= 1888
# summary of solver processes directly reported to runsolver:
# pid: 13619
# total CPU time (s): 2400.08
# total CPU user time (s): 2398.03
# total CPU system time (s): 2.05098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8859 second user time and 21.1259 second system time
The end