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 (14306 MiB free)
memory of node 1: 16384 MiB (15416 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269670-1502770626/watcher-4269670-1502770626 -o /tmp/evaluation-result-4269670-1502770626/solver-4269670-1502770626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2105701492 HOME/instance-4269670-1502770626.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
solver pid=13488, runsolver pid=13485
Current StackSize limit: 8192 KiB
[startup+0.100226 s]*
/proc/loadavg: 2.25 2.16 2.01 3/203 13491
/proc/meminfo: memFree=30435816/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 2477 0 0 0 0 0 0 0 20 0 6 0 124569192 13677060096 2730 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3339126 2730 1261 1 0 3329096 0
[pid=13490/tid=13491] ppid=13488 vsize=13358712 memory=8508281356422055842 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 1403 0 0 0 0 0 0 0 20 0 6 0 124569193 13679321088 2866 18446744073709551615 4194304 4196468 140727529886992 140447110066768 140447066812278 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13358712 memory=4122819170707441977 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124569194 13679321088 2866 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13358712 memory=140053892036224 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 124569194 13679321088 2866 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124569194 13679321088 2866 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 124569194 13679321088 2866 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB
[startup+0.210207 s]*
/proc/loadavg: 2.25 2.16 2.01 2/215 13503
/proc/meminfo: memFree=30426088/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13907304 memory=21400 CPUtime=0.05 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 4804 0 0 0 4 1 0 0 20 0 14 0 124569192 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3476826 5350 2557 1 0 3466323 0
[pid=13490/tid=13491] ppid=13488 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) D 13488 13488 4674 0 -1 4202560 2974 0 0 0 4 0 0 0 20 0 14 0 124569193 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140447110068128 140447105852669 0 4 1 16800974 18446744071580418449 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13907304 memory=4294979926 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 124569194 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13907304 memory=140053893120445 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 124569194 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 124569194 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 124569194 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13907304 memory=140053892036224 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 124569195 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 124569196 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446650188576 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 124569196 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446649136240 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124569199 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13488 13488 4674 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 124569199 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446647032432 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124569199 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446645979632 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13907304 memory=140053892036224 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 124569199 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 124569199 14241079296 5350 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22780 KiB
[startup+0.310291 s]*
/proc/loadavg: 2.25 2.16 2.01 2/215 13503
/proc/meminfo: memFree=30426088/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13974352 memory=24236 CPUtime=0.06 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 4985 0 0 0 5 1 0 0 20 0 15 0 124569192 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3493588 6059 2665 1 0 3482964 0
[pid=13490/tid=13491] ppid=13488 vsize=13974352 memory=4278483708103473607 CPUtime=0.04 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 3169 0 0 0 4 0 0 0 20 0 15 0 124569193 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140447110061552 140447105852573 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569194 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569194 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569194 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569194 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569195 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124569196 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446650188576 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124569196 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446649136240 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13974352 memory=140053783530176 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13488 13488 4674 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 124569199 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446647032432 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446645979632 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13974352 memory=140053892036224 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 124569199 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13974352 memory=140053892036224 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569215 14309736448 6059 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 25616 KiB
[startup+0.701108 s]
/proc/loadavg: 2.25 2.16 2.01 4/216 13504
/proc/meminfo: memFree=30405660/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13978608 memory=131316 CPUtime=0.87 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 12751 0 0 0 79 8 0 0 20 0 15 0 124569192 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3494652 32829 3122 1 0 3482964 0
[pid=13490/tid=13491] ppid=13488 vsize=13978608 memory=7590642703118913872 CPUtime=0.43 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 7560 0 0 0 37 6 0 0 20 0 15 0 124569193 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140447110062000 140446722761514 0 4 1 16800974 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13978608 memory=5860143364155002960 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569194 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13978608 memory=280107566630472 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569194 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569194 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13978608 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569194 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124569195 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13978608 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124569196 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446650188576 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124569196 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446649136240 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13978608 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13978608 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) R 13488 13488 4674 0 -1 4202560 1309 0 0 0 13 0 0 0 20 0 15 0 124569199 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446647018456 140447090760060 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13978608 memory=3188 CPUtime=0.12 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) R 13488 13488 4674 0 -1 4202560 1383 0 0 0 12 0 0 0 20 0 15 0 124569199 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446645960648 140447089732265 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13978608 memory=4278483708103473607 CPUtime=0.16 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 1194 0 0 0 16 0 0 0 20 0 15 0 124569199 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124569215 14314094592 32829 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 132696 KiB
[startup+1.50111 s]
/proc/loadavg: 2.25 2.16 2.01 4/216 13504
/proc/meminfo: memFree=30153324/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13978684 memory=477004 CPUtime=3.31 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 17583 0 0 0 286 45 0 0 20 0 15 0 124569192 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3494671 119251 3211 1 0 3482964 0
[pid=13490/tid=13491] ppid=13488 vsize=13978684 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 7860 0 0 0 93 8 0 0 20 0 15 0 124569193 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140447110067888 140446725698454 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13978684 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 497 0 0 0 10 8 0 0 20 0 15 0 124569194 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13978684 memory=3533419649945854846 CPUtime=0.18 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 449 0 0 0 10 8 0 0 20 0 15 0 124569194 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13978684 memory=6944656592455097440 CPUtime=0.19 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 541 0 0 0 11 8 0 0 20 0 15 0 124569194 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13978684 memory=6656426216303648864 CPUtime=0.19 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 535 0 0 0 11 8 0 0 20 0 15 0 124569194 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13978684 memory=170920250 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 124569195 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13978684 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124569196 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140446650188640 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13978684 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 124569196 14314172416 119251 18446744073709551615 4194304 4196468 140727529886992 140446649136256 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13978684 memory=1724 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13980732 memory=5024436 CPUtime=35.21 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 44946 0 0 0 3204 317 0 0 20 0 15 0 124569192 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3495183 1256109 3231 1 0 3483476 0
[pid=13490/tid=13491] ppid=13488 vsize=13980732 memory=-8774313645642428999 CPUtime=17.59 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) S 13488 13488 4674 0 -1 1077944384 14063 0 0 0 1710 49 0 0 20 0 15 0 124569193 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140447110068896 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13980732 memory=1380 CPUtime=3.59 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) R 13488 13488 4674 0 -1 4202560 3107 0 0 0 293 66 0 0 20 0 15 0 124569194 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140447047777368 140447085856781 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13980732 memory=4368924 CPUtime=3.59 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) R 13488 13488 4674 0 -1 4202560 3154 0 0 0 294 65 0 0 20 0 15 0 124569194 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447090784162 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13980732 memory=4190456 CPUtime=3.54 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) R 13488 13488 4674 0 -1 4202560 2209 0 0 0 290 64 0 0 20 0 15 0 124569194 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140447045672280 140447090674519 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13980732 memory=-8774313645642428999 CPUtime=3.6 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) R 13488 13488 4674 0 -1 4202560 3817 0 0 0 295 65 0 0 20 0 15 0 124569194 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447090528192 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13980732 memory=4368924 CPUtime=0.1 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 5270 0 0 0 9 1 0 0 20 0 15 0 124569195 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446651240928 140447105840853 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13980732 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446650188640 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13980732 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446649136256 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13980732 memory=280107566879888 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13980732 memory=-3967418655009478193 CPUtime=1.19 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13488 13488 4674 0 -1 1077944384 5847 0 0 0 118 1 0 0 20 0 15 0 124569199 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446647032432 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13980732 memory=4148 CPUtime=1.39 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13488 13488 4674 0 -1 1077944384 4118 0 0 0 138 1 0 0 20 0 15 0 124569199 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446645979632 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13980732 memory=60400 CPUtime=0.51 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 1945 0 0 0 50 1 0 0 20 0 15 0 124569199 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124569215 14316269568 1256109 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 35.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5025816 KiB
[startup+23.2008 s]
/proc/loadavg: 2.21 2.16 2.02 6/215 13504
/proc/meminfo: memFree=25319132/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13980732 memory=5118348 CPUtime=41.27 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 51461 0 0 0 3808 319 0 0 20 0 15 0 124569192 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3495183 1279587 3231 1 0 3483476 0
[pid=13490/tid=13491] ppid=13488 vsize=13980732 memory=60400 CPUtime=17.59 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 14206 0 0 0 1710 49 0 0 20 0 15 0 124569193 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140447110068896 140446728137222 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13980732 memory=1296 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 3574 0 0 0 439 67 0 0 20 0 15 0 124569194 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13980732 memory=2320 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 3281 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13980732 memory=1724 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2314 0 0 0 441 65 0 0 20 0 15 0 124569194 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13980732 memory=1724 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 4220 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13980732 memory=2012 CPUtime=0.18 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 10540 0 0 0 17 1 0 0 20 0 15 0 124569195 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13980732 memory=11048 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446650188640 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446649136256 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13980732 memory=4148 CPUtime=1.19 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) S 13488 13488 4674 0 -1 1077944384 5847 0 0 0 118 1 0 0 20 0 15 0 124569199 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446647032432 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13980732 memory=60400 CPUtime=1.39 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) S 13488 13488 4674 0 -1 1077944384 4118 0 0 0 138 1 0 0 20 0 15 0 124569199 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446645979632 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13980732 memory=1296 CPUtime=0.51 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 1945 0 0 0 50 1 0 0 20 0 15 0 124569199 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13980732 memory=115938347215216 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 124569215 14316269568 1279587 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 41.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5119728 KiB
[startup+24.0011 s]
/proc/loadavg: 2.21 2.16 2.02 3/215 13504
/proc/meminfo: memFree=25316616/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13980732 memory=5119312 CPUtime=42.27 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 56101 0 0 0 3907 320 0 0 20 0 15 0 124569192 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3495183 1279828 3231 1 0 3483476 0
[pid=13490/tid=13491] ppid=13488 vsize=13980732 memory=1796 CPUtime=18.39 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 16869 0 0 0 1790 49 0 0 20 0 15 0 124569193 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140447110069472 140446728704783 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13980732 memory=956 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 3574 0 0 0 439 67 0 0 20 0 15 0 124569194 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13980732 memory=1380 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 3281 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13980732 memory=5118348 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2314 0 0 0 441 65 0 0 20 0 15 0 124569194 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13980732 memory=1728 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 4220 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13980732 memory=4572 CPUtime=0.18 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 10548 0 0 0 17 1 0 0 20 0 15 0 124569195 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446650188640 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13980732 memory=12304 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446649136256 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13980732 memory=36268 CPUtime=1.27 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) R 13488 13488 4674 0 -1 4202560 6552 0 0 0 126 1 0 0 20 0 15 0 124569199 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446647024384 140447090957044 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13980732 memory=1232 CPUtime=1.47 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) R 13488 13488 4674 0 -1 4202560 5029 0 0 0 146 1 0 0 20 0 15 0 124569199 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446645960288 140447091864144 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13980732 memory=644 CPUtime=0.55 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 2298 0 0 0 54 1 0 0 20 0 15 0 124569199 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13980732 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13980732 memory=60400 CPUtime=0.01 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 124569215 14316269568 1279828 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 42.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5120692 KiB
[startup+24.2011 s]
/proc/loadavg: 2.21 2.16 2.02 3/215 13504
/proc/meminfo: memFree=25316616/32770624 swapFree=67108764/67108860
[pid=13488] ppid=13485 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13488/stat : 13488 (xcsp3-exec) S 13485 13488 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 124569183 9740288 345 18446744073709551615 4194304 5098028 140725985084080 140725985082184 140648265880188 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 38301696 140725985091960 140725985092165 140725985092165 140725985095659 0
/proc/13488/statm: 2378 345 289 221 0 87 0
[pid=13490] ppid=13488 vsize=13980732 memory=5119464 CPUtime=42.81 cores=1,3,5,7
/proc/13490/stat : 13490 (java) S 13488 13488 4674 0 -1 1077944320 56365 0 0 0 3961 320 0 0 20 0 15 0 124569192 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140727529869536 140447105830647 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
/proc/13490/statm: 3495183 1279866 3234 1 0 3483476 0
[pid=13490/tid=13491] ppid=13488 vsize=13980732 memory=1724 CPUtime=18.59 cores=1,3,5,7
/proc/13490/task/13491/stat : 13491 (java) R 13488 13488 4674 0 -1 4202560 16878 0 0 0 1810 49 0 0 20 0 15 0 124569193 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140447110067232 140446728948876 0 4 1 16800974 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13492] ppid=13488 vsize=13980732 memory=2012 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13492/stat : 13492 (java) S 13488 13488 4674 0 -1 1077944384 3574 0 0 0 439 67 0 0 20 0 15 0 124569194 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140447047777168 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13493] ppid=13488 vsize=13980732 memory=11048 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13493/stat : 13493 (java) S 13488 13488 4674 0 -1 1077944384 3281 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140447046724368 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13494] ppid=13488 vsize=13980732 memory=1228 CPUtime=5.06 cores=1,3,5,7
/proc/13490/task/13494/stat : 13494 (java) S 13488 13488 4674 0 -1 1077944384 2314 0 0 0 441 65 0 0 20 0 15 0 124569194 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140447045672080 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13495] ppid=13488 vsize=13980732 memory=5712 CPUtime=5.1 cores=1,3,5,7
/proc/13490/task/13495/stat : 13495 (java) S 13488 13488 4674 0 -1 1077944384 4220 0 0 0 445 65 0 0 20 0 15 0 124569194 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140447044619280 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13496] ppid=13488 vsize=13980732 memory=796 CPUtime=0.18 cores=1,3,5,7
/proc/13490/task/13496/stat : 13496 (java) S 13488 13488 4674 0 -1 1077944384 10548 0 0 0 17 1 0 0 20 0 15 0 124569195 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446651242608 140447105841794 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13497] ppid=13488 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13497/stat : 13497 (java) S 13488 13488 4674 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446650188640 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13498] ppid=13488 vsize=13980732 memory=65 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13498/stat : 13498 (java) S 13488 13488 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 124569196 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446649136256 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13499] ppid=13488 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13499/stat : 13499 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446648084560 140447105849243 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13500] ppid=13488 vsize=13980732 memory=13564886244395551 CPUtime=1.42 cores=1,3,5,7
/proc/13490/task/13500/stat : 13500 (java) R 13488 13488 4674 0 -1 4202560 6607 0 0 0 141 1 0 0 20 0 15 0 124569199 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446647020912 140447086513366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13501] ppid=13488 vsize=13980732 memory=4368924 CPUtime=1.65 cores=1,3,5,7
/proc/13490/task/13501/stat : 13501 (java) R 13488 13488 4674 0 -1 4202560 5218 0 0 0 164 1 0 0 20 0 15 0 124569199 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446645966176 140447083425440 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13502] ppid=13488 vsize=13980732 memory=13564886244395551 CPUtime=0.56 cores=1,3,5,7
/proc/13490/task/13502/stat : 13502 (java) S 13488 13488 4674 0 -1 1077944384 2309 0 0 0 55 1 0 0 20 0 15 0 124569199 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446644927344 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13503] ppid=13488 vsize=13980732 memory=8514726395715349656 CPUtime=0 cores=1,3,5,7
/proc/13490/task/13503/stat : 13503 (java) S 13488 13488 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124569199 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446643874784 140447105840853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
[pid=13490/tid=13504] ppid=13488 vsize=13980732 memory=7100839878645619564 CPUtime=0.01 cores=1,3,5,7
/proc/13490/task/13504/stat : 13504 (java) S 13488 13488 4674 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 124569215 14316269568 1279866 18446744073709551615 4194304 4196468 140727529886992 140446642821552 140447105841794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14249984 140727529890225 140727529890401 140727529890401 140727529893839 0
Current children cumulated CPU time: 42.81 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 5120844 KiB
Child status: 0
Real time (s): 24.2585
CPU time (s): 42.9438
CPU user time (s): 39.7154
CPU system time (s): 3.22839
CPU usage (%): 177.026
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 5120844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.7154
system time used= 3.22839
maximum resident set size= 5120140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3401
involuntary context switches= 292
# summary of solver processes directly reported to runsolver:
# pid: 13488
# total CPU time (s): 42.9438
# total CPU user time (s): 39.7154
# total CPU system time (s): 3.22839
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.154192 second user time and 0.295536 second system time
The end