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 (14949 MiB free)
memory of node 1: 16384 MiB (14928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283545-1503180500/watcher-4283545-1503180500 -o /tmp/evaluation-result-4283545-1503180500/solver-4283545-1503180500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9102 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 775205237 HOME/instance-4283545-1503180500.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10199, runsolver pid=10196
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.54 1.61 1.66 3/198 10201
/proc/meminfo: memFree=30594116/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=11657624 memory=8492 CPUtime=0 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 1893 0 0 0 0 0 0 0 20 0 2 0 120243009 11937406976 2123 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 2914406 2123 1151 1 0 2904376 0
[pid=10201/tid=10202] ppid=10199 vsize=13355668 memory=-8023549066454273880 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 1009 0 0 0 0 0 0 0 20 0 6 0 120243010 13676204032 2467 18446744073709551615 4194304 4196468 140735055511152 140604969121896 140604950961095 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13356504 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120243010 13677060096 2467 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13356504 memory=140318672270976 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120243010 13677060096 2532 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13356504 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 120243010 13677060096 2532 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13356504 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 120243010 13677060096 2532 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 11667136 KiB
Current children cumulated memory: 9868 KiB
[startup+0.21 s]*
/proc/loadavg: 1.54 1.61 1.66 4/212 10215
/proc/meminfo: memFree=30583512/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13974352 memory=21720 CPUtime=0.06 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 4896 0 0 0 6 0 0 0 20 0 15 0 120243009 14309736448 5430 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3493588 5430 2718 1 0 3482964 0
[pid=10201/tid=10202] ppid=10199 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 3068 0 0 0 5 0 0 0 20 0 15 0 120243010 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604969114400 140604964902045 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13974352 memory=3835290959405495968 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13974352 memory=140318672270976 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604441314032 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13974352 memory=140318672270976 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13974352 memory=140318672270976 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243020 14309736448 5496 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23096 KiB
[startup+0.310194 s]*
/proc/loadavg: 1.54 1.61 1.66 5/212 10215
/proc/meminfo: memFree=30567472/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13974352 memory=36508 CPUtime=0.24 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 8693 0 0 0 21 3 0 0 20 0 15 0 120243009 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3493588 9127 2962 1 0 3482964 0
[pid=10201/tid=10202] ppid=10199 vsize=13974352 memory=-7677926825137650786 CPUtime=0.15 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 5981 0 0 0 13 2 0 0 20 0 15 0 120243010 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604969107888 140604964902045 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120243012 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604441314032 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 630 0 0 0 1 0 0 0 20 0 15 0 120243015 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 15 0 120243015 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13974352 memory=140318672270976 CPUtime=0.05 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 120243015 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13974352 memory=140318672270976 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243020 14309736448 9127 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37884 KiB
[startup+0.700781 s]
/proc/loadavg: 1.58 1.62 1.66 4/212 10215
/proc/meminfo: memFree=30558236/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=65720 CPUtime=1.2 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 13512 0 0 0 114 6 0 0 20 0 15 0 120243009 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 16430 3165 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=5861541947240501328 CPUtime=0.53 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 8424 0 0 0 49 4 0 0 20 0 15 0 120243010 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604969100336 140604948960606 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=7014463425792201040 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=7007707949394126417 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=140318527837872 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=662364497384251446 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604441314032 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13980732 memory=11210019468133 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13980732 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) R 10199 10199 28892 0 -1 4202560 1265 0 0 0 18 0 0 0 20 0 15 0 120243015 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604950894445 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13980732 memory=3908 CPUtime=0.18 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) R 10199 10199 28892 0 -1 4202560 771 0 0 0 18 0 0 0 20 0 15 0 120243015 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604438146672 140604949779584 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13980732 memory=-7677926825137650786 CPUtime=0.28 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 1745 0 0 0 28 0 0 0 20 0 15 0 120243015 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243020 14316269568 16430 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67096 KiB
[startup+1.50128 s]
/proc/loadavg: 1.58 1.62 1.66 6/212 10215
/proc/meminfo: memFree=30521988/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=138828 CPUtime=3.74 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 34569 0 0 0 365 9 0 0 20 0 15 0 120243009 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 34707 3193 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=7235139906687035499 CPUtime=1.33 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 9389 0 0 0 129 4 0 0 20 0 15 0 120243010 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604969115968 140604566013636 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=65720 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=280637055531744 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=280637055620512 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120243010 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=2110669134867268 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=48157119482867 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 34707 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=237048 CPUtime=21.32 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 72993 0 0 0 2113 19 0 0 20 0 15 0 120243009 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 59262 3241 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=237048 CPUtime=10.97 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 11666 0 0 0 1091 6 0 0 20 0 15 0 120243010 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604969118712 140604570303992 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=280637055868800 CPUtime=0.03 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 15 0 120243010 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=280637055778088 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 120243012 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=9377 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604441314048 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13980732 memory=263364 CPUtime=4.57 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 38407 0 0 0 452 5 0 0 20 0 15 0 120243015 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13980732 memory=1204 CPUtime=4.87 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 13809 0 0 0 486 1 0 0 20 0 15 0 120243015 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13980732 memory=1000 CPUtime=0.71 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 5656 0 0 0 69 2 0 0 20 0 15 0 120243015 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13980732 memory=11160 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 120243020 14316269568 59262 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 21.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238424 KiB
[startup+11.6007 s]
/proc/loadavg: 1.64 1.63 1.67 3/212 10215
/proc/meminfo: memFree=30357484/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=237176 CPUtime=21.73 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 73486 0 0 0 2154 19 0 0 20 0 15 0 120243009 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 59294 3241 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=7526486018442737720 CPUtime=11.37 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 11829 0 0 0 1131 6 0 0 20 0 15 0 120243010 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604969115968 140604569767363 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=8751464017575491896 CPUtime=0.03 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 15 0 120243010 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=8102582798423241009 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=6576575808606940072 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=30961 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=4420 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 120243012 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604441314048 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13980732 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13980732 memory=13252 CPUtime=4.57 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 38586 0 0 0 452 5 0 0 20 0 15 0 120243015 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13980732 memory=15460 CPUtime=4.88 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 13829 0 0 0 487 1 0 0 20 0 15 0 120243015 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13980732 memory=17668 CPUtime=0.71 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 5760 0 0 0 69 2 0 0 20 0 15 0 120243015 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13980732 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13980732 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 120243020 14316269568 59294 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 21.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238552 KiB
[startup+11.8013 s]
/proc/loadavg: 1.64 1.63 1.67 3/212 10215
/proc/meminfo: memFree=30357484/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=237208 CPUtime=21.96 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 74601 0 0 0 2177 19 0 0 20 0 15 0 120243009 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 59302 3241 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=28708 CPUtime=11.57 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 11941 0 0 0 1151 6 0 0 20 0 15 0 120243010 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604969117096 140604566890818 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=3472328279047813329 CPUtime=0.03 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 15 0 120243010 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=5788 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=4612 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=1708 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=1444 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 120243012 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=12216 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604441314048 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13980732 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13980732 memory=1204 CPUtime=4.57 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 38758 0 0 0 452 5 0 0 20 0 15 0 120243015 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13980732 memory=1000 CPUtime=4.91 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 14608 0 0 0 490 1 0 0 20 0 15 0 120243015 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13980732 memory=796 CPUtime=0.71 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 5812 0 0 0 69 2 0 0 20 0 15 0 120243015 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13980732 memory=11160 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 120243020 14316269568 59302 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 21.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238584 KiB
[startup+11.9009 s]
/proc/loadavg: 1.64 1.63 1.67 3/212 10215
/proc/meminfo: memFree=30357484/32770624 swapFree=67108860/67108860
[pid=10199] ppid=10196 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10199/stat : 10199 (xcsp3-exec) S 10196 10199 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 120242999 9740288 344 18446744073709551615 4194304 5098028 140736096754928 140736096753032 140420677517948 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 9068544 140736096756089 140736096756293 140736096756293 140736096759787 0
/proc/10199/statm: 2378 344 289 221 0 87 0
[pid=10201] ppid=10199 vsize=13980732 memory=237232 CPUtime=22.11 cores=0,2,4,6
/proc/10201/stat : 10201 (java) S 10199 10199 28892 0 -1 1077944320 75363 0 0 0 2192 19 0 0 20 0 15 0 120243009 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140735055493696 140604964880119 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
/proc/10201/statm: 3495183 59308 3241 1 0 3483476 0
[pid=10201/tid=10202] ppid=10199 vsize=13980732 memory=237048 CPUtime=11.67 cores=0,2,4,6
/proc/10201/task/10202/stat : 10202 (java) R 10199 10199 28892 0 -1 4202560 11948 0 0 0 1161 6 0 0 20 0 15 0 120243010 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604969117096 140604567728044 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10203] ppid=10199 vsize=13980732 memory=1376 CPUtime=0.03 cores=0,2,4,6
/proc/10201/task/10203/stat : 10203 (java) S 10199 10199 28892 0 -1 1077944384 102 0 0 0 3 0 0 0 20 0 15 0 120243010 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604884294672 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10204] ppid=10199 vsize=13980732 memory=263364 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10204/stat : 10204 (java) S 10199 10199 28892 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604883242128 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10205] ppid=10199 vsize=13980732 memory=257 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10205/stat : 10205 (java) S 10199 10199 28892 0 -1 1077944384 683 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604562467600 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10206] ppid=10199 vsize=13980732 memory=280637055806848 CPUtime=0.02 cores=0,2,4,6
/proc/10201/task/10206/stat : 10206 (java) S 10199 10199 28892 0 -1 1077944384 335 0 0 0 2 0 0 0 20 0 15 0 120243010 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604561415056 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10207] ppid=10199 vsize=13980732 memory=288230604640878911 CPUtime=0.01 cores=0,2,4,6
/proc/10201/task/10207/stat : 10207 (java) S 10199 10199 28892 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 120243012 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604443420912 140604964891266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10208] ppid=10199 vsize=13980732 memory=263464 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10208/stat : 10208 (java) S 10199 10199 28892 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604442367136 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10209] ppid=10199 vsize=13980732 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10209/stat : 10209 (java) S 10199 10199 28892 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 120243012 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604441314048 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10210] ppid=10199 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10210/stat : 10210 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604440262608 140604964898715 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10211] ppid=10199 vsize=13980732 memory=263536 CPUtime=4.6 cores=0,2,4,6
/proc/10201/task/10211/stat : 10211 (java) S 10199 10199 28892 0 -1 1077944384 39311 0 0 0 455 5 0 0 20 0 15 0 120243015 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604439210736 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10212] ppid=10199 vsize=13980732 memory=4048 CPUtime=4.93 cores=0,2,4,6
/proc/10201/task/10212/stat : 10212 (java) S 10199 10199 28892 0 -1 1077944384 14810 0 0 0 492 1 0 0 20 0 15 0 120243015 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604438158192 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10213] ppid=10199 vsize=13980732 memory=36844 CPUtime=0.71 cores=0,2,4,6
/proc/10201/task/10213/stat : 10213 (java) S 10199 10199 28892 0 -1 1077944384 5812 0 0 0 69 2 0 0 20 0 15 0 120243015 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604437105136 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10214] ppid=10199 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10214/stat : 10214 (java) S 10199 10199 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120243015 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604436052832 140604964890325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
[pid=10201/tid=10215] ppid=10199 vsize=13980732 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/10201/task/10215/stat : 10215 (java) S 10199 10199 28892 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 120243020 14316269568 59308 18446744073709551615 4194304 4196468 140735055511152 140604434999856 140604964891266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22913024 140735055511985 140735055512161 140735055512161 140735055515599 0
Current children cumulated CPU time: 22.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 238608 KiB
Child status: 0
Real time (s): 11.9836
CPU time (s): 22.2068
CPU user time (s): 22.001
CPU system time (s): 0.205823
CPU usage (%): 185.31
Max. virtual memory (cumulated for all children) (KiB): 13993312
Max. memory (cumulated for all children) (KiB): 264956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.001
system time used= 0.205823
maximum resident set size= 263580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3309
involuntary context switches= 86
# summary of solver processes directly reported to runsolver:
# pid: 10199
# total CPU time (s): 22.2068
# total CPU user time (s): 22.001
# total CPU system time (s): 0.205823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106169 second user time and 0.148236 second system time
The end