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 (14831 MiB free)
memory of node 1: 16384 MiB (15077 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281872-1503139559/watcher-4281872-1503139559 -o /tmp/evaluation-result-4281872-1503139559/solver-4281872-1503139559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8621 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 189945269 HOME/instance-4281872-1503139559.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
Current StackSize limit: 8192 KiB
solver pid=20199, runsolver pid=20196
[startup+0.100143 s]*
/proc/loadavg: 1.60 1.43 1.53 3/202 20206
/proc/meminfo: memFree=30620836/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13358712 memory=16144 CPUtime=0.01 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 3319 0 0 0 1 0 0 0 20 0 6 0 116176394 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3339678 4036 1901 1 0 3329175 0
[pid=20201/tid=20202] ppid=20199 vsize=13358712 memory=-8713483618642852700 CPUtime=0.01 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 2080 0 0 0 1 0 0 0 20 0 6 0 116176395 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140696178856528 140696174642333 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 116176395 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13358712 memory=140367816066688 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116176395 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116176395 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116176395 13679321088 4036 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB
[startup+0.21022 s]*
/proc/loadavg: 1.60 1.43 1.53 4/211 20215
/proc/meminfo: memFree=30608828/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13974352 memory=28160 CPUtime=0.09 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 4939 0 0 0 9 0 0 0 20 0 15 0 116176394 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3493588 7040 2752 1 0 3482964 0
[pid=20201/tid=20202] ppid=20199 vsize=13974352 memory=-6871798056524144002 CPUtime=0.07 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 3080 0 0 0 7 0 0 0 20 0 15 0 116176395 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140696178849648 140696174642333 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13974352 memory=140367816066688 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13974352 memory=140367816066688 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176397 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) S 20199 20199 8563 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695288130288 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) S 20199 20199 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695287077744 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13974352 memory=140367816066688 CPUtime=0.01 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) R 20199 20199 8563 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 15 0 116176400 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174641754 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13974352 memory=140367816066688 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176404 14309736448 7040 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29540 KiB
[startup+0.314774 s]*
/proc/loadavg: 1.60 1.43 1.53 3/211 20215
/proc/meminfo: memFree=30599196/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13974352 memory=40100 CPUtime=0.31 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 8657 0 0 0 29 2 0 0 20 0 15 0 116176394 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3493588 10025 3008 1 0 3482964 0
[pid=20201/tid=20202] ppid=20199 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 5839 0 0 0 17 1 0 0 20 0 15 0 116176395 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140696178838496 140695763713728 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13974352 memory=140367816077281 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13974352 memory=7881952820434986350 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176397 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) R 20199 20199 8563 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 116176400 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695288130288 140696174631554 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) S 20199 20199 8563 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 15 0 116176400 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695287077744 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) R 20199 20199 8563 0 -1 4202560 734 0 0 0 6 0 0 0 20 0 15 0 116176400 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696155392433 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176404 14309736448 10025 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41480 KiB
[startup+0.701207 s]
/proc/loadavg: 1.60 1.43 1.53 5/211 20215
/proc/meminfo: memFree=30587068/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=61848 CPUtime=1.27 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 13106 0 0 0 124 3 0 0 20 0 15 0 116176394 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 15462 3176 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=7886766292050720565 CPUtime=0.55 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 7931 0 0 0 53 2 0 0 20 0 15 0 116176395 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140696178856192 140695766406961 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=6003668156883685970 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13980732 memory=30305 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) R 20199 20199 8563 0 -1 4202560 1665 0 0 0 23 0 0 0 20 0 15 0 116176400 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695288116400 140696160646031 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13980732 memory=-2893623298589923098 CPUtime=0.23 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) R 20199 20199 8563 0 -1 4202560 1011 0 0 0 23 0 0 0 20 0 15 0 116176400 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695287063208 140696158208891 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) S 20199 20199 8563 0 -1 1077944384 1193 0 0 0 23 0 0 0 20 0 15 0 116176400 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176404 14316269568 15462 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63228 KiB
[startup+1.50081 s]
/proc/loadavg: 1.60 1.43 1.53 5/211 20215
/proc/meminfo: memFree=30532192/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=119548 CPUtime=3.69 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 37777 0 0 0 363 6 0 0 20 0 15 0 116176394 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 29887 3183 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 8074 0 0 0 133 3 0 0 20 0 15 0 116176395 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140696178851664 140695766650460 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=5793995688168418096 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=6948054126385456416 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=4116 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=140367718760576 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 29887 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=121836 CPUtime=3.99 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 37917 0 0 0 393 6 0 0 20 0 15 0 116176394 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 30459 3183 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=-8774313645642428999 CPUtime=1.46 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 8075 0 0 0 143 3 0 0 20 0 15 0 116176395 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140696178851664 140695767135931 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=12961 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=4265471840830369824 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=7956545956972156778 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=7238798801035015221 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=13828 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=280735437033232 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13980732 memory=6943526294502006880 CPUtime=1.12 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) R 20199 20199 8563 0 -1 4202560 10758 0 0 0 111 1 0 0 20 0 15 0 116176400 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695288121552 140696158177176 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13980732 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) R 20199 20199 8563 0 -1 4202560 16158 0 0 0 112 1 0 0 20 0 15 0 116176400 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695287067456 140696156140082 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13980732 memory=-8774313645642428999 CPUtime=0.26 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) S 20199 20199 8563 0 -1 1077944384 1606 0 0 0 26 0 0 0 20 0 15 0 116176400 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13980732 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13980732 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176404 14316269568 30459 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 123216 KiB
[startup+2.40066 s]
/proc/loadavg: 1.60 1.43 1.53 4/211 20215
/proc/meminfo: memFree=30502660/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=155432 CPUtime=5.51 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 39274 0 0 0 544 7 0 0 20 0 15 0 116176394 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 38858 3196 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=280735437302384 CPUtime=2.25 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 8549 0 0 0 222 3 0 0 20 0 15 0 116176395 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140696178857520 140695767656604 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=280735437302448 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=280735437302512 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=128500 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=1400504754925836930 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=3054156605268465310 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13980732 memory=4715433313220523562 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13980732 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) R 20199 20199 8563 0 -1 4202560 11020 0 0 0 147 1 0 0 20 0 15 0 116176400 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695288130288 140696158120720 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13980732 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) R 20199 20199 8563 0 -1 4202560 16440 0 0 0 145 1 0 0 20 0 15 0 116176400 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695287077744 140696153866255 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13980732 memory=280735437087328 CPUtime=0.28 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) S 20199 20199 8563 0 -1 1077944384 1849 0 0 0 28 0 0 0 20 0 15 0 116176400 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 116176404 14316269568 38858 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 156812 KiB
[startup+2.6008 s]
/proc/loadavg: 1.60 1.43 1.53 4/211 20215
/proc/meminfo: memFree=30502660/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=171584 CPUtime=6.01 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 40246 0 0 0 594 7 0 0 20 0 15 0 116176394 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 42896 3196 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=117284 CPUtime=2.45 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 8566 0 0 0 242 3 0 0 20 0 15 0 116176395 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140696178857520 140695767100280 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=1399096207214678387 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=-7595754389018297760 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=-6876588628788210059 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=3473595594645579296 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13980732 memory=7234558260775710057 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13980732 memory=7451880027859275876 CPUtime=1.68 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) R 20199 20199 8563 0 -1 4202560 11928 0 0 0 167 1 0 0 20 0 15 0 116176400 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695288130288 140696156164641 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13980732 memory=14430348820 CPUtime=1.57 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) S 20199 20199 8563 0 -1 1077944384 16479 0 0 0 156 1 0 0 20 0 15 0 116176400 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695287077744 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13980732 memory=280735437682880 CPUtime=0.28 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) S 20199 20199 8563 0 -1 1077944384 1857 0 0 0 28 0 0 0 20 0 15 0 116176400 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13980732 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 116176404 14316269568 42896 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 172964 KiB
[startup+2.70077 s]
/proc/loadavg: 1.60 1.43 1.53 4/211 20215
/proc/meminfo: memFree=30502660/32770624 swapFree=67108860/67108860
[pid=20199] ppid=20196 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20199/stat : 20199 (xcsp3-exec) S 20196 20199 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116176386 9740288 345 18446744073709551615 4194304 5098028 140731681758608 140731681756712 140057113801340 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 8 0 0 7196144 7232144 8200192 140731681763705 140731681763909 140731681763909 140731681767403 0
/proc/20199/statm: 2378 345 289 221 0 87 0
[pid=20201] ppid=20199 vsize=13980732 memory=179876 CPUtime=6.21 cores=0,2,4,6
/proc/20201/stat : 20201 (java) S 20199 20199 8563 0 -1 1077944320 40314 0 0 0 614 7 0 0 20 0 15 0 116176394 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140732005067312 140696174620407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
/proc/20201/statm: 3495183 44969 3196 1 0 3483476 0
[pid=20201/tid=20202] ppid=20199 vsize=13980732 memory=6946355368052419154 CPUtime=2.55 cores=0,2,4,6
/proc/20201/task/20202/stat : 20202 (java) R 20199 20199 8563 0 -1 4202560 8574 0 0 0 252 3 0 0 20 0 15 0 116176395 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140696178857520 140695767510207 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20203] ppid=20199 vsize=13980732 memory=7740118105206444135 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20203/stat : 20203 (java) S 20199 20199 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140696094034960 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20204] ppid=20199 vsize=13980732 memory=7596561451889746022 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20204/stat : 20204 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140696092982416 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20205] ppid=20199 vsize=13980732 memory=7596561451889746022 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20205/stat : 20205 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140696091929360 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20206] ppid=20199 vsize=13980732 memory=7596561451889746022 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20206/stat : 20206 (java) S 20199 20199 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116176395 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140696090876816 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20207] ppid=20199 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20207/stat : 20207 (java) S 20199 20199 8563 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695292340464 140696174631554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20208] ppid=20199 vsize=13980732 memory=149100 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20208/stat : 20208 (java) S 20199 20199 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116176397 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695291286688 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20209] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20209/stat : 20209 (java) S 20199 20199 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116176398 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695290233584 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20210] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20210/stat : 20210 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695289182160 140696174639003 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20211] ppid=20199 vsize=13980732 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/20201/task/20211/stat : 20211 (java) S 20199 20199 8563 0 -1 1077944384 11988 0 0 0 177 1 0 0 20 0 15 0 116176400 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695288130288 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20212] ppid=20199 vsize=13980732 memory=-8774313645642428999 CPUtime=1.57 cores=0,2,4,6
/proc/20201/task/20212/stat : 20212 (java) S 20199 20199 8563 0 -1 1077944384 16479 0 0 0 156 1 0 0 20 0 15 0 116176400 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695287077744 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20213] ppid=20199 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/20201/task/20213/stat : 20213 (java) S 20199 20199 8563 0 -1 1077944384 1857 0 0 0 28 0 0 0 20 0 15 0 116176400 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695286024688 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20214] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20214/stat : 20214 (java) S 20199 20199 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116176400 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695284972384 140696174630613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
[pid=20201/tid=20215] ppid=20199 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20201/task/20215/stat : 20215 (java) S 20199 20199 8563 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 116176404 14316269568 44969 18446744073709551615 4194304 4196468 140732005084768 140695283919408 140696174631554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29040640 140732005085617 140732005085793 140732005085793 140732005089231 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 181256 KiB
Child status: 0
Real time (s): 2.76148
CPU time (s): 6.28915
CPU user time (s): 6.20425
CPU system time (s): 0.084903
CPU usage (%): 227.745
Max. virtual memory (cumulated for all children) (KiB): 13995296
Max. memory (cumulated for all children) (KiB): 181256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.20425
system time used= 0.084903
maximum resident set size= 186544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1515
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 20199
# total CPU time (s): 6.28915
# total CPU user time (s): 6.20425
# total CPU system time (s): 0.084903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044264 second user time and 0.062372 second system time
The end