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 (15263 MiB free)
memory of node 1: 16384 MiB (15332 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393354-1568319589/watcher-4393354-1568319589 -o /tmp/evaluation-result-4393354-1568319589/solver-4393354-1568319589 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1140426913 HOME/instance-4393354-1568319589.xml
running on 4 cores: 0,2,4,6
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=15963, runsolver pid=15960
[startup+0.100061 s]*
/proc/loadavg: 8.19 8.39 8.17 8/233 15979
/proc/meminfo: memFree=31313912/32770624 swapFree=66979520/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15144768 memory=29436 CPUtime=0.12 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 5820 0 0 0 10 2 0 0 20 0 15 0 408221606 15508242432 7359 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3786192 7359 3119 1 0 3748377 0
[pid=15965/tid=15966] ppid=15963 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) R 15963 15963 6753 0 -1 4202560 3749 0 0 0 7 1 0 0 20 0 15 0 408221606 15508242432 7359 33554432000 4194304 4196468 140731421903168 140563061050640 140563040904542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 7359 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 7359 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 7359 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408221608 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408221609 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562524472992 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408221609 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562523419888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221611 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 408221611 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) S 15963 15963 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408221611 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562520263024 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0.01 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) R 15963 15963 6753 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 408221611 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562519209968 140563056845402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221612 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221612 15508242432 7359 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30884 KiB
[startup+0.216104 s]*
/proc/loadavg: 8.19 8.39 8.17 6/233 15979
/proc/meminfo: memFree=31303492/32770624 swapFree=66979520/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15144768 memory=40060 CPUtime=0.34 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 9278 0 0 0 30 4 0 0 20 0 15 0 408221606 15508242432 10015 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3786192 10015 3258 1 0 3748377 0
[pid=15965/tid=15966] ppid=15963 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) R 15963 15963 6753 0 -1 4202560 6582 0 0 0 17 3 0 0 20 0 15 0 408221606 15508242432 10015 33554432000 4194304 4196468 140731421903168 140563061054336 140562686677663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 10015 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15144768 memory=140599555298671 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 10015 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 10015 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408221607 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408221608 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408221609 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562524472992 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408221609 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562523419888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221611 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 408221611 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) S 15963 15963 6753 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 408221611 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562520263024 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15144768 memory=140599555282560 CPUtime=0.07 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) R 15963 15963 6753 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 15 0 408221611 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562519209968 140563035739559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221612 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221612 15508242432 10015 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41508 KiB
[startup+0.310599 s]*
/proc/loadavg: 8.10 8.37 8.16 7/233 15979
/proc/meminfo: memFree=31297676/32770624 swapFree=66979520/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15149024 memory=48912 CPUtime=0.52 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 10569 0 0 0 47 5 0 0 20 0 15 0 408221606 15512600576 12228 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3787256 12228 3367 1 0 3748377 0
[pid=15965/tid=15966] ppid=15963 vsize=15149024 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) R 15963 15963 6753 0 -1 4202560 7642 0 0 0 25 4 0 0 20 0 15 0 408221606 15512600576 12254 33554432000 4194304 4196468 140731421903168 140563061055168 140563040904542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15512600576 12254 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15149024 memory=3161056 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15512600576 12254 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15512600576 12254 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408221607 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408221608 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408221609 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562524472992 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408221609 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562523419888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221611 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 434 0 0 0 4 0 0 0 20 0 15 0 408221611 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) R 15963 15963 6753 0 -1 4202560 280 0 0 0 4 0 0 0 20 0 15 0 408221611 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562520263024 140563040310331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) R 15963 15963 6753 0 -1 1077944384 918 0 0 0 12 0 0 0 20 0 15 0 408221611 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562519209968 140563056835202 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221612 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221612 15512600576 12254 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50360 KiB
[startup+0.706892 s]
/proc/loadavg: 8.10 8.37 8.16 8/233 15979
/proc/meminfo: memFree=31271396/32770624 swapFree=66979520/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15151148 memory=115960 CPUtime=1.72 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 15533 0 0 0 166 6 0 0 20 0 15 0 408221606 15514775552 28990 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3787787 28990 3439 1 0 3748889 0
[pid=15965/tid=15966] ppid=15963 vsize=15151148 memory=1790397383937 CPUtime=0.68 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) R 15963 15963 6753 0 -1 4202560 9125 0 0 0 63 5 0 0 20 0 15 0 408221606 15514775552 28990 33554432000 4194304 4196468 140731421903168 140563061060376 140562690179120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15514775552 28990 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15514775552 28990 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221607 15514775552 28990 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408221607 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408221608 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408221609 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562524472992 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408221609 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562523419888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221611 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15151148 memory=1764 CPUtime=0.34 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) R 15963 15963 6753 0 -1 4202560 1617 0 0 0 34 0 0 0 20 0 15 0 408221611 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562521306896 140563036660407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15151148 memory=111632 CPUtime=0.35 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) R 15963 15963 6753 0 -1 4202560 1429 0 0 0 35 0 0 0 20 0 15 0 408221611 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562520244432 140563036067881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15151148 memory=804 CPUtime=0.32 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) S 15963 15963 6753 0 -1 1077944384 2056 0 0 0 32 0 0 0 20 0 15 0 408221611 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562519209968 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408221612 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408221612 15514775552 28990 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 117408 KiB
[startup+1.50211 s]
/proc/loadavg: 8.10 8.37 8.16 9/233 15979
/proc/meminfo: memFree=31144656/32770624 swapFree=66979520/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1197 0 0 0 2 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16043] ppid=15963 vsize=15486016 memory=928 CPUtime=17.8 cores=0,2,4,6
/proc/15965/task/16043/stat : 16043 (java) S 15963 15963 6753 0 -1 1077944384 515 0 0 0 1780 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562503696064 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16044] ppid=15963 vsize=15486016 memory=1448 CPUtime=17.9 cores=0,2,4,6
/proc/15965/task/16044/stat : 16044 (java) S 15963 15963 6753 0 -1 1077944384 1018 0 0 0 1790 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562505802448 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16045] ppid=15963 vsize=15486016 memory=383408 CPUtime=17.92 cores=0,2,4,6
/proc/15965/task/16045/stat : 16045 (java) S 15963 15963 6753 0 -1 1077944384 247 0 0 0 1792 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562501591888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16046] ppid=15963 vsize=15486016 memory=2004 CPUtime=19.04 cores=0,2,4,6
/proc/15965/task/16046/stat : 16046 (java) R 15963 15963 6753 0 -1 4202560 539 0 0 0 1904 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562502639760 140562695783435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 319.52 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 384856 KiB
[startup+84.0008 s]*
/proc/loadavg: 8.29 8.39 8.19 6/237 16048
/proc/meminfo: memFree=30900756/32770624 swapFree=66979532/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15486016 memory=383408 CPUtime=320.33 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 68812 0 0 0 32007 26 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3871504 95852 3525 1 0 3832606 0
[pid=15965/tid=15966] ppid=15963 vsize=15486016 memory=8317482817917895235 CPUtime=1.28 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) S 15963 15963 6753 0 -1 1077944384 10823 0 0 0 122 6 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563061064832 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15486016 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 487 0 0 0 2 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15486016 memory=1764 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1143 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15486016 memory=111632 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 215 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15486016 memory=804 CPUtime=0.05 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 315 0 0 0 3 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15486016 memory=1808 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 1517 0 0 0 1 1 0 0 20 0 19 0 408221608 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15486016 memory=924 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562524473056 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15486016 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562523419904 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15486016 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15486016 memory=2916 CPUtime=2.5 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 11589 0 0 0 249 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15486016 memory=4104 CPUtime=2.32 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) S 15963 15963 6753 0 -1 1077944384 13772 0 0 0 231 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562520263024 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15486016 memory=1412 CPUtime=0.85 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) S 15963 15963 6753 0 -1 1077944384 11476 0 0 0 84 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562519209968 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15486016 memory=3316 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15486016 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1197 0 0 0 2 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16043] ppid=15963 vsize=15486016 memory=426040 CPUtime=17.8 cores=0,2,4,6
/proc/15965/task/16043/stat : 16043 (java) S 15963 15963 6753 0 -1 1077944384 515 0 0 0 1780 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562503696064 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16044] ppid=15963 vsize=15486016 memory=1408 CPUtime=17.9 cores=0,2,4,6
/proc/15965/task/16044/stat : 16044 (java) S 15963 15963 6753 0 -1 1077944384 1018 0 0 0 1790 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562505802448 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16045] ppid=15963 vsize=15486016 memory=3132 CPUtime=17.92 cores=0,2,4,6
/proc/15965/task/16045/stat : 16045 (java) S 15963 15963 6753 0 -1 1077944384 247 0 0 0 1792 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562501591888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16046] ppid=15963 vsize=15486016 memory=1448 CPUtime=19.85 cores=0,2,4,6
/proc/15965/task/16046/stat : 16046 (java) R 15963 15963 6753 0 -1 4202560 547 0 0 0 1985 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562502639760 140562695783476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 320.33 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 384856 KiB
[startup+84.4008 s]
/proc/loadavg: 8.29 8.39 8.19 6/237 16048
/proc/meminfo: memFree=30900756/32770624 swapFree=66979532/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15486016 memory=383408 CPUtime=320.72 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 68812 0 0 0 32046 26 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3871504 95852 3525 1 0 3832606 0
[pid=15965/tid=15966] ppid=15963 vsize=15486016 memory=804 CPUtime=1.28 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) S 15963 15963 6753 0 -1 1077944384 10823 0 0 0 122 6 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563061064832 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15486016 memory=1808 CPUtime=0.04 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 487 0 0 0 2 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15486016 memory=1060 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1143 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15486016 memory=2828 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 215 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15486016 memory=756 CPUtime=0.05 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 315 0 0 0 3 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15486016 memory=1548 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 1517 0 0 0 1 1 0 0 20 0 19 0 408221608 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15486016 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562524473056 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15486016 memory=383408 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562523419904 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15486016 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15486016 memory=2596 CPUtime=2.5 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 11589 0 0 0 249 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15486016 memory=2916 CPUtime=2.32 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) S 15963 15963 6753 0 -1 1077944384 13772 0 0 0 231 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562520263024 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15486016 memory=4104 CPUtime=0.85 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) S 15963 15963 6753 0 -1 1077944384 11476 0 0 0 84 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562519209968 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15486016 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15486016 memory=3316 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1197 0 0 0 2 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16043] ppid=15963 vsize=15486016 memory=1448 CPUtime=17.8 cores=0,2,4,6
/proc/15965/task/16043/stat : 16043 (java) S 15963 15963 6753 0 -1 1077944384 515 0 0 0 1780 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562503696064 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16044] ppid=15963 vsize=15486016 memory=426040 CPUtime=17.9 cores=0,2,4,6
/proc/15965/task/16044/stat : 16044 (java) S 15963 15963 6753 0 -1 1077944384 1018 0 0 0 1790 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562505802448 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16045] ppid=15963 vsize=15486016 memory=1408 CPUtime=17.92 cores=0,2,4,6
/proc/15965/task/16045/stat : 16045 (java) S 15963 15963 6753 0 -1 1077944384 247 0 0 0 1792 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562501591888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16046] ppid=15963 vsize=15486016 memory=3152 CPUtime=20.24 cores=0,2,4,6
/proc/15965/task/16046/stat : 16046 (java) R 15963 15963 6753 0 -1 4202560 547 0 0 0 2024 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562502639760 140562695783378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 320.72 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 384856 KiB
[startup+84.5008 s]
/proc/loadavg: 8.29 8.39 8.19 6/237 16048
/proc/meminfo: memFree=30900756/32770624 swapFree=66979532/67108860
[pid=15963] ppid=15960 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15963/stat : 15963 (xcsp3-exec) S 15960 15963 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408221605 115843072 362 33554432000 4194304 5098028 140722130243840 140722130241944 140516944192124 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7729152 140722130252666 140722130252909 140722130252909 140722130255818 0
/proc/15963/statm: 28282 362 304 221 0 87 0
[pid=15965] ppid=15963 vsize=15486016 memory=383408 CPUtime=320.82 cores=0,2,4,6
/proc/15965/stat : 15965 (java) S 15963 15963 6753 0 -1 1077944320 68812 0 0 0 32056 26 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140731421885712 140563056824055 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
/proc/15965/statm: 3871504 95852 3525 1 0 3832606 0
[pid=15965/tid=15966] ppid=15963 vsize=15486016 memory=383408 CPUtime=1.28 cores=0,2,4,6
/proc/15965/task/15966/stat : 15966 (java) S 15963 15963 6753 0 -1 1077944384 10823 0 0 0 122 6 0 0 20 0 19 0 408221606 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563061064832 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15967] ppid=15963 vsize=15486016 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/15965/task/15967/stat : 15967 (java) S 15963 15963 6753 0 -1 1077944384 487 0 0 0 2 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563009444368 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15968] ppid=15963 vsize=15486016 memory=382984 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15968/stat : 15968 (java) S 15963 15963 6753 0 -1 1077944384 1143 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563008391824 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15969] ppid=15963 vsize=15486016 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/15965/task/15969/stat : 15969 (java) S 15963 15963 6753 0 -1 1077944384 215 0 0 0 4 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140563007338768 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15970] ppid=15963 vsize=15486016 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/15965/task/15970/stat : 15970 (java) S 15963 15963 6753 0 -1 1077944384 315 0 0 0 3 2 0 0 20 0 19 0 408221607 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562645571984 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15971] ppid=15963 vsize=15486016 memory=984 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15971/stat : 15971 (java) S 15963 15963 6753 0 -1 1077944384 1517 0 0 0 1 1 0 0 20 0 19 0 408221608 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562525526768 140563056835202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15972] ppid=15963 vsize=15486016 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15972/stat : 15972 (java) S 15963 15963 6753 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562524473056 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15973] ppid=15963 vsize=15486016 memory=281198892098816 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15973/stat : 15973 (java) S 15963 15963 6753 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 408221609 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562523419904 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15974] ppid=15963 vsize=15486016 memory=70746097322218 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15974/stat : 15974 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562522368464 140563056842651 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15975] ppid=15963 vsize=15486016 memory=1448 CPUtime=2.5 cores=0,2,4,6
/proc/15965/task/15975/stat : 15975 (java) S 15963 15963 6753 0 -1 1077944384 11589 0 0 0 249 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562521315568 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15976] ppid=15963 vsize=15486016 memory=1448 CPUtime=2.32 cores=0,2,4,6
/proc/15965/task/15976/stat : 15976 (java) S 15963 15963 6753 0 -1 1077944384 13772 0 0 0 231 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562520263024 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15977] ppid=15963 vsize=15486016 memory=2916 CPUtime=0.85 cores=0,2,4,6
/proc/15965/task/15977/stat : 15977 (java) S 15963 15963 6753 0 -1 1077944384 11476 0 0 0 84 1 0 0 20 0 19 0 408221611 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562519209968 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15978] ppid=15963 vsize=15486016 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/15965/task/15978/stat : 15978 (java) S 15963 15963 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562518157664 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=15979] ppid=15963 vsize=15486016 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/15965/task/15979/stat : 15979 (java) S 15963 15963 6753 0 -1 1077944384 1197 0 0 0 2 0 0 0 20 0 19 0 408221612 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562517105712 140563056835202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16043] ppid=15963 vsize=15486016 memory=1448 CPUtime=17.8 cores=0,2,4,6
/proc/15965/task/16043/stat : 16043 (java) S 15963 15963 6753 0 -1 1077944384 515 0 0 0 1780 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562503696064 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16044] ppid=15963 vsize=15486016 memory=3620 CPUtime=17.9 cores=0,2,4,6
/proc/15965/task/16044/stat : 16044 (java) S 15963 15963 6753 0 -1 1077944384 1018 0 0 0 1790 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562505802448 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16045] ppid=15963 vsize=15486016 memory=1448 CPUtime=17.92 cores=0,2,4,6
/proc/15965/task/16045/stat : 16045 (java) S 15963 15963 6753 0 -1 1077944384 247 0 0 0 1792 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562501591888 140563056834261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
[pid=15965/tid=16046] ppid=15963 vsize=15486016 memory=383408 CPUtime=20.34 cores=0,2,4,6
/proc/15965/task/16046/stat : 16046 (java) R 15963 15963 6753 0 -1 4202560 547 0 0 0 2034 0 0 0 20 0 19 0 408227994 15857680384 95852 33554432000 4194304 4196468 140731421903168 140562502639760 140562695783404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140731421909999 140731421910170 140731421910170 140731421913039 0
Current children cumulated CPU time: 320.82 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 384856 KiB
Child status: 0
Real time (s): 84.519
CPU time (s): 320.85
CPU user time (s): 320.578
CPU system time (s): 0.271226
CPU usage (%): 379.619
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 384856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.578
system time used= 0.271226
maximum resident set size= 383456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5449
involuntary context switches= 5762
# summary of solver processes directly reported to runsolver:
# pid: 15963
# total CPU time (s): 320.85
# total CPU user time (s): 320.578
# total CPU system time (s): 0.271226
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.575334 second user time and 0.960475 second system time
The end