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 (15264 MiB free)
memory of node 1: 16384 MiB (15568 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269326-1502697588/watcher-4269326-1502697588 -o /tmp/evaluation-result-4269326-1502697588/solver-4269326-1502697588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 460064175 HOME/instance-4269326-1502697588.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
Current StackSize limit: 8192 KiB
Starting watchdog thread
solver pid=31880, runsolver pid=31877
[startup+0.100162 s]*
/proc/loadavg: 1.58 1.62 1.66 3/207 31888
/proc/meminfo: memFree=31564968/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13574484 memory=16668 CPUtime=0.02 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 4029 0 0 0 2 0 0 0 20 0 9 0 117265309 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3393621 4167 2082 1 0 3383118 0
[pid=31882/tid=31883] ppid=31880 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 2735 0 0 0 2 0 0 0 20 0 9 0 117265309 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139650446353000 139650426197372 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 117265310 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13574484 memory=140163752470144 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 117265310 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 117265310 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 117265310 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13574484 memory=140163752470144 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 117265311 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 117265312 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 117265312 13900271616 4167 18446744073709551615 4194304 4196468 140735739755168 139649917887664 139650442127061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18048 KiB
[startup+0.211336 s]*
/proc/loadavg: 1.58 1.62 1.66 3/215 31896
/proc/meminfo: memFree=31560576/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13974352 memory=27188 CPUtime=0.08 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 5213 0 0 0 7 1 0 0 20 0 15 0 117265309 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3493588 6797 2723 1 0 3482964 0
[pid=31882/tid=31883] ppid=31880 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 3371 0 0 0 6 0 0 0 20 0 15 0 117265309 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139650446348416 139650434353982 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13974352 memory=3547065960268637856 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13974352 memory=140163752470144 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117265311 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117265312 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117265312 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) S 31880 31880 4674 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 117265315 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) R 31880 31880 4674 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13974352 memory=140163752470144 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) R 31880 31880 4674 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 15 0 117265315 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13974352 memory=140163752470144 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265321 14309736448 6797 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28568 KiB
[startup+0.310402 s]*
/proc/loadavg: 1.58 1.62 1.66 3/215 31896
/proc/meminfo: memFree=31544672/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13974352 memory=37208 CPUtime=0.26 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 8897 0 0 0 23 3 0 0 20 0 15 0 117265309 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3493588 9302 2981 1 0 3482964 0
[pid=31882/tid=31883] ppid=31880 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 6089 0 0 0 14 2 0 0 20 0 15 0 117265309 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139650446344624 139650426197342 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117265310 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117265311 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117265312 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117265312 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) R 31880 31880 4674 0 -1 4202560 503 0 0 0 1 0 0 0 20 0 15 0 117265315 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649915769816 139650434406304 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) S 31880 31880 4674 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 15 0 117265315 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 117265315 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265321 14309736448 9302 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38588 KiB
[startup+0.704845 s]
/proc/loadavg: 1.58 1.62 1.66 5/215 31896
/proc/meminfo: memFree=31533212/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=62876 CPUtime=1.17 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 12816 0 0 0 111 6 0 0 20 0 15 0 117265309 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 15719 3160 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 8491 0 0 0 51 3 0 0 20 0 15 0 117265309 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139650446330848 139650442128790 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=5712 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=984 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117265311 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13980732 memory=1 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) R 31880 31880 4674 0 -1 4202560 1014 0 0 0 15 0 0 0 20 0 15 0 117265315 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650419711633 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13980732 memory=26 CPUtime=0.17 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) R 31880 31880 4674 0 -1 4202560 765 0 0 0 17 0 0 0 20 0 15 0 117265315 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649914717056 139650425602778 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13980732 memory=229 CPUtime=0.27 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 1239 0 0 0 27 0 0 0 20 0 15 0 117265315 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265321 14316269568 15719 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64256 KiB
[startup+1.50081 s]
/proc/loadavg: 1.58 1.62 1.66 5/215 31896
/proc/meminfo: memFree=31505176/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=91996 CPUtime=3.51 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 20882 0 0 0 344 7 0 0 20 0 15 0 117265309 14316269568 22999 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 22999 3191 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 9493 0 0 0 129 4 0 0 20 0 15 0 117265309 14316269568 22999 18446744073709551615 4194304 4196468 140735739755168 139650446354016 139650076693491 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=280327281157312 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 22999 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 22999 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=6933690287860520088 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 22999 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=4138356658378995242 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=193996 CPUtime=22.05 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 31832 0 0 0 2194 11 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 48499 3226 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=197548 CPUtime=19 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 11573 0 0 0 1895 5 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650446348112 139650077353436 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=13564886244395551 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 748 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=141276036991732 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=141276036991732 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 747 0 0 0 1 0 0 0 20 0 15 0 117265311 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13980732 memory=280327281195648 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13980732 memory=193928 CPUtime=1.29 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) S 31880 31880 4674 0 -1 1077944384 6111 0 0 0 128 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13980732 memory=197552 CPUtime=1.13 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) S 31880 31880 4674 0 -1 1077944384 5171 0 0 0 113 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13980732 memory=197548 CPUtime=0.52 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 4543 0 0 0 51 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13980732 memory=6944665225511868275 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13980732 memory=6933690356461705113 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 117265321 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 22.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195376 KiB
[startup+19.6007 s]
/proc/loadavg: 1.77 1.66 1.67 3/215 31896
/proc/meminfo: memFree=31389652/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=193996 CPUtime=22.45 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 31832 0 0 0 2234 11 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 48499 3226 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=-8774313645642428999 CPUtime=19.4 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 11573 0 0 0 1935 5 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650446348112 139650077353037 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=197272 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 748 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=197256 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=712 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=280327281161136 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13980732 memory=7378423872529585252 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 747 0 0 0 1 0 0 0 20 0 15 0 117265311 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13980732 memory=4639930699739322729 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13980732 memory=280327281204640 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13980732 memory=280327281086312 CPUtime=1.29 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) S 31880 31880 4674 0 -1 1077944384 6111 0 0 0 128 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13980732 memory=180 CPUtime=1.13 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) S 31880 31880 4674 0 -1 1077944384 5171 0 0 0 113 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13980732 memory=28829630602021044 CPUtime=0.52 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 4543 0 0 0 51 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13980732 memory=288288870217567472 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13980732 memory=301789554367791387 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 117265321 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 22.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195376 KiB
[startup+19.8007 s]
/proc/loadavg: 1.77 1.66 1.67 3/215 31896
/proc/meminfo: memFree=31389652/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=193996 CPUtime=22.65 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 31832 0 0 0 2254 11 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 48499 3226 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=-3704326594973231466 CPUtime=19.6 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 11573 0 0 0 1955 5 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650446348112 139650078327893 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=-7531822216213012384 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 748 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=5450916471307728426 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=4570458221538276906 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13980732 memory=-8540663193526687078 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 747 0 0 0 1 0 0 0 20 0 15 0 117265311 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13980732 memory=7308051726889020271 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13980732 memory=7594598810448850543 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13980732 memory=4210205491639910043 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13980732 memory=4148 CPUtime=1.29 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) S 31880 31880 4674 0 -1 1077944384 6111 0 0 0 128 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13980732 memory=57184 CPUtime=1.13 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) S 31880 31880 4674 0 -1 1077944384 5171 0 0 0 113 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13980732 memory=1296 CPUtime=0.52 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 4543 0 0 0 51 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13980732 memory=2320 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13980732 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 117265321 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 22.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195376 KiB
[startup+19.9007 s]
/proc/loadavg: 1.77 1.66 1.67 3/215 31896
/proc/meminfo: memFree=31389652/32770624 swapFree=67108764/67108860
[pid=31880] ppid=31877 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31880/stat : 31880 (xcsp3-exec) S 31877 31880 4674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117265301 9740288 345 18446744073709551615 4194304 5098028 140721084408128 140721084406232 140637452718716 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 35528704 140721084416377 140721084416581 140721084416581 140721084420075 0
/proc/31880/statm: 2378 345 289 221 0 87 0
[pid=31882] ppid=31880 vsize=13980732 memory=193996 CPUtime=22.75 cores=1,3,5,7
/proc/31882/stat : 31882 (java) S 31880 31880 4674 0 -1 1077944320 31832 0 0 0 2264 11 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 140735739737712 139650442116855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
/proc/31882/statm: 3495183 48499 3226 1 0 3483476 0
[pid=31882/tid=31883] ppid=31880 vsize=13980732 memory=1380 CPUtime=19.7 cores=1,3,5,7
/proc/31882/task/31883/stat : 31883 (java) R 31880 31880 4674 0 -1 4202560 11573 0 0 0 1965 5 0 0 20 0 15 0 117265309 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650446348112 139650078096859 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31884] ppid=31880 vsize=13980732 memory=1622 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31884/stat : 31884 (java) S 31880 31880 4674 0 -1 1077944384 748 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650399083408 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31885] ppid=31880 vsize=13980732 memory=845 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31885/stat : 31885 (java) S 31880 31880 4674 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650398030608 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31886] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31886/stat : 31886 (java) S 31880 31880 4674 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650396978320 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31887] ppid=31880 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31887/stat : 31887 (java) S 31880 31880 4674 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 117265310 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139650395925520 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31888] ppid=31880 vsize=13980732 memory=109 CPUtime=0.01 cores=1,3,5,7
/proc/31882/task/31888/stat : 31888 (java) S 31880 31880 4674 0 -1 1077944384 747 0 0 0 1 0 0 0 20 0 15 0 117265311 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649919993968 139650442128002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31889] ppid=31880 vsize=13980732 memory=50 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31889/stat : 31889 (java) S 31880 31880 4674 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649918939936 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31890] ppid=31880 vsize=13980732 memory=-7825742810418890134 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31890/stat : 31890 (java) S 31880 31880 4674 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 117265312 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649917887600 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31891] ppid=31880 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31891/stat : 31891 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265314 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649916835920 139650442135451 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31892] ppid=31880 vsize=13980732 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/31882/task/31892/stat : 31892 (java) S 31880 31880 4674 0 -1 1077944384 6111 0 0 0 128 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649915783792 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31893] ppid=31880 vsize=13980732 memory=280327281707072 CPUtime=1.13 cores=1,3,5,7
/proc/31882/task/31893/stat : 31893 (java) S 31880 31880 4674 0 -1 1077944384 5171 0 0 0 113 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649914730992 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31894] ppid=31880 vsize=13980732 memory=288287770756252872 CPUtime=0.52 cores=1,3,5,7
/proc/31882/task/31894/stat : 31894 (java) S 31880 31880 4674 0 -1 1077944384 4543 0 0 0 51 1 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649913678704 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31895] ppid=31880 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31895/stat : 31895 (java) S 31880 31880 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117265315 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649912626144 139650442127061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
[pid=31882/tid=31896] ppid=31880 vsize=13980732 memory=7670301315262144873 CPUtime=0 cores=1,3,5,7
/proc/31882/task/31896/stat : 31896 (java) S 31880 31880 4674 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 117265321 14316269568 48499 18446744073709551615 4194304 4196468 140735739755168 139649911572912 139650442128002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 25378816 140735739756977 140735739757153 140735739757153 140735739760591 0
Current children cumulated CPU time: 22.75 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195376 KiB
Child status: 0
Real time (s): 19.9943
CPU time (s): 22.8559
CPU user time (s): 22.7354
CPU system time (s): 0.120464
CPU usage (%): 114.312
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 198932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7354
system time used= 0.120464
maximum resident set size= 197552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32652
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= 2968
involuntary context switches= 36
# summary of solver processes directly reported to runsolver:
# pid: 31880
# total CPU time (s): 22.8559
# total CPU user time (s): 22.7354
# total CPU system time (s): 0.120464
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.133016 second user time and 0.229907 second system time
The end