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 (12720 MiB free)
memory of node 1: 16384 MiB (15611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270414-1502624132/watcher-4270414-1502624132 -o /tmp/evaluation-result-4270414-1502624132/solver-4270414-1502624132 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 591830126 HOME/instance-4270414-1502624132.xml
running on 4 cores: 1,3,5,7
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
solver pid=2355, runsolver pid=2352
Current StackSize limit: 8192 KiB
[startup+0.100192 s]*
/proc/loadavg: 2.01 2.00 1.96 3/201 2357
/proc/meminfo: memFree=29012560/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=356952 memory=5472 CPUtime=0 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 1672 0 0 0 0 0 0 0 20 0 2 0 64606501 365518848 1368 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 89238 1368 1034 1 0 79208 0
[pid=2357/tid=2358] ppid=2355 vsize=13356504 memory=-6739615476349292588 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 1048 0 0 0 0 0 0 0 20 0 6 0 64606501 13677060096 2022 18446744073709551615 4194304 4196468 140730420686896 140468280559720 140468262399231 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13356504 memory=5118961333147690361 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64606502 13677060096 2022 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13356504 memory=140602183784064 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64606502 13677060096 2022 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64606502 13677060096 2022 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13356504 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64606502 13677060096 2088 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 6852 KiB
[startup+0.210078 s]*
/proc/loadavg: 2.01 2.00 1.96 3/215 2371
/proc/meminfo: memFree=28999044/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13974352 memory=26028 CPUtime=0.08 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 4915 0 0 0 7 1 0 0 20 0 15 0 64606501 14309736448 6507 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3493588 6507 2706 1 0 3482964 0
[pid=2357/tid=2358] ppid=2355 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 3086 0 0 0 6 0 0 0 20 0 15 0 64606501 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140468280543632 140467918022513 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13974352 memory=288370978335495808 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13974352 memory=140602183784064 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606503 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64606504 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64606504 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14309736448 6523 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 64606506 14309736448 7035 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 64606506 14309736448 7035 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13974352 memory=140602183784064 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 64606506 14309736448 7035 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14309736448 7035 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13974352 memory=140602183784064 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606511 14309736448 7035 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 27408 KiB
[startup+0.310492 s]*
/proc/loadavg: 2.01 2.00 1.96 3/215 2371
/proc/meminfo: memFree=28984524/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13974352 memory=37516 CPUtime=0.26 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 8482 0 0 0 24 2 0 0 20 0 15 0 64606501 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3493588 9379 2974 1 0 3482964 0
[pid=2357/tid=2358] ppid=2355 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 5745 0 0 0 15 1 0 0 20 0 15 0 64606501 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140468280545712 140468259662760 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606503 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64606504 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64606504 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 64606506 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) R 2355 2355 17093 0 -1 4202560 540 0 0 0 2 0 0 0 20 0 15 0 64606506 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468259874582 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 722 0 0 0 5 0 0 0 20 0 15 0 64606506 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606511 14309736448 9379 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38896 KiB
[startup+0.701196 s]
/proc/loadavg: 2.01 2.00 1.96 5/215 2371
/proc/meminfo: memFree=28974056/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=74340 CPUtime=1.04 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 11646 0 0 0 100 4 0 0 20 0 15 0 64606501 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 18585 3154 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=110 CPUtime=0.54 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 7986 0 0 0 51 3 0 0 20 0 15 0 64606501 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140468280553480 140467920874955 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=102 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=281204125610768 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=4188417267667265856 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64606503 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=5450916479948064554 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=-8248215640242096217 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13980732 memory=7380643790801690985 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13980732 memory=7380643790801690985 CPUtime=0.11 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 515 0 0 0 11 0 0 0 20 0 15 0 64606506 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13980732 memory=55 CPUtime=0.14 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 844 0 0 0 14 0 0 0 20 0 15 0 64606506 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13980732 memory=13954 CPUtime=0.22 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 995 0 0 0 22 0 0 0 20 0 15 0 64606506 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13980732 memory=23738 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606511 14316269568 18585 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 75720 KiB
[startup+1.50093 s]
/proc/loadavg: 2.01 2.00 1.96 3/215 2371
/proc/meminfo: memFree=28931880/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=150584 CPUtime=1.91 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 12684 0 0 0 186 5 0 0 20 0 15 0 64606501 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 37646 3160 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 8660 0 0 0 130 4 0 0 20 0 15 0 64606501 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140468280553880 140467920925955 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=8257 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=281204125339024 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=-6876588628788076935 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64606502 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=13954 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64606503 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 37646 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=281204125353408 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=1804592 CPUtime=25.41 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 46998 0 0 0 2345 196 0 0 20 0 15 0 64606501 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 451148 3225 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=1380 CPUtime=15.8 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 13367 0 0 0 1571 9 0 0 20 0 15 0 64606501 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140468280554072 140467921811888 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=1801212 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 5763 0 0 0 132 46 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=640 CPUtime=1.77 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 5716 0 0 0 133 44 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=960 CPUtime=1.76 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 6403 0 0 0 132 44 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=18 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 5711 0 0 0 133 45 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2544 0 0 0 144 0 0 0 20 0 15 0 64606503 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13980732 memory=1801212 CPUtime=0.29 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 1505 0 0 0 29 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13980732 memory=1380 CPUtime=0.3 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 1325 0 0 0 30 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13980732 memory=1359556 CPUtime=0.39 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 3202 0 0 0 38 1 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 64606511 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1805972 KiB
[startup+19.6008 s]
/proc/loadavg: 2.08 2.01 1.97 3/213 2371
/proc/meminfo: memFree=27219816/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=1804592 CPUtime=25.84 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 47021 0 0 0 2388 196 0 0 20 0 15 0 64606501 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 451148 3225 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=0 CPUtime=16.2 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 13375 0 0 0 1611 9 0 0 20 0 15 0 64606501 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140468280554072 140468276329878 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=6943526294502006880 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 5763 0 0 0 132 46 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=0 CPUtime=1.77 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 5716 0 0 0 133 44 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=0 CPUtime=1.76 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 6403 0 0 0 132 44 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 5711 0 0 0 133 45 0 0 20 0 15 0 64606502 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2544 0 0 0 144 0 0 0 20 0 15 0 64606503 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13980732 memory=1296 CPUtime=0.3 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 1505 0 0 0 30 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13980732 memory=2420 CPUtime=0.31 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 1331 0 0 0 31 0 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13980732 memory=1732 CPUtime=0.39 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) R 2355 2355 17093 0 -1 4202560 3212 0 0 0 38 1 0 0 20 0 15 0 64606506 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468268652900 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 64606511 14316269568 451148 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 25.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1805972 KiB
[startup+19.8008 s]
/proc/loadavg: 2.08 2.01 1.97 3/213 2371
/proc/meminfo: memFree=27219816/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=1804832 CPUtime=26.23 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 48101 0 0 0 2427 196 0 0 20 0 15 0 64606501 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 451208 3226 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=1228 CPUtime=16.4 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 14398 0 0 0 1631 9 0 0 20 0 15 0 64606501 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140468280554616 140467921811888 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=12200 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 5763 0 0 0 132 46 0 0 20 0 15 0 64606502 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=1992 CPUtime=1.77 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 5716 0 0 0 133 44 0 0 20 0 15 0 64606502 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=1204 CPUtime=1.76 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 6403 0 0 0 132 44 0 0 20 0 15 0 64606502 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=1000 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 5711 0 0 0 133 45 0 0 20 0 15 0 64606502 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=796 CPUtime=1.44 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2544 0 0 0 144 0 0 0 20 0 15 0 64606503 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=10960 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13980732 memory=1803872 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13980732 memory=319755793526423919 CPUtime=0.41 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 1527 0 0 0 41 0 0 0 20 0 15 0 64606506 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13980732 memory=3472609809872997517 CPUtime=0.37 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 1350 0 0 0 37 0 0 0 20 0 15 0 64606506 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13980732 memory=-2025810976467231676 CPUtime=0.41 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 3227 0 0 0 40 1 0 0 20 0 15 0 64606506 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13980732 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13980732 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 64606511 14316269568 451208 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 26.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1806212 KiB
[startup+19.9008 s]
/proc/loadavg: 2.08 2.01 1.97 3/213 2371
/proc/meminfo: memFree=27219816/32770624 swapFree=67108860/67108860
[pid=2355] ppid=2352 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2355/stat : 2355 (xcsp3-exec) S 2352 2355 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64606491 9740288 345 18446744073709551615 4194304 5098028 140720639356320 140720639354424 140442267312764 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 24047616 140720639361407 140720639361610 140720639361610 140720639365099 0
/proc/2355/statm: 2378 345 289 221 0 87 0
[pid=2357] ppid=2355 vsize=13980732 memory=1804836 CPUtime=26.34 cores=1,3,5,7
/proc/2357/stat : 2357 (java) S 2355 2355 17093 0 -1 1077944320 48103 0 0 0 2438 196 0 0 20 0 15 0 64606501 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140730420669440 140468276317943 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
/proc/2357/statm: 3495183 451209 3226 1 0 3483476 0
[pid=2357/tid=2358] ppid=2355 vsize=13980732 memory=4028 CPUtime=16.5 cores=1,3,5,7
/proc/2357/task/2358/stat : 2358 (java) R 2355 2355 17093 0 -1 4202560 14399 0 0 0 1641 9 0 0 20 0 15 0 64606501 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140468280554616 140467922261640 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2359] ppid=2355 vsize=13980732 memory=1804592 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2359/stat : 2359 (java) S 2355 2355 17093 0 -1 1077944384 5763 0 0 0 132 46 0 0 20 0 15 0 64606502 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467876391440 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2360] ppid=2355 vsize=13980732 memory=795 CPUtime=1.77 cores=1,3,5,7
/proc/2357/task/2360/stat : 2360 (java) S 2355 2355 17093 0 -1 1077944384 5716 0 0 0 133 44 0 0 20 0 15 0 64606502 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467875338896 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2361] ppid=2355 vsize=13980732 memory=140602062894992 CPUtime=1.76 cores=1,3,5,7
/proc/2357/task/2361/stat : 2361 (java) S 2355 2355 17093 0 -1 1077944384 6403 0 0 0 132 44 0 0 20 0 15 0 64606502 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467874285840 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2362] ppid=2355 vsize=13980732 memory=0 CPUtime=1.78 cores=1,3,5,7
/proc/2357/task/2362/stat : 2362 (java) S 2355 2355 17093 0 -1 1077944384 5711 0 0 0 133 45 0 0 20 0 15 0 64606502 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467873233296 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2363] ppid=2355 vsize=13980732 memory=1804668 CPUtime=1.44 cores=1,3,5,7
/proc/2357/task/2363/stat : 2363 (java) S 2355 2355 17093 0 -1 1077944384 2544 0 0 0 144 0 0 0 20 0 15 0 64606503 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467754699504 140468276329090 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2364] ppid=2355 vsize=13980732 memory=1359636 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2364/stat : 2364 (java) S 2355 2355 17093 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467753645728 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2365] ppid=2355 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2365/stat : 2365 (java) S 2355 2355 17093 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 64606504 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467752592624 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2366] ppid=2355 vsize=13980732 memory=6003393305099461988 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2366/stat : 2366 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606506 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467751541200 140468276336539 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2367] ppid=2355 vsize=13980732 memory=1040956 CPUtime=0.41 cores=1,3,5,7
/proc/2357/task/2367/stat : 2367 (java) S 2355 2355 17093 0 -1 1077944384 1527 0 0 0 41 0 0 0 20 0 15 0 64606506 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467750488304 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2368] ppid=2355 vsize=13980732 memory=771596 CPUtime=0.37 cores=1,3,5,7
/proc/2357/task/2368/stat : 2368 (java) S 2355 2355 17093 0 -1 1077944384 1350 0 0 0 37 0 0 0 20 0 15 0 64606506 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467749435760 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2369] ppid=2355 vsize=13980732 memory=1296 CPUtime=0.41 cores=1,3,5,7
/proc/2357/task/2369/stat : 2369 (java) S 2355 2355 17093 0 -1 1077944384 3228 0 0 0 40 1 0 0 20 0 15 0 64606506 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467748382704 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2370] ppid=2355 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2370/stat : 2370 (java) S 2355 2355 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64606507 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467747330400 140468276328149 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
[pid=2357/tid=2371] ppid=2355 vsize=13980732 memory=1804592 CPUtime=0 cores=1,3,5,7
/proc/2357/task/2371/stat : 2371 (java) S 2355 2355 17093 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 15 0 64606511 14316269568 451209 18446744073709551615 4194304 4196468 140730420686896 140467746278448 140468276329090 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17768448 140730420691383 140730420691558 140730420691558 140730420694991 0
Current children cumulated CPU time: 26.34 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1806216 KiB
Child status: 0
Real time (s): 19.9347
CPU time (s): 26.3801
CPU user time (s): 24.4017
CPU system time (s): 1.97848
CPU usage (%): 132.333
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 1806216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.4017
system time used= 1.97848
maximum resident set size= 1805808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48677
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= 2938
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 2355
# total CPU time (s): 26.3801
# total CPU user time (s): 24.4017
# total CPU system time (s): 1.97848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158123 second user time and 0.233948 second system time
The end