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 (15300 MiB free)
memory of node 1: 16384 MiB (15179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283807-1503188300/watcher-4283807-1503188300 -o /tmp/evaluation-result-4283807-1503188300/solver-4283807-1503188300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1852808265 HOME/instance-4283807-1503188300.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
solver pid=1031, runsolver pid=1028
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.42 1.56 1.58 3/202 1038
/proc/meminfo: memFree=31206020/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13358712 memory=14632 CPUtime=0.01 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 3415 0 0 0 1 0 0 0 20 0 6 0 17239773 13679321088 3658 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3339678 3658 1905 1 0 3329175 0
[pid=1033/tid=1034] ppid=1031 vsize=13358712 memory=7311146985107750967 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 2285 0 0 0 1 0 0 0 20 0 6 0 17239773 13679321088 3724 18446744073709551615 4194304 4196468 140728048080736 140169292370512 140169273257328 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13358712 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17239774 13679321088 3724 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13358712 memory=288370383354918528 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17239774 13679321088 3724 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17239774 13679321088 3724 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17239774 13679321088 3724 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16012 KiB
[startup+0.209978 s]*
/proc/loadavg: 1.42 1.56 1.58 3/211 1047
/proc/meminfo: memFree=31197564/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13974352 memory=27484 CPUtime=0.08 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 5298 0 0 0 7 1 0 0 20 0 15 0 17239773 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3493588 6871 2727 1 0 3482964 0
[pid=1033/tid=1034] ppid=1031 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 3466 0 0 0 6 0 0 0 20 0 15 0 17239773 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140169292366560 140169288156317 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13974352 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13974352 memory=288370383354918528 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13974352 memory=140007203206784 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 16431 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168267807472 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168266754928 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13974352 memory=140007203206784 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 16431 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13974352 memory=140007203206784 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239784 14309736448 6871 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28864 KiB
[startup+0.31042 s]*
/proc/loadavg: 1.42 1.56 1.58 6/211 1047
/proc/meminfo: memFree=31184468/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13974352 memory=37124 CPUtime=0.27 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 8887 0 0 0 25 2 0 0 20 0 15 0 17239773 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3493588 9281 2977 1 0 3482964 0
[pid=1033/tid=1034] ppid=1031 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 6104 0 0 0 15 2 0 0 20 0 15 0 17239773 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140169292371872 140169288156317 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239776 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 16431 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 15 0 17239779 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168267807472 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 16431 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 17239779 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168266754928 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13974352 memory=140007203206784 CPUtime=0.05 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) R 1031 1031 16431 0 -1 4202560 711 0 0 0 5 0 0 0 20 0 15 0 17239779 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169272214878 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13974352 memory=140007203206784 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239784 14309736448 9281 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38504 KiB
[startup+0.700762 s]
/proc/loadavg: 1.42 1.56 1.58 5/211 1047
/proc/meminfo: memFree=31165980/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13978684 memory=83972 CPUtime=1.31 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 13121 0 0 0 125 6 0 0 20 0 15 0 17239773 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3494671 20993 3164 1 0 3482964 0
[pid=1033/tid=1034] ppid=1031 vsize=13978684 memory=11952 CPUtime=0.55 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 7841 0 0 0 51 4 0 0 20 0 15 0 17239773 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140169292371264 140168894752400 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13978684 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17239774 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13978684 memory=5368 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13978684 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13978684 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239774 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13978684 memory=10724 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17239776 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13978684 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17239776 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13978684 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239776 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13978684 memory=33 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) R 1031 1031 16431 0 -1 4202560 1489 0 0 0 23 0 0 0 20 0 15 0 17239779 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168267807472 140169273063804 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 16431 0 -1 4202560 931 0 0 0 23 0 0 0 20 0 15 0 17239779 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168266744160 140169274148769 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13978684 memory=4004 CPUtime=0.26 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 16431 0 -1 1077944384 1553 0 0 0 26 0 0 0 20 0 15 0 17239779 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13978684 memory=6625 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13978684 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17239784 14314172416 20993 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 85352 KiB
[startup+1.50088 s]
/proc/loadavg: 1.42 1.56 1.58 6/211 1047
/proc/meminfo: memFree=31090440/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13980732 memory=197604 CPUtime=3.84 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 20116 0 0 0 374 10 0 0 20 0 15 0 17239773 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3495183 49401 3220 1 0 3483476 0
[pid=1033/tid=1034] ppid=1031 vsize=13980732 memory=195880 CPUtime=1.33 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 9200 0 0 0 127 6 0 0 20 0 15 0 17239773 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140169292372304 140168897895628 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13980732 memory=74 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13980732 memory=83972 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13980732 memory=11952 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13980732 memory=7234303152781525070 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13980732 memory=288292164407142813 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13980732 memory=288230376151711744 CPUtime=0.95 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) R 1031 1031 16431 0 -1 4202560 3278 0 0 0 95 0 0 0 20 0 15 0 17239779 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168267798800 140169288146326 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13980732 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 16431 0 -1 4202560 2989 0 0 0 92 0 0 0 20 0 15 0 17239779 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168266745904 140169269655251 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) R 1031 1031 16431 0 -1 1077944384 2801 0 0 0 54 0 0 0 20 0 15 0 17239779 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168265697600 140169288144597 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13980732 memory=5571041044932614245 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13980732 memory=15839839390844 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17239784 14316269568 49401 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 3.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 198984 KiB
[startup+2.8091 s]
# the end of solver process 1031 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.29164 s, system=0.130001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 1.42 1.56 1.58 6/211 1047
/proc/meminfo: memFree=31090440/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13980732 memory=198688 CPUtime=4.17 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 20494 0 0 0 407 10 0 0 20 0 15 0 17239773 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3495183 49672 3222 1 0 3483476 0
[pid=1033/tid=1034] ppid=1031 vsize=13980732 memory=6935649255759568960 CPUtime=1.43 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 9201 0 0 0 137 6 0 0 20 0 15 0 17239773 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140169292372736 140168897601075 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13980732 memory=4351691527157721392 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13980732 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13980732 memory=6083354206233319526 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13980732 memory=7374752418587174228 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13980732 memory=6369849565870975596 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13980732 memory=6940161746004436052 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13980732 memory=-6317964845051259291 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13980732 memory=667818712038153590 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13980732 memory=7674596114781855808 CPUtime=1.05 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) R 1031 1031 16431 0 -1 4202560 3368 0 0 0 105 0 0 0 20 0 15 0 17239779 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168267795344 140169267323840 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13980732 memory=4207095701905760320 CPUtime=1.02 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 16431 0 -1 4202560 3110 0 0 0 102 0 0 0 20 0 15 0 17239779 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168266741776 140169269679352 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13980732 memory=4638778398332698720 CPUtime=0.57 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 16431 0 -1 1077944384 2967 0 0 0 57 0 0 0 20 0 15 0 17239779 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13980732 memory=-5345911753256963030 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17239784 14316269568 49672 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 200068 KiB
[startup+2.40076 s]
/proc/loadavg: 1.63 1.60 1.60 5/211 1047
/proc/meminfo: memFree=31012824/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13980732 memory=213424 CPUtime=6.65 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 25304 0 0 0 653 12 0 0 20 0 15 0 17239773 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3495183 53356 3225 1 0 3483476 0
[pid=1033/tid=1034] ppid=1031 vsize=13980732 memory=6944652177228980320 CPUtime=2.22 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 9704 0 0 0 216 6 0 0 20 0 15 0 17239773 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140169292370736 140168895786180 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13980732 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13980732 memory=12940 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13980732 memory=2344 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13980732 memory=11952 CPUtime=1.85 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) R 1031 1031 16431 0 -1 4202560 5273 0 0 0 184 1 0 0 20 0 15 0 17239779 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168267794944 140169273242062 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13980732 memory=1008 CPUtime=1.8 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) R 1031 1031 16431 0 -1 4202560 4933 0 0 0 179 1 0 0 20 0 15 0 17239779 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168266744848 140169271628614 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13980732 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 16431 0 -1 1077944384 3539 0 0 0 67 1 0 0 20 0 15 0 17239779 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13980732 memory=140007075547884 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 17239784 14316269568 53356 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 214804 KiB
[startup+2.80071 s]
/proc/loadavg: 1.63 1.60 1.60 5/211 1047
/proc/meminfo: memFree=31012824/32770624 swapFree=67108860/67108860
[pid=1031] ppid=1028 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/1031/stat : 1031 (xcsp3-exec) S 1028 1031 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 17239764 9740288 345 18446744073709551615 4194304 5098028 140720764130832 140720764128936 140168241873532 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 7421952 140720764137849 140720764138054 140720764138054 140720764141547 0
/proc/1031/statm: 2378 345 289 221 0 87 0
[pid=1033] ppid=1031 vsize=13980732 memory=213976 CPUtime=7.4 cores=0,2,4,6
/proc/1033/stat : 1033 (java) S 1031 1031 16431 0 -1 1077944320 25552 0 0 0 728 12 0 0 20 0 15 0 17239773 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140728048063280 140169288134391 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
/proc/1033/statm: 3495183 53494 3226 1 0 3483476 0
[pid=1033/tid=1034] ppid=1031 vsize=13980732 memory=288230600329134386 CPUtime=2.62 cores=0,2,4,6
/proc/1033/task/1034/stat : 1034 (java) R 1031 1031 16431 0 -1 4202560 9739 0 0 0 256 6 0 0 20 0 15 0 17239773 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140169292369712 140168897601130 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1035] ppid=1031 vsize=13980732 memory=15817781257962784 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1035/stat : 1035 (java) S 1031 1031 16431 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140169222568976 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1036] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1036/stat : 1036 (java) S 1031 1031 16431 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140169221516432 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1037] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1037/stat : 1037 (java) S 1031 1031 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17239774 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140169220463376 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1038] ppid=1031 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1033/task/1038/stat : 1038 (java) S 1031 1031 16431 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 17239774 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140169219410832 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1039] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1039/stat : 1039 (java) S 1031 1031 16431 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168473352432 140169288145538 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1040] ppid=1031 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1040/stat : 1040 (java) S 1031 1031 16431 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168270963872 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1041] ppid=1031 vsize=13980732 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1041/stat : 1041 (java) S 1031 1031 16431 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 17239776 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168269910768 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1042] ppid=1031 vsize=13980732 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1042/stat : 1042 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168268859344 140169288152987 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1043] ppid=1031 vsize=13980732 memory=-7029379521808015264 CPUtime=2.03 cores=0,2,4,6
/proc/1033/task/1043/stat : 1043 (java) S 1031 1031 16431 0 -1 1077944384 5312 0 0 0 202 1 0 0 20 0 15 0 17239779 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168267807472 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1044] ppid=1031 vsize=13980732 memory=8292148123324110535 CPUtime=1.93 cores=0,2,4,6
/proc/1033/task/1044/stat : 1044 (java) S 1031 1031 16431 0 -1 1077944384 4984 0 0 0 192 1 0 0 20 0 15 0 17239779 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168266754928 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1045] ppid=1031 vsize=13980732 memory=1414351094373861289 CPUtime=0.73 cores=0,2,4,6
/proc/1033/task/1045/stat : 1045 (java) S 1031 1031 16431 0 -1 1077944384 3643 0 0 0 72 1 0 0 20 0 15 0 17239779 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168265701872 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1046] ppid=1031 vsize=13980732 memory=8303054830060986416 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1046/stat : 1046 (java) S 1031 1031 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17239779 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168264649568 140169288144597 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
[pid=1033/tid=1047] ppid=1031 vsize=13980732 memory=4294971008 CPUtime=0 cores=0,2,4,6
/proc/1033/task/1047/stat : 1047 (java) S 1031 1031 16431 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 17239784 14316269568 53494 18446744073709551615 4194304 4196468 140728048080736 140168263596592 140169288145538 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24522752 140728048083378 140728048083554 140728048083554 140728048086991 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 215356 KiB
Child status: 0
Real time (s): 2.80915
CPU time (s): 7.42164
CPU user time (s): 7.29164
CPU system time (s): 0.130001
CPU usage (%): 264.195
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 215356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.29164
system time used= 0.130001
maximum resident set size= 214480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2382
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 1031
# total CPU time (s): 7.42164
# total CPU user time (s): 7.29164
# total CPU system time (s): 0.130001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038299 second user time and 0.069296 second system time
The end