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 (10271 MiB free)
memory of node 1: 16384 MiB (6379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306938-1534107848/watcher-4306938-1534107848 -o /tmp/evaluation-result-4306938-1534107848/solver-4306938-1534107848 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 1223323856 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306938-1534107848.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5870, runsolver pid=5867
[startup+0.100133 s]*
/proc/loadavg: 1.82 1.97 2.03 4/217 5886
/proc/meminfo: memFree=17034952/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14082940 memory=27096 CPUtime=0.12 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 15 0 228347957 14420930560 6774 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3520735 6774 3015 1 0 3483012 0
[pid=5872/tid=5873] ppid=5870 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 3658 0 0 0 8 1 0 0 20 0 15 0 228347957 14420930560 6774 33554432000 4194304 4196468 140721178641680 139751090096560 139751069914469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14082940 memory=3472468579243144400 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347959 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228347960 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228347960 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0.01 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 228347962 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347963 14420930560 6774 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 28548 KiB
[startup+0.210681 s]*
/proc/loadavg: 1.82 1.97 2.03 4/217 5886
/proc/meminfo: memFree=17022816/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14082940 memory=40280 CPUtime=0.34 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 8556 0 0 0 31 3 0 0 20 0 15 0 228347957 14420930560 10070 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3520735 10070 3230 1 0 3483012 0
[pid=5872/tid=5873] ppid=5870 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 5483 0 0 0 18 1 0 0 20 0 15 0 228347957 14420930560 10070 33554432000 4194304 4196468 140721178641680 139751090107536 139751069229136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14082940 memory=3472468579243144400 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347958 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228347959 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228347960 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228347960 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 228347962 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 15 0 228347962 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0.07 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 892 0 0 0 7 0 0 0 20 0 15 0 228347962 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14082940 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347963 14420930560 10070 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41732 KiB
[startup+0.310989 s]*
/proc/loadavg: 1.82 1.97 2.03 6/217 5886
/proc/meminfo: memFree=17016860/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14087196 memory=46820 CPUtime=0.52 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 9371 0 0 0 48 4 0 0 20 0 15 0 228347957 14425288704 11705 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3521799 11705 3274 1 0 3483012 0
[pid=5872/tid=5873] ppid=5870 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 6114 0 0 0 27 2 0 0 20 0 15 0 228347957 14425288704 11705 33554432000 4194304 4196468 140721178641680 139751090101952 139751069951326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14087196 memory=3472468579243144400 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14425288704 11705 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14087196 memory=140450347992704 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14087196 memory=6 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14087196 memory=140450195449887 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347958 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14087196 memory=280900390879008 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228347959 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14087196 memory=140450195426831 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228347960 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14087196 memory=280900543302664 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228347960 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14087196 memory=140450195449887 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14425288704 11770 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) R 5870 5870 4413 0 -1 4202560 500 0 0 0 5 0 0 0 20 0 15 0 228347962 14425288704 11775 33554432000 4194304 4196468 140721178641680 139750262502880 139751069369426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14087196 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 479 0 0 0 3 0 0 0 20 0 15 0 228347962 14425288704 11775 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 1016 0 0 0 12 0 0 0 20 0 15 0 228347962 14425288704 11775 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14425288704 11775 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347963 14425288704 11775 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48272 KiB
[startup+0.70151 s]
/proc/loadavg: 1.82 1.97 2.03 4/217 5886
/proc/meminfo: memFree=17005260/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14089320 memory=74696 CPUtime=1.51 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 14926 0 0 0 146 5 0 0 20 0 15 0 228347957 14427463680 18674 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3522330 18674 3340 1 0 3483524 0
[pid=5872/tid=5873] ppid=5870 vsize=14089320 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 6974 0 0 0 63 3 0 0 20 0 15 0 228347957 14427463680 18674 33554432000 4194304 4196468 140721178641680 139751090109440 139750726821675 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14089320 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14089320 memory=7590624028937246054 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 228347958 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14089320 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347958 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14089320 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 228347959 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14089320 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 18674 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14089320 memory=3804 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14089320 memory=3164 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14089320 memory=1244 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) R 5870 5870 4413 0 -1 4202560 2360 0 0 0 26 0 0 0 20 0 15 0 228347962 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750262504984 139751067414128 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14089320 memory=1060 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) R 5870 5870 4413 0 -1 4202560 2017 0 0 0 26 0 0 0 20 0 15 0 228347962 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750261445880 139751069364841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14089320 memory=1776 CPUtime=0.3 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 2346 0 0 0 30 0 0 0 20 0 15 0 228347962 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14089320 memory=5648 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14089320 memory=14772 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 228347963 14427463680 18740 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 76148 KiB
[startup+1.50083 s]
/proc/loadavg: 1.82 1.97 2.03 6/217 5886
/proc/meminfo: memFree=16956400/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14089320 memory=319764 CPUtime=98.57 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 65164 0 0 0 9829 28 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3522330 79941 3391 1 0 3483524 0
[pid=5872/tid=5873] ppid=5870 vsize=14089320 memory=932 CPUtime=92.99 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 21216 0 0 0 9292 7 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 139751090110496 139750727300383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14089320 memory=8112282956445269571 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 1133 0 0 0 22 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14089320 memory=14772 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 669 0 0 0 23 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14089320 memory=39012 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 864 0 0 0 20 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14089320 memory=15140 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1300 0 0 0 21 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14089320 memory=3160 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 1232 0 0 0 22 2 0 0 20 0 15 0 228347959 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14089320 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14089320 memory=62056 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14089320 memory=2056 CPUtime=1.84 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 17409 0 0 0 183 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14089320 memory=932 CPUtime=1.97 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 14535 0 0 0 195 2 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14089320 memory=1728 CPUtime=0.41 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 5093 0 0 0 40 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14089320 memory=8628 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14089320 memory=1060 CPUtime=0.03 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 354 0 0 0 2 1 0 0 20 0 15 0 228347963 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 98.57 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 321216 KiB
[startup+94.0009 s]*
/proc/loadavg: 1.73 1.91 2.01 3/217 5887
/proc/meminfo: memFree=16742236/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14089320 memory=319764 CPUtime=98.98 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 65353 0 0 0 9870 28 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3522330 79941 3391 1 0 3483524 0
[pid=5872/tid=5873] ppid=5870 vsize=14089320 memory=8112282956445269571 CPUtime=93.39 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 21241 0 0 0 9332 7 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 139751090110496 139750727973254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14089320 memory=-7003737579269690708 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 1160 0 0 0 22 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14089320 memory=3160 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 671 0 0 0 23 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14089320 memory=496 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 866 0 0 0 20 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14089320 memory=1600 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1301 0 0 0 21 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14089320 memory=932 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 1362 0 0 0 22 2 0 0 20 0 15 0 228347959 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14089320 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14089320 memory=3884 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14089320 memory=2180 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14089320 memory=3980 CPUtime=1.84 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 17409 0 0 0 183 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14089320 memory=888 CPUtime=1.97 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 14535 0 0 0 195 2 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14089320 memory=1532 CPUtime=0.41 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 5093 0 0 0 40 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14089320 memory=1904 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14089320 memory=288230574492221466 CPUtime=0.03 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 15 0 228347963 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 98.98 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 321216 KiB
[startup+94.2009 s]
/proc/loadavg: 1.73 1.91 2.01 3/217 5887
/proc/meminfo: memFree=16742236/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14089320 memory=319764 CPUtime=99.18 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 65360 0 0 0 9890 28 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3522330 79941 3391 1 0 3483524 0
[pid=5872/tid=5873] ppid=5870 vsize=14089320 memory=13846387007688923 CPUtime=93.58 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 21248 0 0 0 9351 7 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 139751090110384 139750727973384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14089320 memory=132 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 1160 0 0 0 22 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14089320 memory=1 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 671 0 0 0 23 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14089320 memory=381 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 866 0 0 0 20 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14089320 memory=178 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1301 0 0 0 21 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14089320 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 1362 0 0 0 22 2 0 0 20 0 15 0 228347959 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14089320 memory=9200 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14089320 memory=14814 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14089320 memory=243829 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14089320 memory=0 CPUtime=1.84 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 17409 0 0 0 183 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14089320 memory=0 CPUtime=1.97 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 14535 0 0 0 195 2 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14089320 memory=114 CPUtime=0.41 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 5093 0 0 0 40 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14089320 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14089320 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 15 0 228347963 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 99.18 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 321216 KiB
[startup+94.3009 s]
/proc/loadavg: 1.73 1.91 2.01 3/217 5887
/proc/meminfo: memFree=16742236/32770624 swapFree=67108796/67108860
[pid=5870] ppid=5867 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5870/stat : 5870 (xcsp3-exec) S 5867 5870 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 228347956 115843072 363 33554432000 4194304 5098028 140724974168928 140724974167032 140060222952060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11362304 140724974171194 140724974171396 140724974171396 140724974174154 0
/proc/5870/statm: 28282 363 306 221 0 87 0
[pid=5872] ppid=5870 vsize=14089320 memory=319764 CPUtime=99.28 cores=1,3,5,7
/proc/5872/stat : 5872 (java) S 5870 5870 4413 0 -1 1077944320 65362 0 0 0 9900 28 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 140721178624224 139751085870839 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
/proc/5872/statm: 3522330 79941 3391 1 0 3483524 0
[pid=5872/tid=5873] ppid=5870 vsize=14089320 memory=319764 CPUtime=93.68 cores=1,3,5,7
/proc/5872/task/5873/stat : 5873 (java) R 5870 5870 4413 0 -1 4202560 21249 0 0 0 9361 7 0 0 20 0 15 0 228347957 14427463680 79941 33554432000 4194304 4196468 140721178641680 139751090110496 139750728323953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5874] ppid=5870 vsize=14089320 memory=1452 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5874/stat : 5874 (java) S 5870 5870 4413 0 -1 1077944384 1161 0 0 0 22 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750681746576 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5875] ppid=5870 vsize=14089320 memory=319764 CPUtime=0.26 cores=1,3,5,7
/proc/5872/task/5875/stat : 5875 (java) S 5870 5870 4413 0 -1 1077944384 671 0 0 0 23 3 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750680693776 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5876] ppid=5870 vsize=14089320 memory=1452 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5876/stat : 5876 (java) S 5870 5870 4413 0 -1 1077944384 866 0 0 0 21 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750679640976 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5877] ppid=5870 vsize=14089320 memory=3632 CPUtime=0.25 cores=1,3,5,7
/proc/5872/task/5877/stat : 5877 (java) S 5870 5870 4413 0 -1 1077944384 1301 0 0 0 21 4 0 0 20 0 15 0 228347958 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750678588176 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5878] ppid=5870 vsize=14089320 memory=319764 CPUtime=0.24 cores=1,3,5,7
/proc/5872/task/5878/stat : 5878 (java) S 5870 5870 4413 0 -1 1077944384 1362 0 0 0 22 2 0 0 20 0 15 0 228347959 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750266722672 139751085881986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5879] ppid=5870 vsize=14089320 memory=3632 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5879/stat : 5879 (java) S 5870 5870 4413 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750265668640 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5880] ppid=5870 vsize=14089320 memory=6944658791478618170 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5880/stat : 5880 (java) S 5870 5870 4413 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 228347960 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750264615792 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5881] ppid=5870 vsize=14089320 memory=6944656592452807316 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5881/stat : 5881 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750263564112 139751085889435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5882] ppid=5870 vsize=14089320 memory=1452 CPUtime=1.84 cores=1,3,5,7
/proc/5872/task/5882/stat : 5882 (java) S 5870 5870 4413 0 -1 1077944384 17409 0 0 0 183 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750262512496 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5883] ppid=5870 vsize=14089320 memory=319764 CPUtime=1.97 cores=1,3,5,7
/proc/5872/task/5883/stat : 5883 (java) S 5870 5870 4413 0 -1 1077944384 14535 0 0 0 195 2 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750261459696 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5884] ppid=5870 vsize=14089320 memory=1452 CPUtime=0.41 cores=1,3,5,7
/proc/5872/task/5884/stat : 5884 (java) S 5870 5870 4413 0 -1 1077944384 5093 0 0 0 40 1 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750260406896 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5885] ppid=5870 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5872/task/5885/stat : 5885 (java) S 5870 5870 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 228347962 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750259354336 139751085881045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
[pid=5872/tid=5886] ppid=5870 vsize=14089320 memory=1080 CPUtime=0.03 cores=1,3,5,7
/proc/5872/task/5886/stat : 5886 (java) S 5870 5870 4413 0 -1 1077944384 356 0 0 0 2 1 0 0 20 0 15 0 228347963 14427463680 79941 33554432000 4194304 4196468 140721178641680 139750258301616 139751085881986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 16351232 140721178645638 140721178645809 140721178645809 140721178648527 0
Current children cumulated CPU time: 99.28 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 321216 KiB
Child status: 0
Real time (s): 94.314
CPU time (s): 99.3097
CPU user time (s): 99.0103
CPU system time (s): 0.299402
CPU usage (%): 105.297
Max. virtual memory (cumulated for all children) (KiB): 14206684
Max. memory (cumulated for all children) (KiB): 321216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.0103
system time used= 0.299402
maximum resident set size= 320188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66635
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10769
involuntary context switches= 204
# summary of solver processes directly reported to runsolver:
# pid: 5870
# total CPU time (s): 99.3097
# total CPU user time (s): 99.0103
# total CPU system time (s): 0.299402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.667486 second user time and 0.864082 second system time
The end