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 (6358 MiB free)
memory of node 1: 16384 MiB (8242 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403446-1568991673/watcher-4403446-1568991673 -o /var/tmp/evaluation-result-4403446-1568991673/solver-4403446-1568991673 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1574672084 HOME/instance-4403446-1568991673.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10167, runsolver pid=10164
[startup+0.100081 s]*
/proc/loadavg: 7.83 8.28 8.06 7/234 10183
/proc/meminfo: memFree=14935988/32770624 swapFree=66988760/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15144776 memory=29056 CPUtime=0.13 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 5686 0 0 0 12 1 0 0 20 0 15 0 475430187 15508250624 7264 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3786194 7264 3148 1 0 3748377 0
[pid=10169/tid=10170] ppid=10167 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) R 10167 10167 6055 0 -1 4202560 3565 0 0 0 9 0 0 0 20 0 15 0 475430187 15508250624 7264 33554432000 4194304 4196468 140726284692544 139871119389968 139871115169174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15144776 memory=3472467875881424080 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 7264 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 7264 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 7264 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 7264 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430189 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870651013360 139871115168386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430190 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870649959584 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430190 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870648906480 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870645750640 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0.02 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) R 10167 10167 6055 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870644693312 139871094113577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 7264 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30512 KiB
[startup+0.210658 s]*
/proc/loadavg: 7.83 8.28 8.06 7/234 10183
/proc/meminfo: memFree=14922116/32770624 swapFree=66988760/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15144776 memory=40860 CPUtime=0.34 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 9455 0 0 0 32 2 0 0 20 0 15 0 475430187 15508250624 10215 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3786194 10215 3294 1 0 3748377 0
[pid=10169/tid=10170] ppid=10167 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) R 10167 10167 6055 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 475430187 15508250624 10215 33554432000 4194304 4196468 140726284692544 139871119392480 139871099237726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15144776 memory=3472467875881424080 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 10215 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 10215 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 10215 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15508250624 10215 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475430189 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870651013360 139871115168386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430190 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870649959584 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430190 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870648906480 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 579 0 0 0 3 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 213 0 0 0 2 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870645750640 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0.08 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) R 10167 10167 6055 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870644697584 139871094464692 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15144776 memory=139746986272384 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430193 15508250624 10215 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB
[startup+0.317734 s]*
/proc/loadavg: 7.83 8.28 8.06 6/234 10183
/proc/meminfo: memFree=14914104/32770624 swapFree=66988760/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15149032 memory=50088 CPUtime=0.53 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 10811 0 0 0 50 3 0 0 20 0 15 0 475430187 15512608768 12522 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3787258 12522 3365 1 0 3748377 0
[pid=10169/tid=10170] ppid=10167 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) R 10167 10167 6055 0 -1 4202560 7872 0 0 0 28 2 0 0 20 0 15 0 475430187 15512608768 12522 33554432000 4194304 4196468 140726284692544 139871119392176 139871099237726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15149032 memory=3472467875881424080 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15512608768 12522 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15149032 memory=279493813688704 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430188 15512608768 12522 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15149032 memory=279493654864928 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15512608768 12522 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15149032 memory=139746827416335 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475430188 15512608768 12522 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15149032 memory=279493813695616 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475430189 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870651013360 139871115168386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15149032 memory=139746827420943 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475430190 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870649959584 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15149032 memory=139746827429335 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475430190 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870648906480 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15149032 memory=139746827435073 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 599 0 0 0 5 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 220 0 0 0 3 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870645750640 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15149032 memory=139746986272384 CPUtime=0.13 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 825 0 0 0 13 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15149032 memory=139746986273840 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 12522 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51544 KiB
[startup+0.700777 s]
/proc/loadavg: 7.83 8.28 8.06 6/234 10183
/proc/meminfo: memFree=14804320/32770624 swapFree=66988760/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15149032 memory=288832 CPUtime=1.26 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 12012 0 0 0 104 22 0 0 20 0 15 0 475430187 15512608768 72208 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3787258 72208 3407 1 0 3748377 0
[pid=10169/tid=10170] ppid=10167 vsize=15149032 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) R 10167 10167 6055 0 -1 4202560 7985 0 0 0 54 7 0 0 20 0 15 0 475430187 15512608768 72208 33554432000 4194304 4196468 140726284692544 139871119388656 139870729461814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15149032 memory=128 CPUtime=0.06 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 475430188 15512608768 72208 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 475430188 15512608768 72208 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 475430188 15512608768 72208 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 475430188 15512608768 72208 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15149032 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475430189 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870651013360 139871115168386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15149032 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 475430190 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870649959584 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15149032 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475430190 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870648906480 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15149032 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15149032 memory=1164 CPUtime=0.1 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) R 10167 10167 6055 0 -1 4202560 932 0 0 0 10 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870646783864 139871107446688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15149032 memory=9520 CPUtime=0.1 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) R 10167 10167 6055 0 -1 4202560 519 0 0 0 10 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870645750640 139871107446688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15149032 memory=14008 CPUtime=0.16 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 951 0 0 0 16 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15149032 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15149032 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475430193 15512608768 72208 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 290288 KiB
[startup+1.50079 s]
/proc/loadavg: 7.83 8.28 8.06 6/234 10183
/proc/meminfo: memFree=14488304/32770624 swapFree=66988760/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/10169/task/10172/stat : 10172 (java) R 10167 10167 6055 0 -1 4202560 377210 0 0 0 15023 282 0 0 20 0 15 0 475430188 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139871050341328 139871107785447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15151156 memory=1412 CPUtime=152.74 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) R 10167 10167 6055 0 -1 4202560 350132 0 0 0 14974 300 0 0 20 0 15 0 475430188 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139871049288584 139871107785447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15151156 memory=3152 CPUtime=152.98 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) R 10167 10167 6055 0 -1 4202560 518754 0 0 0 15040 258 0 0 20 0 15 0 475430188 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139871048235808 139871100146882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15151156 memory=1456 CPUtime=16.45 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 136143 0 0 0 1636 9 0 0 20 0 15 0 475430189 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870651011904 139871115167445 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870649959648 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15151156 memory=904 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870648906496 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15151156 memory=2528 CPUtime=0.95 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 6587 0 0 0 93 2 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15151156 memory=1764 CPUtime=1.37 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 8511 0 0 0 135 2 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870645750400 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15151156 memory=111632 CPUtime=0.57 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 6678 0 0 0 56 1 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15151156 memory=4096 CPUtime=0.14 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 617 0 0 0 6 8 0 0 20 0 15 0 475430193 15514783744 3201104 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 756.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805872 KiB
[startup+296.801 s]
/proc/loadavg: 8.35 7.75 7.82 9/236 10230
/proc/meminfo: memFree=1976604/32770624 swapFree=66988776/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15151156 memory=12804432 CPUtime=759.86 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 2245893 0 0 0 74752 1234 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3787789 3201108 3510 1 0 3748889 0
[pid=10169/tid=10170] ppid=10167 vsize=15151156 memory=12804416 CPUtime=125.3 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) S 10167 10167 6055 0 -1 1077944384 49844 0 0 0 12476 54 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871119396464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15151156 memory=12028 CPUtime=153.9 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) R 10167 10167 6055 0 -1 4202560 775412 0 0 0 15073 317 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871051393872 139871107785447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15151156 memory=6791534058613427641 CPUtime=153.81 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) R 10167 10167 6055 0 -1 4202560 377210 0 0 0 15099 282 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871050341328 139871107785447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15151156 memory=1141 CPUtime=153.51 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) R 10167 10167 6055 0 -1 4202560 350132 0 0 0 15050 301 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871049288272 139871107785447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15151156 memory=420 CPUtime=153.77 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) R 10167 10167 6055 0 -1 4202560 533321 0 0 0 15118 259 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871048235808 139871100146875 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15151156 memory=1524 CPUtime=16.45 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) S 10167 10167 6055 0 -1 1077944384 136143 0 0 0 1636 9 0 0 20 0 15 0 475430189 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870651011904 139871115167445 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15151156 memory=13 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870649959648 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870648906496 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15151156 memory=1548 CPUtime=0.95 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 6587 0 0 0 93 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15151156 memory=8100 CPUtime=1.37 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 8511 0 0 0 135 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870645750400 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15151156 memory=1456 CPUtime=0.57 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 6678 0 0 0 56 1 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15151156 memory=12804416 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15151156 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 617 0 0 0 6 8 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 759.86 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805888 KiB
[startup+297.601 s]
/proc/loadavg: 8.35 7.75 7.82 9/236 10230
/proc/meminfo: memFree=1976604/32770624 swapFree=66988776/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15151156 memory=12804432 CPUtime=761.27 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 2277471 0 0 0 74891 1236 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3787789 3201108 3510 1 0 3748889 0
[pid=10169/tid=10170] ppid=10167 vsize=15151156 memory=303430223234596890 CPUtime=125.3 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) S 10167 10167 6055 0 -1 1077944384 49844 0 0 0 12476 54 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871119396464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15151156 memory=288230621803970871 CPUtime=154.11 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 778621 0 0 0 15094 317 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15151156 memory=1456 CPUtime=154.01 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 380091 0 0 0 15119 282 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15151156 memory=12804416 CPUtime=153.72 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 356802 0 0 0 15071 301 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15151156 memory=1456 CPUtime=153.96 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 550102 0 0 0 15136 260 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15151156 memory=12804416 CPUtime=17.04 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) R 10167 10167 6055 0 -1 4202560 138180 0 0 0 1695 9 0 0 20 0 15 0 475430189 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870651011904 139871099614830 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15151156 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870649959648 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15151156 memory=12804404 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870648906496 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15151156 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15151156 memory=1764 CPUtime=0.95 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 6587 0 0 0 93 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15151156 memory=1456 CPUtime=1.37 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 8511 0 0 0 135 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870645750400 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15151156 memory=12804416 CPUtime=0.57 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 6678 0 0 0 56 1 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15151156 memory=6791534058613427641 CPUtime=0.14 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 617 0 0 0 6 8 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 761.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805888 KiB
[startup+297.801 s]
/proc/loadavg: 8.35 7.75 7.82 9/236 10230
/proc/meminfo: memFree=1976604/32770624 swapFree=66988776/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
[pid=10169] ppid=10167 vsize=15151156 memory=12804432 CPUtime=761.47 cores=1,3,5,7
/proc/10169/stat : 10169 (java) S 10167 10167 6055 0 -1 1077944320 2277511 0 0 0 74911 1236 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 140726284675088 139871115157239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
/proc/10169/statm: 3787789 3201108 3510 1 0 3748889 0
[pid=10169/tid=10170] ppid=10167 vsize=15151156 memory=1060 CPUtime=125.3 cores=1,3,5,7
/proc/10169/task/10170/stat : 10170 (java) S 10167 10167 6055 0 -1 1077944384 49844 0 0 0 12476 54 0 0 20 0 15 0 475430187 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871119396464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10171] ppid=10167 vsize=15151156 memory=6791534058613427641 CPUtime=154.11 cores=1,3,5,7
/proc/10169/task/10171/stat : 10171 (java) S 10167 10167 6055 0 -1 1077944384 778621 0 0 0 15094 317 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871051394064 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10172] ppid=10167 vsize=15151156 memory=39004 CPUtime=154.01 cores=1,3,5,7
/proc/10169/task/10172/stat : 10172 (java) S 10167 10167 6055 0 -1 1077944384 380091 0 0 0 15119 282 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871050341520 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10173] ppid=10167 vsize=15151156 memory=2004 CPUtime=153.72 cores=1,3,5,7
/proc/10169/task/10173/stat : 10173 (java) S 10167 10167 6055 0 -1 1077944384 356802 0 0 0 15071 301 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871049288464 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10174] ppid=10167 vsize=15151156 memory=984 CPUtime=153.96 cores=1,3,5,7
/proc/10169/task/10174/stat : 10174 (java) S 10167 10167 6055 0 -1 1077944384 550102 0 0 0 15136 260 0 0 20 0 15 0 475430188 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139871048235920 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10175] ppid=10167 vsize=15151156 memory=1324 CPUtime=17.24 cores=1,3,5,7
/proc/10169/task/10175/stat : 10175 (java) R 10167 10167 6055 0 -1 4202560 138220 0 0 0 1715 9 0 0 20 0 15 0 475430189 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870651011904 139871107446693 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10176] ppid=10167 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10176/stat : 10176 (java) S 10167 10167 6055 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870649959648 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10177] ppid=10167 vsize=15151156 memory=12804404 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10177/stat : 10177 (java) S 10167 10167 6055 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 475430190 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870648906496 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10178] ppid=10167 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10178/stat : 10178 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870647855056 139871115175835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10179] ppid=10167 vsize=15151156 memory=348380 CPUtime=0.95 cores=1,3,5,7
/proc/10169/task/10179/stat : 10179 (java) S 10167 10167 6055 0 -1 1077944384 6587 0 0 0 93 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870646803184 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10180] ppid=10167 vsize=15151156 memory=1412 CPUtime=1.37 cores=1,3,5,7
/proc/10169/task/10180/stat : 10180 (java) S 10167 10167 6055 0 -1 1077944384 8511 0 0 0 135 2 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870645750400 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10181] ppid=10167 vsize=15151156 memory=3152 CPUtime=0.57 cores=1,3,5,7
/proc/10169/task/10181/stat : 10181 (java) S 10167 10167 6055 0 -1 1077944384 6678 0 0 0 56 1 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870644697584 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10182] ppid=10167 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/10169/task/10182/stat : 10182 (java) S 10167 10167 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870576044896 139871115167445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
[pid=10169/tid=10183] ppid=10167 vsize=15151156 memory=3620 CPUtime=0.14 cores=1,3,5,7
/proc/10169/task/10183/stat : 10183 (java) S 10167 10167 6055 0 -1 1077944384 617 0 0 0 6 8 0 0 20 0 15 0 475430193 15514783744 3201108 33554432000 4194304 4196468 140726284692544 139870574991920 139871115168386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 9678848 140726284694491 140726284694666 140726284694666 140726284697551 0
Current children cumulated CPU time: 761.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12805888 KiB
[startup+297.901 s]
/proc/loadavg: 8.35 7.75 7.82 9/236 10230
/proc/meminfo: memFree=1976604/32770624 swapFree=66988776/67108860
[pid=10167] ppid=10164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10167/stat : 10167 (xcsp3-exec) S 10164 10167 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475430187 115843072 364 33554432000 4194304 5098028 140723847604112 140723847602216 140531149967996 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22278144 140723847607126 140723847607385 140723847607385 140723847610310 0
/proc/10167/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 297.932
CPU time (s): 761.62
CPU user time (s): 749.132
CPU system time (s): 12.4888
CPU usage (%): 255.635
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12810208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 749.132
system time used= 12.4888
maximum resident set size= 12808760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2278233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15483
involuntary context switches= 15733
# summary of solver processes directly reported to runsolver:
# pid: 10167
# total CPU time (s): 761.62
# total CPU user time (s): 749.132
# total CPU system time (s): 12.4888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.95556 second user time and 3.00422 second system time
The end