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 (15358 MiB free)
memory of node 1: 16384 MiB (15519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282157-1503132468/watcher-4282157-1503132468 -o /tmp/evaluation-result-4282157-1503132468/solver-4282157-1503132468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 840064780 HOME/instance-4282157-1503132468.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24948, runsolver pid=24945
[startup+0.10017 s]*
/proc/loadavg: 1.74 1.79 1.88 3/204 24956
/proc/meminfo: memFree=31611348/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13574484 memory=16936 CPUtime=0.02 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 4055 0 0 0 2 0 0 0 20 0 9 0 11655936 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3393621 4234 2093 1 0 3383118 0
[pid=24950/tid=24951] ppid=24948 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 2761 0 0 0 2 0 0 0 20 0 9 0 11655936 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139974001971656 139973981816158 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11655937 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13574484 memory=139819337541248 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11655937 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11655937 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11655937 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13574484 memory=139819337541248 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11655938 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 11655938 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11655939 13900271616 4234 18446744073709551615 4194304 4196468 140734537371296 139973473281712 139973997745877 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18316 KiB
[startup+0.209942 s]*
/proc/loadavg: 1.74 1.79 1.88 4/212 24964
/proc/meminfo: memFree=31602416/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13974352 memory=28436 CPUtime=0.12 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 5494 0 0 0 11 1 0 0 20 0 15 0 11655936 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3493588 7109 2876 1 0 3482964 0
[pid=24950/tid=24951] ppid=24948 vsize=13974352 memory=7311146985107750967 CPUtime=0.09 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 3507 0 0 0 8 1 0 0 20 0 15 0 11655936 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139974001968944 139973997747606 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13974352 memory=10613 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13974352 memory=3547068884323821216 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11655937 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13974352 memory=139819337541248 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11655938 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11655938 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11655939 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 11655941 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 11655941 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13974352 memory=139819337541248 CPUtime=0.01 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) R 24948 24948 17292 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 11655941 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973982901264 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13974352 memory=139819337541248 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655945 14309736448 7109 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29816 KiB
[startup+0.312571 s]*
/proc/loadavg: 1.74 1.79 1.88 4/212 24964
/proc/meminfo: memFree=31589624/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13978608 memory=40308 CPUtime=0.32 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 9254 0 0 0 29 3 0 0 20 0 15 0 11655936 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3494652 10077 3036 1 0 3482964 0
[pid=24950/tid=24951] ppid=24948 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 6387 0 0 0 17 2 0 0 20 0 15 0 11655936 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139974001956664 139973990413685 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11655937 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11655938 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11655938 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11655939 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 15 0 11655941 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 11655941 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24948 24948 17292 0 -1 1077944384 736 0 0 0 7 0 0 0 20 0 15 0 11655941 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655945 14314094592 10077 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41688 KiB
[startup+0.701726 s]
/proc/loadavg: 1.74 1.79 1.88 5/212 24964
/proc/meminfo: memFree=31580932/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13980732 memory=67672 CPUtime=1.3 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 13009 0 0 0 124 6 0 0 20 0 15 0 11655936 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3495183 16918 3177 1 0 3483476 0
[pid=24950/tid=24951] ppid=24948 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 8493 0 0 0 53 3 0 0 20 0 15 0 11655936 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139974001973024 139973981099374 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13980732 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13980732 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 11655938 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11655938 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11655939 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) R 24948 24948 17292 0 -1 4202560 1007 0 0 0 19 0 0 0 20 0 15 0 11655941 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973976983562 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13980732 memory=2 CPUtime=0.17 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) R 24948 24948 17292 0 -1 4202560 716 0 0 0 17 0 0 0 20 0 15 0 11655941 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973470123936 139973982861917 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13980732 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) R 24948 24948 17292 0 -1 4202560 1486 0 0 0 34 0 0 0 20 0 15 0 11655941 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973469067408 139973990832067 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13980732 memory=3 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13980732 memory=12 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655945 14316269568 16918 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69052 KiB
[startup+1.50172 s]
/proc/loadavg: 1.74 1.79 1.88 5/212 24964
/proc/meminfo: memFree=31552460/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13980732 memory=87200 CPUtime=3.28 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 19626 0 0 0 321 7 0 0 20 0 15 0 11655936 14316269568 21800 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3495183 21800 3195 1 0 3483476 0
[pid=24950/tid=24951] ppid=24948 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 9062 0 0 0 133 3 0 0 20 0 15 0 11655936 14316269568 21800 18446744073709551615 4194304 4196468 140734537371296 139974001973144 139973610080487 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13980732 memory=279638475777216 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 21800 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 21800 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13980732 memory=6933690287860520088 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11655937 14316269568 21800 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13980732 memory=4138356658378995242 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655939 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13980732 memory=7698604 CPUtime=2.84 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 20452 0 0 0 281 3 0 0 20 0 15 0 11655941 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.51 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 18306 0 0 0 249 2 0 0 20 0 15 0 11655941 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13980732 memory=7698604 CPUtime=0.59 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24948 24948 17292 0 -1 1077944384 5200 0 0 0 58 1 0 0 20 0 15 0 11655941 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13980732 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1033 0 0 0 44 45 0 0 20 0 15 0 11655945 14316269568 1965199 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 2458.3 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7862176 KiB
[startup+2502.3 s]
/proc/loadavg: 1.83 1.85 1.78 3/212 25291
/proc/meminfo: memFree=16173540/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13980732 memory=7103388 CPUtime=2518.69 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 320074 0 0 0 250442 1427 0 0 20 0 15 0 11655936 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3495183 1775847 3249 1 0 3483476 0
[pid=24950/tid=24951] ppid=24948 vsize=13980732 memory=7103388 CPUtime=2496.38 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 209428 0 0 0 248334 1304 0 0 20 0 15 0 11655936 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139974001975168 139973609467184 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13980732 memory=2883376 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 11715 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13980732 memory=7049928 CPUtime=3.41 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 7674 0 0 0 331 10 0 0 20 0 15 0 11655937 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13980732 memory=7103388 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 13322 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13980732 memory=7103388 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 9980 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 21554 0 0 0 126 41 0 0 20 0 15 0 11655938 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655938 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655939 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13980732 memory=6225444 CPUtime=2.84 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 20455 0 0 0 281 3 0 0 20 0 15 0 11655941 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.51 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 18308 0 0 0 249 2 0 0 20 0 15 0 11655941 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13980732 memory=7049928 CPUtime=0.59 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24948 24948 17292 0 -1 1077944384 5202 0 0 0 58 1 0 0 20 0 15 0 11655941 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13980732 memory=6884416 CPUtime=0.92 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1064 0 0 0 46 46 0 0 20 0 15 0 11655945 14316269568 1775847 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 2518.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7104768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2503.7 s]
/proc/loadavg: 1.83 1.85 1.78 3/212 25291
/proc/meminfo: memFree=16173540/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13980732 memory=7158900 CPUtime=2520.08 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 320161 0 0 0 250581 1427 0 0 20 0 15 0 11655936 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3495183 1789725 3249 1 0 3483476 0
[pid=24950/tid=24951] ppid=24948 vsize=13980732 memory=7049928 CPUtime=2497.79 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 209515 0 0 0 248474 1305 0 0 20 0 15 0 11655936 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139974001975168 139973609571235 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13980732 memory=2883376 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 11715 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13980732 memory=7103388 CPUtime=3.41 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 7674 0 0 0 331 10 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13980732 memory=7158900 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 13322 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13980732 memory=1380 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 9980 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 21554 0 0 0 126 41 0 0 20 0 15 0 11655938 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655938 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13980732 memory=7103388 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655939 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.84 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 20455 0 0 0 281 3 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.51 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 18308 0 0 0 249 2 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13980732 memory=6225444 CPUtime=0.59 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24948 24948 17292 0 -1 1077944384 5202 0 0 0 58 1 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13980732 memory=7049928 CPUtime=0.92 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1064 0 0 0 46 46 0 0 20 0 15 0 11655945 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7160280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2503.71 s]
# the end of solver process 24948 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001833 s, system=0 s
[startup+2503.74 s]
# the end of solver process 24950 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.83 s, system=14.3073 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
[startup+2503.7 s]
/proc/loadavg: 1.83 1.85 1.78 3/212 25291
/proc/meminfo: memFree=16173540/32770624 swapFree=67108860/67108860
[pid=24948] ppid=24945 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24948/stat : 24948 (xcsp3-exec) S 24945 24948 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 11655928 9740288 345 18446744073709551615 4194304 5098028 140736162034784 140736162032888 140436638630524 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 10022912 140736162042234 140736162042438 140736162042438 140736162045931 0
/proc/24948/statm: 2378 345 289 221 0 87 0
[pid=24950] ppid=24948 vsize=13980732 memory=7158900 CPUtime=2520.08 cores=0,2,4,6
/proc/24950/stat : 24950 (java) S 24948 24948 17292 0 -1 1077944320 320161 0 0 0 250581 1427 0 0 20 0 15 0 11655936 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 140734537353840 139973997735671 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
/proc/24950/statm: 3495183 1789725 3249 1 0 3483476 0
[pid=24950/tid=24951] ppid=24948 vsize=13980732 memory=7049928 CPUtime=2497.79 cores=0,2,4,6
/proc/24950/task/24951/stat : 24951 (java) R 24948 24948 17292 0 -1 4202560 209515 0 0 0 248474 1305 0 0 20 0 15 0 11655936 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139974001975168 139973609571235 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24952] ppid=24948 vsize=13980732 memory=2883376 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24952/stat : 24952 (java) S 24948 24948 17292 0 -1 1077944384 11715 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973932169616 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24953] ppid=24948 vsize=13980732 memory=7103388 CPUtime=3.41 cores=0,2,4,6
/proc/24950/task/24953/stat : 24953 (java) S 24948 24948 17292 0 -1 1077944384 7674 0 0 0 331 10 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973931116816 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24954] ppid=24948 vsize=13980732 memory=7158900 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24954/stat : 24954 (java) S 24948 24948 17292 0 -1 1077944384 13322 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973930064528 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24955] ppid=24948 vsize=13980732 memory=1380 CPUtime=3.42 cores=0,2,4,6
/proc/24950/task/24955/stat : 24955 (java) S 24948 24948 17292 0 -1 1077944384 9980 0 0 0 330 12 0 0 20 0 15 0 11655937 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973929011728 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24956] ppid=24948 vsize=13980732 memory=1380 CPUtime=1.67 cores=0,2,4,6
/proc/24950/task/24956/stat : 24956 (java) S 24948 24948 17292 0 -1 1077944384 21554 0 0 0 126 41 0 0 20 0 15 0 11655938 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973475388016 139973997746818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24957] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24957/stat : 24957 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655938 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973474333984 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24958] ppid=24948 vsize=13980732 memory=7103388 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24958/stat : 24958 (java) S 24948 24948 17292 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11655939 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973473281648 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24959] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24959/stat : 24959 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973472229968 139973997754267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24960] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.84 cores=0,2,4,6
/proc/24950/task/24960/stat : 24960 (java) S 24948 24948 17292 0 -1 1077944384 20455 0 0 0 281 3 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973471176816 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24961] ppid=24948 vsize=13980732 memory=1380 CPUtime=2.51 cores=0,2,4,6
/proc/24950/task/24961/stat : 24961 (java) S 24948 24948 17292 0 -1 1077944384 18308 0 0 0 249 2 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973470124016 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24962] ppid=24948 vsize=13980732 memory=6225444 CPUtime=0.59 cores=0,2,4,6
/proc/24950/task/24962/stat : 24962 (java) S 24948 24948 17292 0 -1 1077944384 5202 0 0 0 58 1 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973469071728 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24963] ppid=24948 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24950/task/24963/stat : 24963 (java) S 24948 24948 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11655941 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973468019168 139973997745877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
[pid=24950/tid=24964] ppid=24948 vsize=13980732 memory=7049928 CPUtime=0.92 cores=0,2,4,6
/proc/24950/task/24964/stat : 24964 (java) S 24948 24948 17292 0 -1 1077944384 1064 0 0 0 46 46 0 0 20 0 15 0 11655945 14316269568 1789725 18446744073709551615 4194304 4196468 140734537371296 139973466966960 139973997746818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27574272 140734537380274 140734537380450 140734537380450 140734537383887 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 7160280 KiB
Child status: 143
Real time (s): 2503.74
CPU time (s): 2520.13
CPU user time (s): 2505.83
CPU system time (s): 14.3073
CPU usage (%): 100.655
Max. virtual memory (cumulated for all children) (KiB): 13994440
Max. memory (cumulated for all children) (KiB): 7954092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.83
system time used= 14.3073
maximum resident set size= 7954252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72228
involuntary context switches= 3539
# summary of solver processes directly reported to runsolver:
# pid: 24948,24950
# total CPU time (s): 2520.13
# total CPU user time (s): 2505.83
# total CPU system time (s): 14.3073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.577 second user time and 23.6073 second system time
The end