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 (13776 MiB free)
memory of node 1: 16384 MiB (11066 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406506-1569401714/watcher-4406506-1569401714 -o /tmp/evaluation-result-4406506-1569401714/solver-4406506-1569401714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4098 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1672968524 HOME/instance-4406506-1569401714.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5942, runsolver pid=5939
Current StackSize limit: 8192 KiB
[startup+0.10429 s]*
/proc/loadavg: 1.73 1.73 1.82 3/230 5958
/proc/meminfo: memFree=25422712/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15144776 memory=28748 CPUtime=0.12 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 5641 0 0 0 11 1 0 0 20 0 15 0 516440224 15508250624 7187 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3786194 7187 3150 1 0 3748377 0
[pid=5944/tid=5945] ppid=5942 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 3546 0 0 0 8 0 0 0 20 0 15 0 516440224 15508250624 7252 33554432000 4194304 4196468 140735437371072 140485275589616 140485271375254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 7252 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15144776 memory=140279252704528 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484738638880 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484737586032 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15144776 memory=140279249151616 CPUtime=0.01 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) R 5942 5942 4066 0 -1 4202560 378 0 0 0 1 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484733377136 140485271375254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 7252 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30200 KiB
[startup+0.211536 s]*
/proc/loadavg: 1.73 1.73 1.82 4/230 5958
/proc/meminfo: memFree=25410732/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15144776 memory=40108 CPUtime=0.32 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 9254 0 0 0 29 3 0 0 20 0 15 0 516440224 15508250624 10027 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3786194 10027 3265 1 0 3748377 0
[pid=5944/tid=5945] ppid=5942 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 6512 0 0 0 17 2 0 0 20 0 15 0 516440224 15508250624 10027 33554432000 4194304 4196468 140735437371072 140485275595232 140485255443806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 10027 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15144776 memory=3977723859562702496 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516440225 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15144776 memory=140279249151616 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484738638880 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516440227 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484737586032 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 111 0 0 0 2 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15144776 memory=140279249151616 CPUtime=0.07 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) R 5942 5942 4066 0 -1 4202560 828 0 0 0 7 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484733371712 140485271375254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440230 15508250624 10027 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41560 KiB
[startup+0.310735 s]*
/proc/loadavg: 1.73 1.73 1.82 4/230 5958
/proc/meminfo: memFree=25404776/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15149032 memory=46948 CPUtime=0.51 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 10580 0 0 0 47 4 0 0 20 0 15 0 516440224 15512608768 11737 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787258 11737 3367 1 0 3748377 0
[pid=5944/tid=5945] ppid=5942 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 7566 0 0 0 26 3 0 0 20 0 15 0 516440224 15512608768 11737 33554432000 4194304 4196468 140735437371072 140485275599936 140485264041333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15512608768 11737 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15512608768 11737 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15512608768 11737 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516440225 15512608768 11737 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15149032 memory=7007700640268395922 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516440227 15512608768 11737 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516440227 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484738638880 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516440227 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484737586032 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15149032 memory=-7465405268641471099 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15149032 memory=7031125463459224206 CPUtime=0.03 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) R 5942 5942 4066 0 -1 4202560 551 0 0 0 3 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484735482736 140485251829755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) R 5942 5942 4066 0 -1 1077944384 142 0 0 0 4 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 1024 0 0 0 13 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440230 15512608768 11802 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48400 KiB
[startup+0.700786 s]
/proc/loadavg: 1.99 1.79 1.83 6/230 5958
/proc/meminfo: memFree=25384228/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15151156 memory=114524 CPUtime=1.76 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 14131 0 0 0 170 6 0 0 20 0 15 0 516440224 15514783744 28631 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787789 28631 3450 1 0 3748889 0
[pid=5944/tid=5945] ppid=5942 vsize=15151156 memory=-7533522213388100735 CPUtime=0.67 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 8384 0 0 0 63 4 0 0 20 0 15 0 516440224 15514783744 28631 33554432000 4194304 4196468 140735437371072 140485275600080 140485255443806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15514783744 28631 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440225 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516440225 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484738638880 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484737586032 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15151156 memory=620 CPUtime=0.38 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) R 5942 5942 4066 0 -1 4202560 1617 0 0 0 38 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484735482736 140485256289291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15151156 memory=1496 CPUtime=0.36 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) R 5942 5942 4066 0 -1 4202560 953 0 0 0 36 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484734422960 140485250552778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15151156 memory=1016 CPUtime=0.33 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 1872 0 0 0 33 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 28631 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115976 KiB
[startup+1.50088 s]
/proc/loadavg: 1.99 1.79 1.83 5/230 5958
/proc/meminfo: memFree=25310196/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15151156 memory=162144 CPUtime=596.79 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 60777 0 0 0 59653 26 0 0 20 0 15 0 516440224 15514783744 40536 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787789 40536 3509 1 0 3748889 0
[pid=5944/tid=5945] ppid=5942 vsize=15151156 memory=1398722017469774279 CPUtime=591.84 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 14844 0 0 0 59177 7 0 0 20 0 15 0 516440224 15514783744 40536 33554432000 4194304 4196468 140735437371072 140485275603088 140484912568210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15151156 memory=6072 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 813 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15151156 memory=14012 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1229 0 0 0 4 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15151156 memory=2116 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 837 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15151156 memory=36632 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 451 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15151156 memory=14068 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 1409 0 0 0 4 1 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15151156 memory=524 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484738638944 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484737586048 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15151156 memory=3192 CPUtime=1.98 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 16571 0 0 0 196 2 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15151156 memory=1452 CPUtime=1.8 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 13845 0 0 0 179 1 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15151156 memory=152052 CPUtime=0.61 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 9018 0 0 0 60 1 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15151156 memory=3176 CPUtime=0.18 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 347 0 0 0 8 10 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 596.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 163596 KiB
[startup+593.601 s]
/proc/loadavg: 1.94 1.91 1.88 3/229 6109
/proc/meminfo: memFree=25299692/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15151156 memory=162144 CPUtime=598.38 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 60777 0 0 0 59812 26 0 0 20 0 15 0 516440224 15514783744 40536 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787789 40536 3509 1 0 3748889 0
[pid=5944/tid=5945] ppid=5942 vsize=15151156 memory=1452 CPUtime=593.43 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 14844 0 0 0 59336 7 0 0 20 0 15 0 516440224 15514783744 40536 33554432000 4194304 4196468 140735437371072 140485275603088 140484912567872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15151156 memory=162144 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 813 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15151156 memory=162144 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1229 0 0 0 4 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 837 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15151156 memory=162144 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 451 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15151156 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 1409 0 0 0 4 1 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484738638944 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484737586048 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15151156 memory=1016 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15151156 memory=6072 CPUtime=1.98 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 16571 0 0 0 196 2 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15151156 memory=14012 CPUtime=1.8 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 13845 0 0 0 179 1 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15151156 memory=2116 CPUtime=0.61 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 9018 0 0 0 60 1 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15151156 memory=1976 CPUtime=0.18 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 347 0 0 0 8 10 0 0 20 0 15 0 516440230 15514783744 40536 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 598.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 163596 KiB
[startup+594.401 s]
/proc/loadavg: 1.94 1.91 1.88 3/229 6109
/proc/meminfo: memFree=25299856/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15151156 memory=162340 CPUtime=599.18 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 60777 0 0 0 59892 26 0 0 20 0 15 0 516440224 15514783744 40585 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787789 40585 3509 1 0 3748889 0
[pid=5944/tid=5945] ppid=5942 vsize=15151156 memory=1428 CPUtime=594.23 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 14844 0 0 0 59416 7 0 0 20 0 15 0 516440224 15514783744 40585 33554432000 4194304 4196468 140735437371072 140485275603088 140484912614665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15151156 memory=3672 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 813 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15151156 memory=1056 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1229 0 0 0 4 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15151156 memory=1188 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 837 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15151156 memory=1452 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 451 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15151156 memory=162144 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 1409 0 0 0 4 1 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15151156 memory=16101489617668668 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484738638944 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15151156 memory=194536 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484737586048 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15151156 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15151156 memory=1398722017469774279 CPUtime=1.98 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 16571 0 0 0 196 2 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15151156 memory=3176 CPUtime=1.8 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 13845 0 0 0 179 1 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15151156 memory=8112282956445269571 CPUtime=0.61 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 9018 0 0 0 60 1 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15151156 memory=152052 CPUtime=0.18 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 347 0 0 0 8 10 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 599.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 163792 KiB
[startup+594.801 s]
/proc/loadavg: 1.94 1.91 1.88 3/229 6109
/proc/meminfo: memFree=25299856/32770624 swapFree=66959728/67108860
[pid=5942] ppid=5939 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5942/stat : 5942 (xcsp3-exec) S 5939 5942 4066 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516440224 115843072 363 33554432000 4194304 5098028 140737144772208 140737144770312 140504205271676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31412224 140737144775546 140737144775789 140737144775789 140737144778698 0
/proc/5942/statm: 28282 363 304 221 0 87 0
[pid=5944] ppid=5942 vsize=15151156 memory=162340 CPUtime=599.58 cores=0,2,4,6
/proc/5944/stat : 5944 (java) S 5942 5942 4066 0 -1 1077944320 60777 0 0 0 59932 26 0 0 20 0 15 0 516440224 15514783744 40585 33554432000 4194304 4196468 140735437371072 140735437353616 140485271363319 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
/proc/5944/statm: 3787789 40585 3509 1 0 3748889 0
[pid=5944/tid=5945] ppid=5942 vsize=15151156 memory=16101489617668668 CPUtime=594.63 cores=0,2,4,6
/proc/5944/task/5945/stat : 5945 (java) R 5942 5942 4066 0 -1 4202560 14844 0 0 0 59456 7 0 0 20 0 15 0 516440224 15514783744 40585 33554432000 4194304 4196468 140735437371072 140485275603088 140484912825837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5946] ppid=5942 vsize=15151156 memory=14068 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5946/stat : 5946 (java) S 5942 5942 4066 0 -1 1077944384 813 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140485227916432 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5947] ppid=5942 vsize=15151156 memory=524 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5947/stat : 5947 (java) S 5942 5942 4066 0 -1 1077944384 1229 0 0 0 4 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484862467088 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5948] ppid=5942 vsize=15151156 memory=1568 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5948/stat : 5948 (java) S 5942 5942 4066 0 -1 1077944384 837 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484861414288 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5949] ppid=5942 vsize=15151156 memory=1428 CPUtime=0.06 cores=0,2,4,6
/proc/5944/task/5949/stat : 5949 (java) S 5942 5942 4066 0 -1 1077944384 451 0 0 0 5 1 0 0 20 0 15 0 516440225 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484860361488 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5950] ppid=5942 vsize=15151156 memory=3672 CPUtime=0.05 cores=0,2,4,6
/proc/5944/task/5950/stat : 5950 (java) S 5942 5942 4066 0 -1 1077944384 1409 0 0 0 4 1 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484739692912 140485271374466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5951] ppid=5942 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5951/stat : 5951 (java) S 5942 5942 4066 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484738638944 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5952] ppid=5942 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5952/stat : 5952 (java) S 5942 5942 4066 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516440227 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484737586048 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5953] ppid=5942 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5953/stat : 5953 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484736534352 140485271381915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5954] ppid=5942 vsize=15151156 memory=8112282956445269571 CPUtime=1.98 cores=0,2,4,6
/proc/5944/task/5954/stat : 5954 (java) S 5942 5942 4066 0 -1 1077944384 16571 0 0 0 196 2 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484735482736 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5955] ppid=5942 vsize=15151156 memory=2116 CPUtime=1.8 cores=0,2,4,6
/proc/5944/task/5955/stat : 5955 (java) S 5942 5942 4066 0 -1 1077944384 13845 0 0 0 179 1 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484734429936 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5956] ppid=5942 vsize=15151156 memory=36632 CPUtime=0.61 cores=0,2,4,6
/proc/5944/task/5956/stat : 5956 (java) S 5942 5942 4066 0 -1 1077944384 9018 0 0 0 60 1 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484733377136 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5957] ppid=5942 vsize=15151156 memory=1768 CPUtime=0 cores=0,2,4,6
/proc/5944/task/5957/stat : 5957 (java) S 5942 5942 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484732324576 140485271373525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
[pid=5944/tid=5958] ppid=5942 vsize=15151156 memory=1398722017469774279 CPUtime=0.18 cores=0,2,4,6
/proc/5944/task/5958/stat : 5958 (java) S 5942 5942 4066 0 -1 1077944384 347 0 0 0 8 10 0 0 20 0 15 0 516440230 15514783744 40585 33554432000 4194304 4196468 140735437371072 140484731271856 140485271374466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 30519296 140735437374447 140735437374618 140735437374618 140735437377487 0
Current children cumulated CPU time: 599.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 163792 KiB
Child status: 0
Real time (s): 594.836
CPU time (s): 599.632
CPU user time (s): 599.362
CPU system time (s): 0.270091
CPU usage (%): 100.806
Max. virtual memory (cumulated for all children) (KiB): 15266112
Max. memory (cumulated for all children) (KiB): 223552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.362
system time used= 0.270091
maximum resident set size= 225256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16317
involuntary context switches= 387
# summary of solver processes directly reported to runsolver:
# pid: 5942
# total CPU time (s): 599.632
# total CPU user time (s): 599.362
# total CPU system time (s): 0.270091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.51826 second user time and 5.51237 second system time
The end