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 (11645 MiB free)
memory of node 1: 16384 MiB (11469 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284453-1503213012/watcher-4284453-1503213012 -o /tmp/evaluation-result-4284453-1503213012/solver-4284453-1503213012 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 962843835 HOME/instance-4284453-1503213012.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=15943, runsolver pid=15940
[startup+0.100429 s]*
/proc/loadavg: 2.55 2.23 1.97 3/217 15959
/proc/meminfo: memFree=23653472/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13978596 memory=28516 CPUtime=0.12 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 5027 0 0 0 11 1 0 0 20 0 15 0 154381920 14314082304 7129 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3494649 7129 2869 1 0 3482966 0
[pid=15945/tid=15946] ppid=15943 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 2992 0 0 0 8 0 0 0 20 0 15 0 154381920 14314082304 7129 33554432000 4194304 4196468 140733719018176 140712996724992 140712992505238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13978596 memory=3472468314269713616 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14314082304 7129 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13978596 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381921 14314082304 7129 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14314082304 7129 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14314082304 7129 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381922 14314082304 7129 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381923 14314082304 7129 33554432000 4194304 4196468 140733719018176 140711903810720 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381923 14314082304 7129 33554432000 4194304 4196468 140733719018176 140711902757616 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 154381925 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 154381925 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13978596 memory=140185374561920 CPUtime=0.01 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) R 15943 15943 12810 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 154381925 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711898548720 140712985599005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13978596 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381926 14314082304 7195 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29900 KiB
[startup+0.211017 s]*
/proc/loadavg: 2.55 2.23 1.97 3/217 15959
/proc/meminfo: memFree=23642868/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13982852 memory=40712 CPUtime=0.33 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 7749 0 0 0 31 2 0 0 20 0 15 0 154381920 14318440448 10178 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3495713 10178 3081 1 0 3482966 0
[pid=15945/tid=15946] ppid=15943 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 4887 0 0 0 18 1 0 0 20 0 15 0 154381920 14318440448 10178 33554432000 4194304 4196468 140733719018176 140712996703040 140712976573790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13982852 memory=3472468314269713616 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 10178 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13982852 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 10178 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 10178 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 10178 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13982852 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381922 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381923 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711903810720 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381923 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711902757616 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 15 0 154381925 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) R 15943 15943 12810 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 154381925 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13982852 memory=140185374561920 CPUtime=0.07 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) R 15943 15943 12810 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 154381925 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711898548720 140712992514650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13982852 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381926 14318440448 10178 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42096 KiB
[startup+0.310372 s]*
/proc/loadavg: 2.55 2.23 1.97 4/217 15959
/proc/meminfo: memFree=23635920/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13982852 memory=47824 CPUtime=0.51 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 8572 0 0 0 48 3 0 0 20 0 15 0 154381920 14318440448 11956 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3495713 11956 3112 1 0 3482966 0
[pid=15945/tid=15946] ppid=15943 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 5483 0 0 0 27 2 0 0 20 0 15 0 154381920 14318440448 11956 33554432000 4194304 4196468 140733719018176 140712996725696 140712992514650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13982852 memory=3472468314269713616 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 11956 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13982852 memory=140185374561920 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 11956 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13982852 memory=2 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 11956 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13982852 memory=140185249654815 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14318440448 11956 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13982852 memory=280370499270400 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381922 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13982852 memory=140185249631759 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381923 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711903810720 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13982852 memory=280370624202848 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381923 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711902757616 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13982852 memory=140185249636367 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 614 0 0 0 4 0 0 0 20 0 15 0 154381925 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 294 0 0 0 3 0 0 0 20 0 15 0 154381925 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 154381925 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381926 14318440448 11956 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49208 KiB
[startup+0.700725 s]
/proc/loadavg: 2.55 2.23 1.97 5/217 15959
/proc/meminfo: memFree=23623144/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13984976 memory=81468 CPUtime=1.56 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 14168 0 0 0 151 5 0 0 20 0 15 0 154381920 14320615424 20367 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3496244 20367 3215 1 0 3483478 0
[pid=15945/tid=15946] ppid=15943 vsize=13984976 memory=6154820267226784105 CPUtime=0.66 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 6401 0 0 0 63 3 0 0 20 0 15 0 154381920 14320615424 20367 33554432000 4194304 4196468 140733719018176 140712996731496 140712612117585 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14320615424 20367 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381921 14320615424 20367 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14320615424 20367 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154381921 14320615424 20367 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154381922 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154381923 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711903810720 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154381923 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711902757616 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13984976 memory=42972 CPUtime=0.24 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) R 15943 15943 12810 0 -1 4202560 2318 0 0 0 24 0 0 0 20 0 15 0 154381925 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711900635336 140712977392874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13984976 memory=1292 CPUtime=0.24 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) R 15943 15943 12810 0 -1 4202560 1868 0 0 0 24 0 0 0 20 0 15 0 154381925 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711899587800 140712975880656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13984976 memory=2428 CPUtime=0.38 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 2273 0 0 0 38 0 0 0 20 0 15 0 154381925 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154381926 14320615424 20367 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 82852 KiB
[startup+1.50079 s]
/proc/loadavg: 2.55 2.23 1.97 6/217 15959
/proc/meminfo: memFree=23581108/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711902757632 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13988148 memory=370584 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13988148 memory=33 CPUtime=12.03 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 53435 0 0 0 1198 5 0 0 20 0 15 0 154381925 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13988148 memory=1384 CPUtime=11.65 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 57169 0 0 0 1157 8 0 0 20 0 15 0 154381925 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13988148 memory=375228 CPUtime=0.86 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 11399 0 0 0 84 2 0 0 20 0 15 0 154381925 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13988148 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13988148 memory=1728 CPUtime=0.04 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 859 0 0 0 2 2 0 0 20 0 15 0 154381926 14323863552 95937 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 128.43 s
Current children cumulated vsize: 13997660 KiB
Current children cumulated memory: 385132 KiB
[startup+162.301 s]
/proc/loadavg: 2.06 2.18 2.01 3/217 16040
/proc/meminfo: memFree=22186492/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13988148 memory=464104 CPUtime=189.78 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 148380 0 0 0 18917 61 0 0 20 0 15 0 154381920 14323863552 116026 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3497037 116026 3270 1 0 3484271 0
[pid=15945/tid=15946] ppid=15943 vsize=13988148 memory=455912 CPUtime=161.15 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 13849 0 0 0 16108 7 0 0 20 0 15 0 154381920 14323863552 116026 33554432000 4194304 4196468 140733719018176 140712996732544 140712617082591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13988148 memory=451816 CPUtime=0.96 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 1242 0 0 0 88 8 0 0 20 0 15 0 154381921 14323863552 116026 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13988148 memory=453864 CPUtime=0.96 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 1223 0 0 0 88 8 0 0 20 0 15 0 154381921 14323863552 116026 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13988148 memory=1384 CPUtime=0.95 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2440 0 0 0 87 8 0 0 20 0 15 0 154381921 14323863552 116026 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13988148 memory=1384 CPUtime=0.95 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 1586 0 0 0 87 8 0 0 20 0 15 0 154381921 14323863552 116026 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13988148 memory=464104 CPUtime=0.08 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 1382 0 0 0 7 1 0 0 20 0 15 0 154381922 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711903810784 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711902757632 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13988148 memory=4144 CPUtime=12.07 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 54604 0 0 0 1202 5 0 0 20 0 15 0 154381925 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13988148 memory=464104 CPUtime=11.66 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 57414 0 0 0 1158 8 0 0 20 0 15 0 154381925 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13988148 memory=1384 CPUtime=0.86 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 12364 0 0 0 84 2 0 0 20 0 15 0 154381925 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13988148 memory=464104 CPUtime=0.07 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 908 0 0 0 3 4 0 0 20 0 15 0 154381926 14323863552 116026 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 189.78 s
Current children cumulated vsize: 13997660 KiB
Current children cumulated memory: 465488 KiB
[startup+222.301 s]
/proc/loadavg: 1.67 2.06 1.97 3/217 16041
/proc/meminfo: memFree=22185032/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13988148 memory=404260 CPUtime=251.54 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 157819 0 0 0 25079 75 0 0 20 0 15 0 154381920 14323863552 101065 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3497037 101065 3285 1 0 3484271 0
[pid=15945/tid=15946] ppid=15943 vsize=13988148 memory=404260 CPUtime=220.52 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 15135 0 0 0 22045 7 0 0 20 0 15 0 154381920 14323863552 101065 33554432000 4194304 4196468 140733719018176 140712996733008 140712617650489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13988148 memory=404260 CPUtime=1.5 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 1893 0 0 0 139 11 0 0 20 0 15 0 154381921 14323863552 101065 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13988148 memory=550072 CPUtime=1.49 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 2070 0 0 0 139 10 0 0 20 0 15 0 154381921 14323863552 101065 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13988148 memory=404064 CPUtime=1.49 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2850 0 0 0 138 11 0 0 20 0 15 0 154381921 14323863552 101065 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13988148 memory=404064 CPUtime=1.5 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 1910 0 0 0 139 11 0 0 20 0 15 0 154381921 14323863552 101065 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13988148 memory=1424 CPUtime=0.15 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 3254 0 0 0 13 2 0 0 20 0 15 0 154381922 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13988148 memory=42976 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711903810784 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13988148 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711902757632 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13988148 memory=1384 CPUtime=12.12 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 56043 0 0 0 1207 5 0 0 20 0 15 0 154381925 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13988148 memory=1384 CPUtime=11.72 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 58902 0 0 0 1164 8 0 0 20 0 15 0 154381925 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13988148 memory=4144 CPUtime=0.87 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 13438 0 0 0 85 2 0 0 20 0 15 0 154381925 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13988148 memory=552120 CPUtime=0.09 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 954 0 0 0 4 5 0 0 20 0 15 0 154381926 14323863552 101065 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 251.54 s
Current children cumulated vsize: 13997660 KiB
Current children cumulated memory: 405644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+234.601 s]
/proc/loadavg: 1.65 2.04 1.97 7/217 16041
/proc/meminfo: memFree=22178860/32770624 swapFree=67108860/67108860
[pid=15943] ppid=15940 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15943/stat : 15943 (xcsp3-exec) S 15940 15943 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154381920 9740288 346 33554432000 4194304 5098028 140729699185024 140729699183128 139868441457276 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29147136 140729699193973 140729699194176 140729699194176 140729699196907 0
/proc/15943/statm: 2378 346 289 221 0 87 0
[pid=15945] ppid=15943 vsize=13988148 memory=404576 CPUtime=264.08 cores=0,2,4,6
/proc/15945/stat : 15945 (java) S 15943 15943 12810 0 -1 1077944320 158155 0 0 0 26332 76 0 0 20 0 15 0 154381920 14323863552 101144 33554432000 4194304 4196468 140733719018176 140733719000720 140712992493303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
/proc/15945/statm: 3497037 101144 3285 1 0 3484271 0
[pid=15945/tid=15946] ppid=15943 vsize=13988148 memory=404576 CPUtime=232.73 cores=0,2,4,6
/proc/15945/task/15946/stat : 15946 (java) R 15943 15943 12810 0 -1 4202560 15148 0 0 0 23266 7 0 0 20 0 15 0 154381920 14323863552 101144 33554432000 4194304 4196468 140733719018176 140712996732720 140712611546791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15947] ppid=15943 vsize=13988148 memory=2548 CPUtime=1.58 cores=0,2,4,6
/proc/15945/task/15947/stat : 15947 (java) S 15943 15943 12810 0 -1 1077944384 1966 0 0 0 147 11 0 0 20 0 15 0 154381921 14323863552 101144 33554432000 4194304 4196468 140733719018176 140712930094096 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15948] ppid=15943 vsize=13988148 memory=2796 CPUtime=1.57 cores=0,2,4,6
/proc/15945/task/15948/stat : 15948 (java) S 15943 15943 12810 0 -1 1077944384 2163 0 0 0 147 10 0 0 20 0 15 0 154381921 14323863552 101144 33554432000 4194304 4196468 140733719018176 140712929041552 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15949] ppid=15943 vsize=13988148 memory=4100 CPUtime=1.57 cores=0,2,4,6
/proc/15945/task/15949/stat : 15949 (java) S 15943 15943 12810 0 -1 1077944384 2919 0 0 0 146 11 0 0 20 0 15 0 154381921 14323863552 101144 33554432000 4194304 4196468 140733719018176 140712927988496 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15950] ppid=15943 vsize=13988148 memory=6791534058613427641 CPUtime=1.57 cores=0,2,4,6
/proc/15945/task/15950/stat : 15950 (java) S 15943 15943 12810 0 -1 1077944384 1995 0 0 0 146 11 0 0 20 0 15 0 154381921 14323863552 101144 33554432000 4194304 4196468 140733719018176 140712585206672 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15951] ppid=15943 vsize=13988148 memory=1160 CPUtime=0.16 cores=0,2,4,6
/proc/15945/task/15951/stat : 15951 (java) S 15943 15943 12810 0 -1 1077944384 3257 0 0 0 14 2 0 0 20 0 15 0 154381922 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711904864496 140712992504450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15952] ppid=15943 vsize=13988148 memory=3096 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15952/stat : 15952 (java) S 15943 15943 12810 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711903810784 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15953] ppid=15943 vsize=13988148 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15953/stat : 15953 (java) S 15943 15943 12810 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154381923 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711902757632 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15954] ppid=15943 vsize=13988148 memory=404504 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15954/stat : 15954 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711901706192 140712992511899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15955] ppid=15943 vsize=13988148 memory=1156 CPUtime=12.12 cores=0,2,4,6
/proc/15945/task/15955/stat : 15955 (java) S 15943 15943 12810 0 -1 1077944384 56043 0 0 0 1207 5 0 0 20 0 15 0 154381925 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711900654320 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15956] ppid=15943 vsize=13988148 memory=3124 CPUtime=11.72 cores=0,2,4,6
/proc/15945/task/15956/stat : 15956 (java) S 15943 15943 12810 0 -1 1077944384 58902 0 0 0 1164 8 0 0 20 0 15 0 154381925 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711899601776 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15957] ppid=15943 vsize=13988148 memory=1380 CPUtime=0.87 cores=0,2,4,6
/proc/15945/task/15957/stat : 15957 (java) S 15943 15943 12810 0 -1 1077944384 13438 0 0 0 85 2 0 0 20 0 15 0 154381925 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711898548720 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15958] ppid=15943 vsize=13988148 memory=1580460 CPUtime=0 cores=0,2,4,6
/proc/15945/task/15958/stat : 15958 (java) S 15943 15943 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154381925 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711897496416 140712992503509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
[pid=15945/tid=15959] ppid=15943 vsize=13988148 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/15945/task/15959/stat : 15959 (java) S 15943 15943 12810 0 -1 1077944384 954 0 0 0 4 6 0 0 20 0 15 0 154381926 14323863552 101144 33554432000 4194304 4196468 140733719018176 140711896443440 140712992504450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27275264 140733719024797 140733719024972 140733719024972 140733719027663 0
Current children cumulated CPU time: 264.08 s
Current children cumulated vsize: 13997660 KiB
Current children cumulated memory: 405960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+234.616 s]
# the end of solver process 15943 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000999 s, system=0.000999 s
[startup+234.623 s]
# the end of solver process 15945 was just reported to runsolver
# cumulated CPU time of all completed processes: user=263.342 s, system=0.772606 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 234.623
CPU time (s): 264.115
CPU user time (s): 263.342
CPU system time (s): 0.772606
CPU usage (%): 112.57
Max. virtual memory (cumulated for all children) (KiB): 13999572
Max. memory (cumulated for all children) (KiB): 579032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.342
system time used= 0.772606
maximum resident set size= 577648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11653
involuntary context switches= 550
# summary of solver processes directly reported to runsolver:
# pid: 15943,15945
# total CPU time (s): 264.115
# total CPU user time (s): 263.342
# total CPU system time (s): 0.772606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8498 second user time and 1.93766 second system time
The end