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 (14901 MiB free)
memory of node 1: 16384 MiB (15513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282034-1503101662/watcher-4282034-1503101662 -o /tmp/evaluation-result-4282034-1503101662/solver-4282034-1503101662 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 577806667 HOME/instance-4282034-1503101662.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14953, runsolver pid=14950
Current StackSize limit: 8192 KiB
[startup+0.107698 s]*
/proc/loadavg: 2.04 1.99 1.96 3/205 14960
/proc/meminfo: memFree=31138956/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13507920 memory=16216 CPUtime=0.01 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 3869 0 0 0 1 0 0 0 20 0 8 0 98506880 13832110080 4054 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3377237 4054 2049 1 0 3366734 0
[pid=14955/tid=14956] ppid=14953 vsize=13574484 memory=-6368486167661351268 CPUtime=0.01 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 2615 0 0 0 1 0 0 0 20 0 9 0 98506881 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680648479336 140680609603584 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13574484 memory=5767615082401687945 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 98506881 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13574484 memory=139795993704064 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 98506881 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 98506881 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13574484 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 98506881 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 98506883 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 98506884 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 98506884 13900271616 4102 18446744073709551615 4194304 4196468 140721113531104 140680187847728 140680644253397 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13517432 KiB
Current children cumulated memory: 17592 KiB
[startup+0.214402 s]*
/proc/loadavg: 2.04 1.99 1.96 5/214 14969
/proc/meminfo: memFree=31128016/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13974352 memory=27116 CPUtime=0.1 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 5196 0 0 0 9 1 0 0 20 0 15 0 98506880 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3493588 6779 2752 1 0 3482964 0
[pid=14955/tid=14956] ppid=14953 vsize=13974352 memory=8329577318937697948 CPUtime=0.07 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 3336 0 0 0 7 0 0 0 20 0 15 0 98506881 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680648471072 140680644255126 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13974352 memory=5767615082401687945 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13974352 memory=139795993704064 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506883 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98506884 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98506884 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) S 14953 14953 13977 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13974352 memory=139795993704064 CPUtime=0.01 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 98506886 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13974352 memory=139795993704064 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506891 14309736448 6779 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28492 KiB
[startup+0.310542 s]*
/proc/loadavg: 2.04 1.99 1.96 4/214 14969
/proc/meminfo: memFree=31118424/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13974352 memory=37172 CPUtime=0.28 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 8871 0 0 0 26 2 0 0 20 0 15 0 98506880 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3493588 9293 2986 1 0 3482964 0
[pid=14955/tid=14956] ppid=14953 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 6102 0 0 0 15 1 0 0 20 0 15 0 98506881 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680648480704 140680628323678 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13974352 memory=139795993714657 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506883 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98506884 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98506884 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) R 14953 14953 13977 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 98506886 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) R 14953 14953 13977 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 98506886 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13974352 memory=139795993704064 CPUtime=0.06 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 741 0 0 0 6 0 0 0 20 0 15 0 98506886 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13974352 memory=139795993704064 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506891 14309736448 9293 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38548 KiB
[startup+0.700827 s]
/proc/loadavg: 2.04 1.99 1.96 6/214 14969
/proc/meminfo: memFree=31107200/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13980732 memory=69276 CPUtime=1.22 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 13410 0 0 0 118 4 0 0 20 0 15 0 98506880 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3495183 17319 3168 1 0 3483476 0
[pid=14955/tid=14956] ppid=14953 vsize=13980732 memory=2 CPUtime=0.55 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 8448 0 0 0 52 3 0 0 20 0 15 0 98506881 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680648480624 140680644255126 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13980732 memory=1270 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 98506883 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13980732 memory=30360 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13980732 memory=644 CPUtime=0.13 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) R 14953 14953 13977 0 -1 4202560 953 0 0 0 13 0 0 0 20 0 15 0 98506886 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644257055 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13980732 memory=1788 CPUtime=0.19 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) R 14953 14953 13977 0 -1 1077944384 1177 0 0 0 19 0 0 0 20 0 15 0 98506886 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13980732 memory=956 CPUtime=0.32 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) R 14953 14953 13977 0 -1 4202560 1522 0 0 0 32 0 0 0 20 0 15 0 98506886 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680183634336 140680622868486 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13980732 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506891 14316269568 17319 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70652 KiB
[startup+1.50087 s]
/proc/loadavg: 2.04 1.99 1.96 5/214 14969
/proc/meminfo: memFree=31069204/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13980732 memory=107780 CPUtime=3.64 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 29439 0 0 0 357 7 0 0 20 0 15 0 98506880 14316269568 26945 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3495183 26945 3186 1 0 3483476 0
[pid=14955/tid=14956] ppid=14953 vsize=13980732 memory=4120 CPUtime=1.34 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 9401 0 0 0 131 3 0 0 20 0 15 0 98506881 14316269568 26945 18446744073709551615 4194304 4196468 140721113531104 140680648479096 140680266361451 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 26945 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13980732 memory=30360 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 26945 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98506881 14316269568 26945 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=14955/tid=14961] ppid=14953 vsize=13980732 memory=2760 CPUtime=0.07 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 3868 0 0 0 5 2 0 0 20 0 15 0 98506883 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13980732 memory=166604 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13980732 memory=4120 CPUtime=3.4 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) S 14953 14953 13977 0 -1 1077944384 19977 0 0 0 338 2 0 0 20 0 15 0 98506886 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13980732 memory=53736 CPUtime=3.24 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) S 14953 14953 13977 0 -1 1077944384 23609 0 0 0 322 2 0 0 20 0 15 0 98506886 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13980732 memory=166604 CPUtime=0.64 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 7847 0 0 0 63 1 0 0 20 0 15 0 98506886 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13980732 memory=1232 CPUtime=0.46 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1796 0 0 0 18 28 0 0 20 0 15 0 98506891 14316269568 41651 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 2450.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 167980 KiB
[startup+2502.3 s]
/proc/loadavg: 1.78 1.89 1.89 3/212 15207
/proc/meminfo: memFree=31023232/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13980732 memory=166612 CPUtime=2510.08 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 89222 0 0 0 250969 39 0 0 20 0 15 0 98506880 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3495183 41653 3239 1 0 3483476 0
[pid=14955/tid=14956] ppid=14953 vsize=13980732 memory=1376 CPUtime=2501.97 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 22013 0 0 0 250191 6 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680648482384 140680269348618 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2772 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1652 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2902 0 0 0 3 2 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 1138 0 0 0 3 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 4033 0 0 0 6 2 0 0 20 0 15 0 98506883 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13980732 memory=4120 CPUtime=3.4 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) S 14953 14953 13977 0 -1 1077944384 19980 0 0 0 338 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13980732 memory=4120 CPUtime=3.24 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) S 14953 14953 13977 0 -1 1077944384 23611 0 0 0 322 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13980732 memory=53736 CPUtime=0.65 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 7949 0 0 0 64 1 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13980732 memory=288230574492221466 CPUtime=0.48 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1826 0 0 0 19 29 0 0 20 0 15 0 98506891 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 2510.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 167988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.3 s]
/proc/loadavg: 1.81 1.90 1.89 3/212 15207
/proc/meminfo: memFree=31023232/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13980732 memory=166612 CPUtime=2520.09 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 89227 0 0 0 251970 39 0 0 20 0 15 0 98506880 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3495183 41653 3239 1 0 3483476 0
[pid=14955/tid=14956] ppid=14953 vsize=13980732 memory=166612 CPUtime=2511.97 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 22018 0 0 0 251191 6 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680648482384 140680269349189 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2772 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1652 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2902 0 0 0 3 2 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 1138 0 0 0 3 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13980732 memory=4120 CPUtime=0.08 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 4033 0 0 0 6 2 0 0 20 0 15 0 98506883 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13980732 memory=166612 CPUtime=3.4 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) S 14953 14953 13977 0 -1 1077944384 19980 0 0 0 338 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13980732 memory=53736 CPUtime=3.24 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) S 14953 14953 13977 0 -1 1077944384 23611 0 0 0 322 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13980732 memory=2384 CPUtime=0.65 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 7949 0 0 0 64 1 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.48 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1826 0 0 0 19 29 0 0 20 0 15 0 98506891 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 167988 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2512.31 s]
# the end of solver process 14953 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.71 s, system=0.395048 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.3 s]
/proc/loadavg: 1.81 1.90 1.89 3/212 15207
/proc/meminfo: memFree=31023232/32770624 swapFree=67108860/67108860
[pid=14953] ppid=14950 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14953/stat : 14953 (xcsp3-exec) S 14950 14953 13977 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 98506872 9740288 344 18446744073709551615 4194304 5098028 140734058052448 140734058050552 140236952552060 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 14295040 140734058058105 140734058058309 140734058058309 140734058061803 0
/proc/14953/statm: 2378 344 289 221 0 87 0
[pid=14955] ppid=14953 vsize=13980732 memory=166612 CPUtime=2520.09 cores=1,3,5,7
/proc/14955/stat : 14955 (java) S 14953 14953 13977 0 -1 1077944320 89227 0 0 0 251970 39 0 0 20 0 15 0 98506880 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140721113513648 140680644243191 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
/proc/14955/statm: 3495183 41653 3239 1 0 3483476 0
[pid=14955/tid=14956] ppid=14953 vsize=13980732 memory=166612 CPUtime=2511.97 cores=1,3,5,7
/proc/14955/task/14956/stat : 14956 (java) R 14953 14953 13977 0 -1 4202560 22018 0 0 0 251191 6 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680648482384 140680269349189 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14957] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14957/stat : 14957 (java) S 14953 14953 13977 0 -1 1077944384 2772 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680586189584 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14958] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14958/stat : 14958 (java) S 14953 14953 13977 0 -1 1077944384 1652 0 0 0 4 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680585137040 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14959] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.05 cores=1,3,5,7
/proc/14955/task/14959/stat : 14959 (java) S 14953 14953 13977 0 -1 1077944384 2902 0 0 0 3 2 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680584084496 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14960] ppid=14953 vsize=13980732 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/14955/task/14960/stat : 14960 (java) S 14953 14953 13977 0 -1 1077944384 1138 0 0 0 3 1 0 0 20 0 15 0 98506881 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680583031952 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14961] ppid=14953 vsize=13980732 memory=4120 CPUtime=0.08 cores=1,3,5,7
/proc/14955/task/14961/stat : 14961 (java) S 14953 14953 13977 0 -1 1077944384 4033 0 0 0 6 2 0 0 20 0 15 0 98506883 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680189954032 140680644254338 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14962] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14962/stat : 14962 (java) S 14953 14953 13977 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680188900256 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14963] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14963/stat : 14963 (java) S 14953 14953 13977 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98506884 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680187847664 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14964] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14964/stat : 14964 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680186796240 140680644261787 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14965] ppid=14953 vsize=13980732 memory=166612 CPUtime=3.4 cores=1,3,5,7
/proc/14955/task/14965/stat : 14965 (java) S 14953 14953 13977 0 -1 1077944384 19980 0 0 0 338 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680185743856 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14966] ppid=14953 vsize=13980732 memory=53736 CPUtime=3.24 cores=1,3,5,7
/proc/14955/task/14966/stat : 14966 (java) S 14953 14953 13977 0 -1 1077944384 23611 0 0 0 322 2 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680184691312 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14967] ppid=14953 vsize=13980732 memory=2384 CPUtime=0.65 cores=1,3,5,7
/proc/14955/task/14967/stat : 14967 (java) S 14953 14953 13977 0 -1 1077944384 7949 0 0 0 64 1 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680183638768 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14968] ppid=14953 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/14955/task/14968/stat : 14968 (java) S 14953 14953 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98506886 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680182586464 140680644253397 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
[pid=14955/tid=14969] ppid=14953 vsize=13980732 memory=166612 CPUtime=0.48 cores=1,3,5,7
/proc/14955/task/14969/stat : 14969 (java) S 14953 14953 13977 0 -1 1077944384 1826 0 0 0 19 29 0 0 20 0 15 0 98506891 14316269568 41653 18446744073709551615 4194304 4196468 140721113531104 140680181532976 140680644254338 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31137792 140721113538993 140721113539169 140721113539169 140721113542607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 167988 KiB
Child status: 143
Real time (s): 2512.31
CPU time (s): 2520.11
CPU user time (s): 2519.71
CPU system time (s): 0.395048
CPU usage (%): 100.31
Max. virtual memory (cumulated for all children) (KiB): 13992204
Max. memory (cumulated for all children) (KiB): 241192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.395048
maximum resident set size= 243912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58601
involuntary context switches= 1096
# summary of solver processes directly reported to runsolver:
# pid: 14953
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.71
# total CPU system time (s): 0.395048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2024 second user time and 22.0588 second system time
The end