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 (5530 MiB free)
memory of node 1: 16384 MiB (10360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292505-1532465133/watcher-4292505-1532465133 -o /tmp/evaluation-result-4292505-1532465133/solver-4292505-1532465133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22097 --watchdog 2560 HOME/xcsp3-exec -seed 1677587388 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292505-1532465133.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23888, runsolver pid=23885
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.24 2.07 2.06 3/217 23904
/proc/meminfo: memFree=16254316/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14082840 memory=29648 CPUtime=0.12 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 5720 0 0 0 11 1 0 0 20 0 15 0 64076508 14420828160 7412 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3520710 7412 3022 1 0 3483008 0
[pid=23890/tid=23891] ppid=23888 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 3715 0 0 0 9 0 0 0 20 0 15 0 64076508 14420828160 7412 33554432000 4194304 4196468 140728393372272 139992686225200 139992682003862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14082840 memory=3472468310185346256 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 7412 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14082840 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 7412 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 7412 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 7412 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64076510 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64076510 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64076511 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 64076513 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) R 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14082840 memory=140181290194560 CPUtime=0.01 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 64076513 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14082840 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076514 14420828160 7412 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 31100 KiB
[startup+0.210555 s]*
/proc/loadavg: 2.24 2.07 2.06 4/217 23904
/proc/meminfo: memFree=16243152/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14082840 memory=41096 CPUtime=0.34 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 8344 0 0 0 32 2 0 0 20 0 15 0 64076508 14420828160 10274 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3520710 10274 3167 1 0 3483008 0
[pid=23890/tid=23891] ppid=23888 vsize=14082840 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) D 23888 23888 22065 0 -1 1077944384 5486 0 0 0 19 1 0 0 20 0 15 0 64076508 14420828160 10329 33554432000 4194304 4196468 140728393372272 139992686214072 139992684267207 0 4 0 16800975 18446744072101625380 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14082840 memory=3472468310185346256 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 10329 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14082840 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 10329 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 10329 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64076509 14420828160 10329 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14082840 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64076510 14420828160 10329 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64076510 14420828160 10329 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64076511 14420828160 10329 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14084956 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14084956 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 772 0 0 0 3 0 0 0 20 0 15 0 64076513 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14084956 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 15 0 64076513 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14084956 memory=140181290194560 CPUtime=0.08 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 15 0 64076513 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14084956 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14084956 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076514 14422994944 10329 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42548 KiB
[startup+0.310484 s]*
/proc/loadavg: 2.24 2.07 2.06 3/217 23904
/proc/meminfo: memFree=16236444/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14087096 memory=48184 CPUtime=0.51 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 9206 0 0 0 48 3 0 0 20 0 15 0 64076508 14425186304 12046 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3521774 12046 3202 1 0 3483008 0
[pid=23890/tid=23891] ppid=23888 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 6201 0 0 0 28 1 0 0 20 0 15 0 64076508 14425186304 12055 33554432000 4194304 4196468 140728393372272 139992686227200 139992682013853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14087096 memory=3472468310185346256 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14425186304 12055 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14087096 memory=140181290194560 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14425186304 12055 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14087096 memory=11 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14425186304 12055 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14087096 memory=140181156014111 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64076509 14425186304 12055 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14087096 memory=280362311988992 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64076510 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14087096 memory=140181155991055 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64076510 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14087096 memory=280362446194784 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64076511 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14087096 memory=140181155995663 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 775 0 0 0 5 0 0 0 20 0 15 0 64076513 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 112 0 0 0 3 0 0 0 20 0 15 0 64076513 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 812 0 0 0 12 0 0 0 20 0 15 0 64076513 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076514 14425186304 12055 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49636 KiB
[startup+0.700818 s]
/proc/loadavg: 2.24 2.07 2.06 5/217 23904
/proc/meminfo: memFree=16223540/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14089220 memory=68460 CPUtime=1.55 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 12398 0 0 0 151 4 0 0 20 0 15 0 64076508 14427361280 17115 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3522305 17115 3332 1 0 3483520 0
[pid=23890/tid=23891] ppid=23888 vsize=14089220 memory=7660742144744843625 CPUtime=0.67 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 6851 0 0 0 65 2 0 0 20 0 15 0 64076508 14427361280 17115 33554432000 4194304 4196468 140728393372272 139992686229048 139992322826707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14089220 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14427361280 17115 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14089220 memory=4638778398332764256 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14427361280 17115 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14089220 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076509 14427361280 17115 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14089220 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64076509 14427361280 17115 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14089220 memory=-7737605734073691286 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14089220 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14089220 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64076511 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14089220 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14089220 memory=19600 CPUtime=0.33 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) R 23888 23888 22065 0 -1 4202560 1767 0 0 0 32 1 0 0 20 0 15 0 64076513 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991590157592 139992667094370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14089220 memory=1296 CPUtime=0.27 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) R 23888 23888 22065 0 -1 4202560 1290 0 0 0 27 0 0 0 20 0 15 0 64076513 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991589098184 139992666385233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14089220 memory=2412 CPUtime=0.26 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 1186 0 0 0 26 0 0 0 20 0 15 0 64076513 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14089220 memory=7668012111147524688 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14089220 memory=7451579857426993518 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64076514 14427361280 17115 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 69912 KiB
[startup+1.50074 s]
/proc/loadavg: 2.24 2.07 2.06 5/217 23904
/proc/meminfo: memFree=16194700/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14089220 memory=355204 CPUtime=91.43 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 42109 0 0 0 9118 25 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3522305 88801 3376 1 0 3483520 0
[pid=23890/tid=23891] ppid=23888 vsize=14089220 memory=1452 CPUtime=88.22 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 17184 0 0 0 8814 8 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992686231376 139992323344832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14089220 memory=355204 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 949 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14089220 memory=840 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 691 0 0 0 15 4 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14089220 memory=6791534058613427641 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 966 0 0 0 17 2 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14089220 memory=324524 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 582 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14089220 memory=1196 CPUtime=0.25 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 1258 0 0 0 23 2 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14089220 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64076511 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14089220 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14089220 memory=1008 CPUtime=0.87 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 6686 0 0 0 86 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14089220 memory=792 CPUtime=0.88 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 7959 0 0 0 87 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14089220 memory=1716 CPUtime=0.33 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 3954 0 0 0 33 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14089220 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14089220 memory=8396 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 512 0 0 0 1 2 0 0 20 0 15 0 64076514 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 91.43 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 356656 KiB
[startup+89.2007 s]
/proc/loadavg: 2.15 2.12 2.08 3/217 23905
/proc/meminfo: memFree=14089416/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14089220 memory=355204 CPUtime=91.83 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 42109 0 0 0 9158 25 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3522305 88801 3376 1 0 3483520 0
[pid=23890/tid=23891] ppid=23888 vsize=14089220 memory=-7457052372387209120 CPUtime=88.62 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 17184 0 0 0 8854 8 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992686231376 139992323850427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14089220 memory=6944656591801717918 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 949 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14089220 memory=4206468019014099040 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 691 0 0 0 15 4 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14089220 memory=-8990767739041718176 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 966 0 0 0 17 2 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14089220 memory=-9181546050914066336 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 582 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14089220 memory=-7025452035940392864 CPUtime=0.25 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 1258 0 0 0 23 2 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14089220 memory=19600 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64076511 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14089220 memory=2412 CPUtime=0.87 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 6686 0 0 0 86 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14089220 memory=1724 CPUtime=0.88 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 7959 0 0 0 87 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14089220 memory=68 CPUtime=0.33 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 3954 0 0 0 33 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14089220 memory=-8312670058677691234 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14089220 memory=-4866526891258710369 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 512 0 0 0 1 2 0 0 20 0 15 0 64076514 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 91.83 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 356656 KiB
[startup+89.4015 s]
/proc/loadavg: 2.15 2.12 2.08 3/217 23905
/proc/meminfo: memFree=14089416/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14089220 memory=355204 CPUtime=92.03 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 42121 0 0 0 9178 25 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3522305 88801 3376 1 0 3483520 0
[pid=23890/tid=23891] ppid=23888 vsize=14089220 memory=370559 CPUtime=88.82 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 17189 0 0 0 8874 8 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992686231376 139992323850610 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14089220 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 949 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14089220 memory=8976414709404591081 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 691 0 0 0 15 4 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14089220 memory=10 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 966 0 0 0 17 2 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14089220 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 583 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14089220 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 1258 0 0 0 23 2 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64076511 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14089220 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 6688 0 0 0 86 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14089220 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 7961 0 0 0 87 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14089220 memory=6943526294502006880 CPUtime=0.33 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 3956 0 0 0 33 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14089220 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 512 0 0 0 1 2 0 0 20 0 15 0 64076514 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 92.03 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 356656 KiB
[startup+89.5009 s]
/proc/loadavg: 2.15 2.12 2.08 3/217 23905
/proc/meminfo: memFree=14089416/32770624 swapFree=67108860/67108860
[pid=23888] ppid=23885 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23888/stat : 23888 (xcsp3-exec) S 23885 23888 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 64076507 115843072 363 33554432000 4194304 5098028 140735254783024 140735254781128 140014264320636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7278592 140735254791226 140735254791428 140735254791428 140735254794186 0
/proc/23888/statm: 28282 363 305 221 0 87 0
[pid=23890] ppid=23888 vsize=14089220 memory=355204 CPUtime=92.13 cores=1,3,5,7
/proc/23890/stat : 23890 (java) S 23888 23888 22065 0 -1 1077944320 42122 0 0 0 9188 25 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 140728393354816 139992681991927 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
/proc/23890/statm: 3522305 88801 3376 1 0 3483520 0
[pid=23890/tid=23891] ppid=23888 vsize=14089220 memory=1452 CPUtime=88.92 cores=1,3,5,7
/proc/23890/task/23891/stat : 23891 (java) R 23888 23888 22065 0 -1 4202560 17190 0 0 0 8884 8 0 0 20 0 15 0 64076508 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992686231488 139992322813413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23892] ppid=23888 vsize=14089220 memory=1452 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23892/stat : 23892 (java) S 23888 23888 22065 0 -1 1077944384 949 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992278088592 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23893] ppid=23888 vsize=14089220 memory=324524 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23893/stat : 23893 (java) S 23888 23888 22065 0 -1 1077944384 691 0 0 0 15 4 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992277035792 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23894] ppid=23888 vsize=14089220 memory=140181156224865 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23894/stat : 23894 (java) S 23888 23888 22065 0 -1 1077944384 966 0 0 0 17 2 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992275983504 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23895] ppid=23888 vsize=14089220 memory=256800 CPUtime=0.19 cores=1,3,5,7
/proc/23890/task/23895/stat : 23895 (java) S 23888 23888 22065 0 -1 1077944384 583 0 0 0 16 3 0 0 20 0 15 0 64076509 14427361280 88801 33554432000 4194304 4196468 140728393372272 139992274930704 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23896] ppid=23888 vsize=14089220 memory=256800 CPUtime=0.25 cores=1,3,5,7
/proc/23890/task/23896/stat : 23896 (java) S 23888 23888 22065 0 -1 1077944384 1258 0 0 0 23 2 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991594375280 139992682003074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23897] ppid=23888 vsize=14089220 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23897/stat : 23897 (java) S 23888 23888 22065 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 64076510 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991593321248 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23898] ppid=23888 vsize=14089220 memory=19600 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23898/stat : 23898 (java) S 23888 23888 22065 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64076511 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991592268912 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23899] ppid=23888 vsize=14089220 memory=355204 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23899/stat : 23899 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991591217232 139992682010523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23900] ppid=23888 vsize=14089220 memory=280362312887552 CPUtime=0.87 cores=1,3,5,7
/proc/23890/task/23900/stat : 23900 (java) S 23888 23888 22065 0 -1 1077944384 6688 0 0 0 86 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991590165104 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23901] ppid=23888 vsize=14089220 memory=308328 CPUtime=0.88 cores=1,3,5,7
/proc/23890/task/23901/stat : 23901 (java) S 23888 23888 22065 0 -1 1077944384 7961 0 0 0 87 1 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991589112304 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23902] ppid=23888 vsize=14089220 memory=4140 CPUtime=0.33 cores=1,3,5,7
/proc/23890/task/23902/stat : 23902 (java) S 23888 23888 22065 0 -1 1077944384 3956 0 0 0 33 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991588060016 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23903] ppid=23888 vsize=14089220 memory=19600 CPUtime=0 cores=1,3,5,7
/proc/23890/task/23903/stat : 23903 (java) S 23888 23888 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64076513 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991587007456 139992682002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
[pid=23890/tid=23904] ppid=23888 vsize=14089220 memory=1296 CPUtime=0.03 cores=1,3,5,7
/proc/23890/task/23904/stat : 23904 (java) S 23888 23888 22065 0 -1 1077944384 512 0 0 0 1 2 0 0 20 0 15 0 64076514 14427361280 88801 33554432000 4194304 4196468 140728393372272 139991585954224 139992682003074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 29495296 140728393380993 140728393381169 140728393381169 140728393383887 0
Current children cumulated CPU time: 92.13 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 356656 KiB
Child status: 0
Real time (s): 89.553
CPU time (s): 92.192
CPU user time (s): 91.93
CPU system time (s): 0.262002
CPU usage (%): 102.947
Max. virtual memory (cumulated for all children) (KiB): 14204156
Max. memory (cumulated for all children) (KiB): 356656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.93
system time used= 0.262002
maximum resident set size= 355676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43296
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= 10334
involuntary context switches= 209
# summary of solver processes directly reported to runsolver:
# pid: 23888
# total CPU time (s): 92.192
# total CPU user time (s): 91.93
# total CPU system time (s): 0.262002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.585982 second user time and 0.874331 second system time
The end