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 (14986 MiB free)
memory of node 1: 16384 MiB (12124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270051-1502623756/watcher-4270051-1502623756 -o /tmp/evaluation-result-4270051-1502623756/solver-4270051-1502623756 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20541 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 255102190 HOME/instance-4270051-1502623756.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27175, runsolver pid=27172
[startup+0.100121 s]*
/proc/loadavg: 2.03 1.88 1.82 2/196 27176
/proc/meminfo: memFree=27760948/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (runsolver) D 27172 27175 897 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 64596315 34791424 113 18446744073709551615 4194304 4346622 140727147993664 140727147990296 139880575312599 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 11542528 140727147999296 140727147999785 140727147999785 140727148003274 0
/proc/27175/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.208969 s]*
/proc/loadavg: 2.03 1.88 1.82 2/210 27190
/proc/meminfo: memFree=27749860/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13908332 memory=21668 CPUtime=0.05 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 4801 0 0 0 4 1 0 0 20 0 14 0 64596326 14242131968 5417 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3477083 5417 2574 1 0 3466580 0
[pid=27177/tid=27178] ppid=27175 vsize=13908332 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) S 27175 27175 897 0 -1 1077944384 2985 0 0 0 3 1 0 0 20 0 15 0 64596327 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381943429728 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13908332 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13908332 memory=288370256729974400 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13908332 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13908332 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13908332 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596329 14242131968 5929 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 64596332 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13973868 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 64596332 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13973868 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596337 14309240832 5929 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13917844 KiB
Current children cumulated memory: 23048 KiB
[startup+0.310204 s]*
/proc/loadavg: 2.03 1.88 1.82 3/211 27191
/proc/meminfo: memFree=27735196/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13974352 memory=36296 CPUtime=0.24 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 8689 0 0 0 21 3 0 0 20 0 15 0 64596326 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3493588 9074 2974 1 0 3482964 0
[pid=27177/tid=27178] ppid=27175 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 5918 0 0 0 12 2 0 0 20 0 15 0 64596327 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381943409824 140381923267934 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13974352 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13974352 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596329 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) R 27175 27175 897 0 -1 1077944384 561 0 0 0 1 0 0 0 20 0 15 0 64596332 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 64596332 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13974352 memory=139880578262656 CPUtime=0.05 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 719 0 0 0 5 0 0 0 20 0 15 0 64596332 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13974352 memory=139880578262656 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596337 14309736448 9074 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37676 KiB
[startup+0.710284 s]
/proc/loadavg: 2.03 1.88 1.82 3/211 27191
/proc/meminfo: memFree=27721724/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=102936 CPUtime=1.21 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 12748 0 0 0 116 5 0 0 20 0 15 0 64596326 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 25734 3163 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=1228 CPUtime=0.53 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 8064 0 0 0 49 4 0 0 20 0 15 0 64596327 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381943428576 140381939209373 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=796 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=3546358345423217512 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=279760882191424 CPUtime=0.17 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) R 27175 27175 897 0 -1 4202560 1025 0 0 0 17 0 0 0 20 0 15 0 64596332 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381919015773 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=279760882191616 CPUtime=0.17 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) R 27175 27175 897 0 -1 4202560 945 0 0 0 17 0 0 0 20 0 15 0 64596332 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381479675248 140381924311267 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=279760882191808 CPUtime=0.3 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 1408 0 0 0 30 0 0 0 20 0 15 0 64596332 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=279760882192000 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=279760882192192 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596337 14316269568 25734 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 104316 KiB
[startup+1.50086 s]
/proc/loadavg: 2.03 1.88 1.82 5/211 27191
/proc/meminfo: memFree=27660040/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=116464 CPUtime=3.4 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 20108 0 0 0 334 6 0 0 20 0 15 0 64596326 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 29116 3184 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=15541816741092861 CPUtime=1.32 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 8732 0 0 0 128 4 0 0 20 0 15 0 64596327 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381943425360 140381563874543 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=279760882126368 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=110584 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=36508 CPUtime=0.82 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 4267 0 0 0 82 0 0 0 20 0 15 0 64596332 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=1292 CPUtime=0.81 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 3495 0 0 0 81 0 0 0 20 0 15 0 64596332 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=33 CPUtime=0.41 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 2307 0 0 0 41 0 0 0 20 0 15 0 64596332 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596337 14316269568 29116 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
################
# More data... #
################
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=139188 CPUtime=60.33 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 44738 0 0 0 6024 9 0 0 20 0 15 0 64596326 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 34797 3196 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=139188 CPUtime=56.62 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 12088 0 0 0 5658 4 0 0 20 0 15 0 64596327 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381943423824 140381563874492 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=36508 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=7954033418149849191 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=796 CPUtime=1.76 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 16485 0 0 0 175 1 0 0 20 0 15 0 64596332 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=5788 CPUtime=1.39 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 9050 0 0 0 139 0 0 0 20 0 15 0 64596332 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=1712 CPUtime=0.49 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 4842 0 0 0 48 1 0 0 20 0 15 0 64596332 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=1012 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 500 0 0 0 0 1 0 0 20 0 15 0 64596337 14316269568 34797 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 60.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 140568 KiB
[startup+57.2007 s]
/proc/loadavg: 1.95 1.91 1.83 3/211 27192
/proc/meminfo: memFree=21011396/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=141236 CPUtime=60.73 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 44741 0 0 0 6064 9 0 0 20 0 15 0 64596326 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 35309 3196 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=2248 CPUtime=57.02 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 12091 0 0 0 5698 4 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381943423712 140381564295275 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=4304 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=16436 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=2884 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=4068 CPUtime=1.76 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 16485 0 0 0 175 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=1380 CPUtime=1.39 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 9050 0 0 0 139 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=9922144 CPUtime=0.49 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 4842 0 0 0 48 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=139188 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 500 0 0 0 0 1 0 0 20 0 15 0 64596337 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 60.73 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 142616 KiB
[startup+57.6007 s]
/proc/loadavg: 1.95 1.91 1.83 3/211 27192
/proc/meminfo: memFree=21011396/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=141236 CPUtime=61.13 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 44742 0 0 0 6104 9 0 0 20 0 15 0 64596326 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 35309 3196 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=796 CPUtime=57.42 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 12092 0 0 0 5738 4 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381943423712 140381564679693 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=10976 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=36508 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=1292 CPUtime=1.76 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 16485 0 0 0 175 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=2316 CPUtime=1.39 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 9050 0 0 0 139 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=1728 CPUtime=0.49 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 4842 0 0 0 48 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=139168 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=10164 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 500 0 0 0 0 1 0 0 20 0 15 0 64596337 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 61.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 142616 KiB
[startup+57.7007 s]
/proc/loadavg: 1.95 1.91 1.83 3/211 27192
/proc/meminfo: memFree=21011396/32770624 swapFree=67108860/67108860
[pid=27175] ppid=27172 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/27175/stat : 27175 (xcsp3-exec) S 27172 27175 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64596315 9740288 345 18446744073709551615 4194304 5098028 140736274056000 140736274054104 140475987821180 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 40165376 140736274059647 140736274059850 140736274059850 140736274063339 0
/proc/27175/statm: 2378 345 289 221 0 87 0
[pid=27177] ppid=27175 vsize=13980732 memory=141236 CPUtime=61.23 cores=0,2,4,6
/proc/27177/stat : 27177 (java) S 27175 27175 897 0 -1 1077944320 44742 0 0 0 6114 9 0 0 20 0 15 0 64596326 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140729253641760 140381939187447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
/proc/27177/statm: 3495183 35309 3196 1 0 3483476 0
[pid=27177/tid=27178] ppid=27175 vsize=13980732 memory=1380 CPUtime=57.52 cores=0,2,4,6
/proc/27177/task/27178/stat : 27178 (java) R 27175 27175 897 0 -1 4202560 12092 0 0 0 5748 4 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381943423712 140381564294975 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27179] ppid=27175 vsize=13980732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27179/stat : 27179 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381881134096 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27180] ppid=27175 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27180/stat : 27180 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381880081552 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27181] ppid=27175 vsize=13980732 memory=4503 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27181/stat : 27181 (java) S 27175 27175 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381537180432 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27182] ppid=27175 vsize=13980732 memory=279760882195312 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27182/stat : 27182 (java) S 27175 27175 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64596327 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381536127888 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27183] ppid=27175 vsize=13980732 memory=279760882106608 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27183/stat : 27183 (java) S 27175 27175 897 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381484947696 140381939198594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27184] ppid=27175 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27184/stat : 27184 (java) S 27175 27175 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381483893920 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27185] ppid=27175 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27185/stat : 27185 (java) S 27175 27175 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64596329 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381482840816 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27186] ppid=27175 vsize=13980732 memory=135028 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27186/stat : 27186 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381481789392 140381939206043 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27187] ppid=27175 vsize=13980732 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/27177/task/27187/stat : 27187 (java) S 27175 27175 897 0 -1 1077944384 16485 0 0 0 175 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381480737520 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27188] ppid=27175 vsize=13980732 memory=4116 CPUtime=1.39 cores=0,2,4,6
/proc/27177/task/27188/stat : 27188 (java) S 27175 27175 897 0 -1 1077944384 9050 0 0 0 139 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381479684976 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27189] ppid=27175 vsize=13980732 memory=1624 CPUtime=0.49 cores=0,2,4,6
/proc/27177/task/27189/stat : 27189 (java) S 27175 27175 897 0 -1 1077944384 4842 0 0 0 48 1 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381478631920 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27190] ppid=27175 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27177/task/27190/stat : 27190 (java) S 27175 27175 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64596332 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140381477579616 140381939197653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
[pid=27177/tid=27191] ppid=27175 vsize=13980732 memory=1380 CPUtime=0.01 cores=0,2,4,6
/proc/27177/task/27191/stat : 27191 (java) S 27175 27175 897 0 -1 1077944384 500 0 0 0 0 1 0 0 20 0 15 0 64596337 14316269568 35309 18446744073709551615 4194304 4196468 140729253659216 140380914051632 140381939198594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10526720 140729253667255 140729253667430 140729253667430 140729253670863 0
Current children cumulated CPU time: 61.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 142616 KiB
Child status: 0
Real time (s): 57.7893
CPU time (s): 61.3315
CPU user time (s): 61.2343
CPU system time (s): 0.097245
CPU usage (%): 106.13
Max. virtual memory (cumulated for all children) (KiB): 13992352
Max. memory (cumulated for all children) (KiB): 142616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.2343
system time used= 0.097245
maximum resident set size= 141308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3406
involuntary context switches= 54
# summary of solver processes directly reported to runsolver:
# pid: 27175
# total CPU time (s): 61.3315
# total CPU user time (s): 61.2343
# total CPU system time (s): 0.097245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.471471 second user time and 0.427568 second system time
The end