2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT (TO)	18	17909.9	2520.14
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 (13558 MiB free)
  memory of node 1: 16384 MiB (13955 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297890-1532707728/watcher-4297890-1532707728 -o /tmp/evaluation-result-4297890-1532707728/solver-4297890-1532707728 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532705124-11690 --watchdog 2580 HOME/xcsp3-exec -seed 1074810520 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297890-1532707728.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100152 s]*
/proc/loadavg: 8.36 8.23 8.16 2/199 13855
/proc/meminfo: memFree=28157948/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26104152 memory=27600 CPUtime=0.11 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 5760 0 0 0 10 1 0 0 20 0 20 0 88335978 26730651648 6900 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6526038 6900 3017 1 0 6488315 0
[pid=13836/tid=13837] ppid=13834 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) R 13834 13834 11663 0 -1 4202560 3772 0 0 0 8 1 0 0 20 0 20 0 88335978 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661894514240 139661890301334 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26104152 memory=140533328942720 CPUtime=0 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13841] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13841/stat : 13841 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661809711376 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13842] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13842/stat : 13842 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661808659600 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13843] ppid=13834 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13843/stat : 13843 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661807606800 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13844] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13844/stat : 13844 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661806554000 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13845] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13845/stat : 13845 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 6900 33554432000 4194304 4196468 140727665235648 139661805501200 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13846] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13846/stat : 13846 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660229495152 139661890300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13847] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13847/stat : 13847 (java) S 13834 13834 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660228441120 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13848] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13848/stat : 13848 (java) S 13834 13834 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660227388272 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13849] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13849/stat : 13849 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660226336592 139661890307995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13850] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13850/stat : 13850 (java) S 13834 13834 11663 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660225284976 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13851] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13851/stat : 13851 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660224232176 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13852] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13852/stat : 13852 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660223179376 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13853] ppid=13834 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13836/task/13853/stat : 13853 (java) R 13834 13834 11663 0 -1 4202560 240 0 0 0 1 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660222126576 139661869418058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13854] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13854/stat : 13854 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660221074016 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13855] ppid=13834 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13855/stat : 13855 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 6900 33554432000 4194304 4196468 140727665235648 139660220021296 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29056 KiB

[startup+0.210332 s]*
/proc/loadavg: 8.36 8.23 8.16 3/199 13855
/proc/meminfo: memFree=28147156/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26104152 memory=39548 CPUtime=0.33 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 8501 0 0 0 31 2 0 0 20 0 20 0 88335978 26730651648 9887 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6526038 9887 3170 1 0 6488315 0
[pid=13836/tid=13837] ppid=13834 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) R 13834 13834 11663 0 -1 4202560 5588 0 0 0 18 1 0 0 20 0 20 0 88335978 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661894519120 139661874333029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26104152 memory=4120994885378152096 CPUtime=0 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13841] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13841/stat : 13841 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661809711376 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13842] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13842/stat : 13842 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661808659600 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13843] ppid=13834 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13843/stat : 13843 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661807606800 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13844] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13844/stat : 13844 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661806554000 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13845] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13845/stat : 13845 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26730651648 9887 33554432000 4194304 4196468 140727665235648 139661805501200 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13846] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13846/stat : 13846 (java) S 13834 13834 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660229495152 139661890300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13847] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13847/stat : 13847 (java) S 13834 13834 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660228441120 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13848] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13848/stat : 13848 (java) S 13834 13834 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335981 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660227388272 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13849] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13849/stat : 13849 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660226336592 139661890307995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13850] ppid=13834 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13836/task/13850/stat : 13850 (java) S 13834 13834 11663 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660225284976 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13851] ppid=13834 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/13836/task/13851/stat : 13851 (java) S 13834 13834 11663 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660224232176 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13852] ppid=13834 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/13836/task/13852/stat : 13852 (java) S 13834 13834 11663 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660223179376 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13853] ppid=13834 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/13836/task/13853/stat : 13853 (java) R 13834 13834 11663 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660222126576 139661890310746 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13854] ppid=13834 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13854/stat : 13854 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660221074016 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13855] ppid=13834 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13855/stat : 13855 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26730651648 9887 33554432000 4194304 4196468 140727665235648 139660220021296 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41004 KiB

[startup+0.31016 s]*
/proc/loadavg: 8.36 8.23 8.16 3/199 13855
/proc/meminfo: memFree=28141076/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26108408 memory=46232 CPUtime=0.5 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 9316 0 0 0 47 3 0 0 20 0 20 0 88335978 26735009792 11558 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6527102 11558 3224 1 0 6488315 0
[pid=13836/tid=13837] ppid=13834 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) R 13834 13834 11663 0 -1 4202560 6299 0 0 0 27 2 0 0 20 0 20 0 88335978 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661894526176 139661874369886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13841] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13841/stat : 13841 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661809711376 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13842] ppid=13834 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/13836/task/13842/stat : 13842 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661808659600 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13843] ppid=13834 vsize=26108408 memory=140533209068463 CPUtime=0 cores=0-7
/proc/13836/task/13843/stat : 13843 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661807606800 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13844] ppid=13834 vsize=26108408 memory=140533209070768 CPUtime=0 cores=0-7
/proc/13836/task/13844/stat : 13844 (java) S 13834 13834 11663 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661806554000 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13845] ppid=13834 vsize=26108408 memory=140533209073072 CPUtime=0 cores=0-7
/proc/13836/task/13845/stat : 13845 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26735009792 11558 33554432000 4194304 4196468 140727665235648 139661805501200 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13846] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13846/stat : 13846 (java) S 13834 13834 11663 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88335981 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660229495152 139661890300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13847] ppid=13834 vsize=26108408 memory=281066418153104 CPUtime=0 cores=0-7
/proc/13836/task/13847/stat : 13847 (java) S 13834 13834 11663 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88335981 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660228441120 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13848] ppid=13834 vsize=26108408 memory=281066418160016 CPUtime=0 cores=0-7
/proc/13836/task/13848/stat : 13848 (java) S 13834 13834 11663 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88335981 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660227388272 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13849] ppid=13834 vsize=26108408 memory=281066418101296 CPUtime=0 cores=0-7
/proc/13836/task/13849/stat : 13849 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660226336592 139661890307995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13850] ppid=13834 vsize=26108408 memory=281066418173840 CPUtime=0.02 cores=0-7
/proc/13836/task/13850/stat : 13850 (java) S 13834 13834 11663 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660225284976 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13851] ppid=13834 vsize=26108408 memory=281066418180752 CPUtime=0.02 cores=0-7
/proc/13836/task/13851/stat : 13851 (java) S 13834 13834 11663 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660224232176 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13852] ppid=13834 vsize=26108408 memory=281066418178448 CPUtime=0.02 cores=0-7
/proc/13836/task/13852/stat : 13852 (java) S 13834 13834 11663 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660223179376 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13853] ppid=13834 vsize=26108408 memory=281066418194608 CPUtime=0.12 cores=0-7
/proc/13836/task/13853/stat : 13853 (java) S 13834 13834 11663 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660222126576 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13854] ppid=13834 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13854/stat : 13854 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660221074016 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13855] ppid=13834 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/13836/task/13855/stat : 13855 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335984 26735009792 11558 33554432000 4194304 4196468 140727665235648 139660220021296 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47688 KiB

[startup+0.700997 s]
/proc/loadavg: 8.36 8.23 8.16 5/199 13855
/proc/meminfo: memFree=28115768/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26110532 memory=104304 CPUtime=1.95 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 13661 0 0 0 189 6 0 0 20 0 20 0 88335978 26737184768 26076 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6527633 26076 3355 1 0 6488827 0
[pid=13836/tid=13837] ppid=13834 vsize=26110532 memory=281066418552496 CPUtime=0.67 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) R 13834 13834 11663 0 -1 4202560 7072 0 0 0 63 4 0 0 20 0 20 0 88335978 26737184768 26076 33554432000 4194304 4196468 140727665235648 139661894508480 139661890311325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26110532 memory=140533209277296 CPUtime=0 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26737184768 26076 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88335979 26737184768 26076 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26110532 memory=1012 CPUtime=0 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88335979 26737184768 26076 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0

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

/proc/meminfo: memFree=22594136/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26645092 memory=5585020 CPUtime=17767.8 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 606143 0 0 0 1775397 1379 0 0 20 0 28 0 88335978 27284574208 1396255 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6661273 1396255 3470 1 0 6622467 0
[pid=13836/tid=13837] ppid=13834 vsize=26645092 memory=5585020 CPUtime=3.53 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) S 13834 13834 11663 0 -1 1077944384 11460 0 0 0 342 11 0 0 20 0 28 0 88335978 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661894530176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26645092 memory=5585020 CPUtime=5.2 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 12024 0 0 0 494 26 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26645092 memory=5585020 CPUtime=5.2 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 16614 0 0 0 485 35 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26645092 memory=5585020 CPUtime=5.24 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 15191 0 0 0 493 31 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13841] ppid=13834 vsize=26645092 memory=56 CPUtime=5.25 cores=0-7
/proc/13836/task/13841/stat : 13841 (java) S 13834 13834 11663 0 -1 1077944384 12349 0 0 0 498 27 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661809711376 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13842] ppid=13834 vsize=26645092 memory=1960 CPUtime=5.18 cores=0-7
/proc/13836/task/13842/stat : 13842 (java) S 13834 13834 11663 0 -1 1077944384 11141 0 0 0 492 26 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661808659600 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13843] ppid=13834 vsize=26645092 memory=5756 CPUtime=5.17 cores=0-7
/proc/13836/task/13843/stat : 13843 (java) S 13834 13834 11663 0 -1 1077944384 12524 0 0 0 489 28 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661807606800 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13844] ppid=13834 vsize=26645092 memory=3868 CPUtime=5.17 cores=0-7
/proc/13836/task/13844/stat : 13844 (java) S 13834 13834 11663 0 -1 1077944384 12070 0 0 0 492 25 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661806554000 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13845] ppid=13834 vsize=26645092 memory=25772 CPUtime=5.26 cores=0-7
/proc/13836/task/13845/stat : 13845 (java) S 13834 13834 11663 0 -1 1077944384 14219 0 0 0 495 31 0 0 20 0 28 0 88335979 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139661805501200 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13846] ppid=13834 vsize=26645092 memory=119726508371170 CPUtime=15.18 cores=0-7
/proc/13836/task/13846/stat : 13846 (java) S 13834 13834 11663 0 -1 1077944384 35328 0 0 0 1350 168 0 0 20 0 28 0 88335981 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660229495152 139661890300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13847] ppid=13834 vsize=26645092 memory=6228033430939199078 CPUtime=0 cores=0-7
/proc/13836/task/13847/stat : 13847 (java) S 13834 13834 11663 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88335981 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660228441184 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13848] ppid=13834 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/13836/task/13848/stat : 13848 (java) S 13834 13834 11663 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 88335981 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660227388288 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13849] ppid=13834 vsize=26645092 memory=3868 CPUtime=0 cores=0-7
/proc/13836/task/13849/stat : 13849 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660226336592 139661890307995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13850] ppid=13834 vsize=26645092 memory=1456 CPUtime=5.56 cores=0-7
/proc/13836/task/13850/stat : 13850 (java) S 13834 13834 11663 0 -1 1077944384 51411 0 0 0 544 12 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660225284976 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13851] ppid=13834 vsize=26645092 memory=6791534058613427641 CPUtime=6.21 cores=0-7
/proc/13836/task/13851/stat : 13851 (java) S 13834 13834 11663 0 -1 1077944384 48301 0 0 0 611 10 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660224232176 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13852] ppid=13834 vsize=26645092 memory=5585020 CPUtime=5.81 cores=0-7
/proc/13836/task/13852/stat : 13852 (java) S 13834 13834 11663 0 -1 1077944384 57237 0 0 0 571 10 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660223179376 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13853] ppid=13834 vsize=26645092 memory=3868 CPUtime=1.22 cores=0-7
/proc/13836/task/13853/stat : 13853 (java) S 13834 13834 11663 0 -1 1077944384 30385 0 0 0 114 8 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660222126576 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13854] ppid=13834 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/13836/task/13854/stat : 13854 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660221074016 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13855] ppid=13834 vsize=26645092 memory=3868 CPUtime=1.2 cores=0-7
/proc/13836/task/13855/stat : 13855 (java) S 13834 13834 11663 0 -1 1077944384 5935 0 0 0 53 67 0 0 20 0 28 0 88335984 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660220021296 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13935] ppid=13834 vsize=26645092 memory=25772 CPUtime=1057.93 cores=0-7
/proc/13836/task/13935/stat : 13935 (java) R 13834 13834 11663 0 -1 4202560 3671 0 0 0 105786 7 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660208273928 139661491619327 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13936] ppid=13834 vsize=26645092 memory=1456 CPUtime=1057.6 cores=0-7
/proc/13836/task/13936/stat : 13936 (java) R 13834 13834 11663 0 -1 4202560 3134 0 0 0 105757 3 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660206172528 139661491707238 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13937] ppid=13834 vsize=26645092 memory=1456 CPUtime=1060.99 cores=0-7
/proc/13836/task/13937/stat : 13937 (java) R 13834 13834 11663 0 -1 4202560 5378 0 0 0 106093 6 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660207223400 139661492793675 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13938] ppid=13834 vsize=26645092 memory=5585020 CPUtime=1054.35 cores=0-7
/proc/13836/task/13938/stat : 13938 (java) R 13834 13834 11663 0 -1 4202560 4793 0 0 0 105429 6 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660205117720 139661485857577 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13939] ppid=13834 vsize=26645092 memory=1456 CPUtime=1060.77 cores=0-7
/proc/13836/task/13939/stat : 13939 (java) R 13834 13834 11663 0 -1 4202560 4603 0 0 0 106072 5 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660203012392 139661492608418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13940] ppid=13834 vsize=26645092 memory=5585020 CPUtime=1059.17 cores=0-7
/proc/13836/task/13940/stat : 13940 (java) R 13834 13834 11663 0 -1 4202560 25855 0 0 0 105889 28 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660204064760 139661492608362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13941] ppid=13834 vsize=26645092 memory=1456 CPUtime=1055.57 cores=0-7
/proc/13836/task/13941/stat : 13941 (java) R 13834 13834 11663 0 -1 4202560 52545 0 0 0 105489 68 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660209328016 139661493422461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13942] ppid=13834 vsize=26645092 memory=2340 CPUtime=1060.68 cores=0-7
/proc/13836/task/13942/stat : 13942 (java) R 13834 13834 11663 0 -1 4202560 2973 0 0 0 106065 3 0 0 20 0 28 0 88479932 27284574208 1396255 33554432000 4194304 4196468 140727665235648 139660201959288 139661492608314 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
Current children cumulated CPU time: 17767.8 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5586476 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.09 8.18 7.77 11/208 13958
/proc/meminfo: memFree=22588096/32770624 swapFree=67108532/67108860
[pid=13834] ppid=13831 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13834/stat : 13834 (xcsp3-exec) S 13831 13834 11663 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88335978 115843072 364 33554432000 4194304 5098028 140733365675328 140733365673432 140684196119164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11067392 140733365679157 140733365679360 140733365679360 140733365682122 0
/proc/13834/statm: 28282 364 306 221 0 87 0
[pid=13836] ppid=13834 vsize=26645092 memory=5591188 CPUtime=17909.1 cores=0-7
/proc/13836/stat : 13836 (java) S 13834 13834 11663 0 -1 1077944320 610393 0 0 0 1789525 1381 0 0 20 0 28 0 88335978 27284574208 1397797 33554432000 4194304 4196468 140727665235648 140727665218192 139661890289399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
/proc/13836/statm: 6661273 1397797 3470 1 0 6622467 0
[pid=13836/tid=13837] ppid=13834 vsize=26645092 memory=6791534058613427641 CPUtime=3.53 cores=0-7
/proc/13836/task/13837/stat : 13837 (java) S 13834 13834 11663 0 -1 1077944384 11460 0 0 0 342 11 0 0 20 0 28 0 88335978 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661894530176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13838] ppid=13834 vsize=26645092 memory=4872558044660077418 CPUtime=5.24 cores=0-7
/proc/13836/task/13838/stat : 13838 (java) S 13834 13834 11663 0 -1 1077944384 12490 0 0 0 498 26 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661812869776 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13839] ppid=13834 vsize=26645092 memory=5756 CPUtime=5.24 cores=0-7
/proc/13836/task/13839/stat : 13839 (java) S 13834 13834 11663 0 -1 1077944384 17672 0 0 0 489 35 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661811816976 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13840] ppid=13834 vsize=26645092 memory=4616 CPUtime=5.27 cores=0-7
/proc/13836/task/13840/stat : 13840 (java) S 13834 13834 11663 0 -1 1077944384 15477 0 0 0 496 31 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661810764176 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13841] ppid=13834 vsize=26645092 memory=1232 CPUtime=5.28 cores=0-7
/proc/13836/task/13841/stat : 13841 (java) S 13834 13834 11663 0 -1 1077944384 12569 0 0 0 501 27 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661809711376 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13842] ppid=13834 vsize=26645092 memory=6791534058613427641 CPUtime=5.22 cores=0-7
/proc/13836/task/13842/stat : 13842 (java) S 13834 13834 11663 0 -1 1077944384 11513 0 0 0 496 26 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661808659600 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13843] ppid=13834 vsize=26645092 memory=1832 CPUtime=5.21 cores=0-7
/proc/13836/task/13843/stat : 13843 (java) S 13834 13834 11663 0 -1 1077944384 12599 0 0 0 493 28 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661807606800 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13844] ppid=13834 vsize=26645092 memory=792 CPUtime=5.2 cores=0-7
/proc/13836/task/13844/stat : 13844 (java) S 13834 13834 11663 0 -1 1077944384 12558 0 0 0 495 25 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661806554000 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13845] ppid=13834 vsize=26645092 memory=1960 CPUtime=5.3 cores=0-7
/proc/13836/task/13845/stat : 13845 (java) S 13834 13834 11663 0 -1 1077944384 14403 0 0 0 499 31 0 0 20 0 28 0 88335979 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139661805501200 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13846] ppid=13834 vsize=26645092 memory=1456 CPUtime=15.18 cores=0-7
/proc/13836/task/13846/stat : 13846 (java) S 13834 13834 11663 0 -1 1077944384 35596 0 0 0 1350 168 0 0 20 0 28 0 88335981 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660229495152 139661890300546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13847] ppid=13834 vsize=26645092 memory=5591188 CPUtime=0 cores=0-7
/proc/13836/task/13847/stat : 13847 (java) S 13834 13834 11663 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 88335981 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660228441184 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13848] ppid=13834 vsize=26645092 memory=14413717810973266 CPUtime=0 cores=0-7
/proc/13836/task/13848/stat : 13848 (java) S 13834 13834 11663 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 88335981 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660227388288 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13849] ppid=13834 vsize=26645092 memory=1232 CPUtime=0 cores=0-7
/proc/13836/task/13849/stat : 13849 (java) S 13834 13834 11663 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660226336592 139661890307995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13850] ppid=13834 vsize=26645092 memory=5591188 CPUtime=5.56 cores=0-7
/proc/13836/task/13850/stat : 13850 (java) S 13834 13834 11663 0 -1 1077944384 51412 0 0 0 544 12 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660225284976 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13851] ppid=13834 vsize=26645092 memory=2332 CPUtime=6.21 cores=0-7
/proc/13836/task/13851/stat : 13851 (java) S 13834 13834 11663 0 -1 1077944384 48301 0 0 0 611 10 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660224232176 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13852] ppid=13834 vsize=26645092 memory=928 CPUtime=5.81 cores=0-7
/proc/13836/task/13852/stat : 13852 (java) S 13834 13834 11663 0 -1 1077944384 57238 0 0 0 571 10 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660223179376 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13853] ppid=13834 vsize=26645092 memory=1580 CPUtime=1.22 cores=0-7
/proc/13836/task/13853/stat : 13853 (java) S 13834 13834 11663 0 -1 1077944384 30386 0 0 0 114 8 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660222126576 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13854] ppid=13834 vsize=26645092 memory=2244 CPUtime=0 cores=0-7
/proc/13836/task/13854/stat : 13854 (java) S 13834 13834 11663 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660221074016 139661890299605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13855] ppid=13834 vsize=26645092 memory=4136 CPUtime=1.2 cores=0-7
/proc/13836/task/13855/stat : 13855 (java) S 13834 13834 11663 0 -1 1077944384 5935 0 0 0 53 67 0 0 20 0 28 0 88335984 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660220021296 139661890300546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13935] ppid=13834 vsize=26645092 memory=1456 CPUtime=1075.6 cores=0-7
/proc/13836/task/13935/stat : 13935 (java) R 13834 13834 11663 0 -1 4202560 3682 0 0 0 107553 7 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660208273928 139661485857292 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13936] ppid=13834 vsize=26645092 memory=4360 CPUtime=1075.26 cores=0-7
/proc/13836/task/13936/stat : 13936 (java) R 13834 13834 11663 0 -1 4202560 3181 0 0 0 107523 3 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660206172336 139661492608362 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13937] ppid=13834 vsize=26645092 memory=4100 CPUtime=1078.67 cores=0-7
/proc/13836/task/13937/stat : 13937 (java) R 13834 13834 11663 0 -1 4202560 5396 0 0 0 107860 7 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660207223320 139661488244593 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13938] ppid=13834 vsize=26645092 memory=1408 CPUtime=1072.01 cores=0-7
/proc/13836/task/13938/stat : 13938 (java) R 13834 13834 11663 0 -1 4202560 4916 0 0 0 107195 6 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660205117720 139661491619256 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13939] ppid=13834 vsize=26645092 memory=3800 CPUtime=1078.45 cores=0-7
/proc/13836/task/13939/stat : 13939 (java) R 13834 13834 11663 0 -1 4202560 4639 0 0 0 107840 5 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660203012440 139661485856761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13940] ppid=13834 vsize=26645092 memory=1456 CPUtime=1076.5 cores=0-7
/proc/13836/task/13940/stat : 13940 (java) R 13834 13834 11663 0 -1 4202560 26001 0 0 0 107622 28 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660204064936 139661491241647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13941] ppid=13834 vsize=26645092 memory=5591188 CPUtime=1073.24 cores=0-7
/proc/13836/task/13941/stat : 13941 (java) R 13834 13834 11663 0 -1 4202560 52989 0 0 0 107255 69 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660209327888 139661492986443 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
[pid=13836/tid=13942] ppid=13834 vsize=26645092 memory=6791534058613427641 CPUtime=1078.36 cores=0-7
/proc/13836/task/13942/stat : 13942 (java) R 13834 13834 11663 0 -1 4202560 2978 0 0 0 107833 3 0 0 20 0 28 0 88479932 27284574208 1397797 33554432000 4194304 4196468 140727665235648 139660201959400 139661491054044 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25133056 140727665239169 140727665239341 140727665239341 140727665242063 0
Current children cumulated CPU time: 17909.1 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 5592644 KiB

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

[startup+2520.04 s]
# the end of solver process 13834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001138 s, system=0.001138 s

[startup+2520.14 s]
# the end of solver process 13836 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=17896 s, system=13.8513 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

[startup+2520.13 s]*
/proc/loadavg: 8.09 8.18 7.77 2/181 13960
/proc/meminfo: memFree=27986104/32770624 swapFree=67108532/67108860
Current cumulated CPU time of completed processes: 0.002276 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 17909.9
CPU user time (s): 17896
CPU system time (s): 13.8513
CPU usage (%): 710.67
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 5592644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17896
system time used= 13.8513
maximum resident set size= 5591480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 611751
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67845
involuntary context switches= 177293


# summary of solver processes directly reported to runsolver:
#   pid: 13834,13836
#   total CPU time (s): 17909.9
#   total CPU user time (s): 17896
#   total CPU system time (s): 13.8513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7122 second user time and 33.0443 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml
MD5SUM	06e1d56807384f8426568c6f8eb09a57
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	18
Best CPU time to get the best result obtained on this benchmark	17909.9
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	4638
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}]
Minimum variable degree	6
Maximum variable degree	27
Distribution of variable degrees	[{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4638}]
Number of extensional constraints	0
Number of intensional constraints	4638
Distribution of constraint types	[{"type":"intension","count":4638}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4297890

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
