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 (11108 MiB free)
memory of node 1: 16384 MiB (15374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400524-1568697191/watcher-4400524-1568697191 -o /tmp/evaluation-result-4400524-1568697191/solver-4400524-1568697191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 964674044 HOME/instance-4400524-1568697191.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5715, runsolver pid=5712
[startup+0.100061 s]*
/proc/loadavg: 8.56 8.63 8.23 8/234 5731
/proc/meminfo: memFree=27100300/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15144776 memory=30320 CPUtime=0.13 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 5476 0 0 0 12 1 0 0 20 0 15 0 445987966 15508250624 7580 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3786194 7580 3141 1 0 3748377 0
[pid=5717/tid=5718] ppid=5715 vsize=15144776 memory=576460756329985062 CPUtime=0.08 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) R 5715 5715 30406 0 -1 4202560 3400 0 0 0 8 0 0 0 20 0 15 0 445987966 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412859731856 140412492647434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15144776 memory=1972144 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445987968 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445987968 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412322776736 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445987969 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412321723632 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) R 5715 5715 30406 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15144776 memory=140647084652160 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) R 5715 5715 30406 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 445987971 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412317509472 140412855521882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987972 15508250624 7580 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31768 KiB
[startup+0.211612 s]*
/proc/loadavg: 8.56 8.63 8.23 7/234 5731
/proc/meminfo: memFree=27087680/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15144776 memory=41588 CPUtime=0.35 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 9038 0 0 0 32 3 0 0 20 0 15 0 445987966 15508250624 10397 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3786194 10397 3321 1 0 3748377 0
[pid=5717/tid=5718] ppid=5715 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) R 5715 5715 30406 0 -1 4202560 6218 0 0 0 18 2 0 0 20 0 15 0 445987966 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412859735520 140412855512470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15144776 memory=4050907729949685408 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445987967 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15144776 memory=140647084652160 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445987968 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445987968 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412322776736 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445987969 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412321723632 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 445987971 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 445987971 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15144776 memory=140647084652160 CPUtime=0.08 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 445987971 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987972 15508250624 10397 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43036 KiB
[startup+0.310605 s]*
/proc/loadavg: 8.56 8.63 8.23 8/234 5731
/proc/meminfo: memFree=27080768/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15149032 memory=50332 CPUtime=0.52 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 10385 0 0 0 49 3 0 0 20 0 15 0 445987966 15512608768 12583 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3787258 12583 3360 1 0 3748377 0
[pid=5717/tid=5718] ppid=5715 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) R 5715 5715 30406 0 -1 4202560 7386 0 0 0 27 3 0 0 20 0 15 0 445987966 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412859737360 140412839581022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445987967 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445987968 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445987968 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412322776736 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445987969 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412321723632 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15149032 memory=6944652177228980320 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 15 0 445987971 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15149032 memory=-6654736624941491801 CPUtime=0.04 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 15 0 445987971 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15149032 memory=5793149093575367841 CPUtime=0.12 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 445987971 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987972 15512608768 12589 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51780 KiB
[startup+0.70082 s]
/proc/loadavg: 8.56 8.63 8.23 9/234 5731
/proc/meminfo: memFree=27068848/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15151156 memory=83024 CPUtime=1.56 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 14399 0 0 0 150 6 0 0 20 0 15 0 445987966 15514783744 20756 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3787789 20756 3454 1 0 3748889 0
[pid=5717/tid=5718] ppid=5715 vsize=15151156 memory=4137303382726774134 CPUtime=0.68 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) R 5715 5715 30406 0 -1 4202560 8830 0 0 0 64 4 0 0 20 0 15 0 445987966 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412859731152 140412855514417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15151156 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987967 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15151156 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445987967 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445987968 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445987968 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412322776736 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15151156 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445987969 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412321723632 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15151156 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15151156 memory=2828 CPUtime=0.24 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 1263 0 0 0 24 0 0 0 20 0 15 0 445987971 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15151156 memory=780 CPUtime=0.21 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) R 5715 5715 30406 0 -1 4202560 908 0 0 0 20 1 0 0 20 0 15 0 445987971 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412318552400 140412841196328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15151156 memory=620 CPUtime=0.41 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 2092 0 0 0 41 0 0 0 20 0 15 0 445987971 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15151156 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15151156 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445987972 15514783744 20756 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84472 KiB
[startup+1.50099 s]
/proc/loadavg: 8.56 8.63 8.23 11/238 5735
/proc/meminfo: memFree=26986900/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 8865 0 0 0 251 0 0 0 20 0 19 0 445987971 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15420488 memory=8112282956445269571 CPUtime=2.81 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 7126 0 0 0 280 1 0 0 20 0 19 0 445987971 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15420488 memory=2828 CPUtime=0.95 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 6692 0 0 0 95 0 0 0 20 0 19 0 445987971 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15420488 memory=780 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445987971 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15420488 memory=620 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 810 0 0 0 0 0 0 0 20 0 19 0 445987972 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5752] ppid=5715 vsize=15420488 memory=1496 CPUtime=42 cores=1,3,5,7
/proc/5717/task/5752/stat : 5752 (java) R 5715 5715 30406 0 -1 4202560 564 0 0 0 4200 0 0 0 20 0 19 0 445988214 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412303276904 140412499212779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5753] ppid=5715 vsize=15420488 memory=1016 CPUtime=42.11 cores=1,3,5,7
/proc/5717/task/5753/stat : 5753 (java) R 5715 5715 30406 0 -1 4202560 1538 0 0 0 4211 0 0 0 20 0 19 0 445988214 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412304330456 140412501123836 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5754] ppid=5715 vsize=15420488 memory=8112282956445269571 CPUtime=42.17 cores=1,3,5,7
/proc/5717/task/5754/stat : 5754 (java) R 5715 5715 30406 0 -1 4202560 1403 0 0 0 4217 0 0 0 20 0 19 0 445988214 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412301174640 140412500514913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5755] ppid=5715 vsize=15420488 memory=6016 CPUtime=42.39 cores=1,3,5,7
/proc/5717/task/5755/stat : 5755 (java) R 5715 5715 30406 0 -1 4202560 750 0 0 0 4238 1 0 0 20 0 19 0 445988214 15790579712 56668 33554432000 4194304 4196468 140725450000016 140412300120176 140412501578571 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 179.99 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228120 KiB
[startup+46.402 s]
/proc/loadavg: 8.96 8.73 8.28 10/238 5757
/proc/meminfo: memFree=26902324/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15420488 memory=226700 CPUtime=183.18 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 45606 0 0 0 18300 18 0 0 20 0 19 0 445987966 15790579712 56675 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3855122 56675 3536 1 0 3816222 0
[pid=5717/tid=5718] ppid=5715 vsize=15420488 memory=8112282956445269571 CPUtime=0.93 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) S 5715 5715 30406 0 -1 1077944384 8999 0 0 0 89 4 0 0 20 0 19 0 445987966 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412859741312 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15420488 memory=233836 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1663 0 0 0 3 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15420488 memory=3624 CPUtime=0.04 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 871 0 0 0 3 1 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15420488 memory=48024 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 738 0 0 0 3 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15420488 memory=988 CPUtime=0.06 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 1687 0 0 0 4 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15420488 memory=2024 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 1042 0 0 0 2 0 0 0 20 0 19 0 445987968 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15420488 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445987968 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412322776800 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15420488 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445987969 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412321723648 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15420488 memory=226672 CPUtime=2.52 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 9019 0 0 0 252 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15420488 memory=0 CPUtime=2.84 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 7912 0 0 0 283 1 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15420488 memory=0 CPUtime=0.95 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 6692 0 0 0 95 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15420488 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15420488 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 811 0 0 0 0 0 0 0 20 0 19 0 445987972 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5752] ppid=5715 vsize=15420488 memory=2116 CPUtime=42.8 cores=1,3,5,7
/proc/5717/task/5752/stat : 5752 (java) R 5715 5715 30406 0 -1 4202560 564 0 0 0 4280 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412303276904 140412500608476 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5753] ppid=5715 vsize=15420488 memory=26052 CPUtime=42.91 cores=1,3,5,7
/proc/5717/task/5753/stat : 5753 (java) R 5715 5715 30406 0 -1 4202560 1538 0 0 0 4291 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412304330520 140412501578106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5754] ppid=5715 vsize=15420488 memory=14068 CPUtime=42.94 cores=1,3,5,7
/proc/5717/task/5754/stat : 5754 (java) R 5715 5715 30406 0 -1 4202560 1403 0 0 0 4294 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412301174640 140412497435732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5755] ppid=5715 vsize=15420488 memory=524 CPUtime=43.18 cores=1,3,5,7
/proc/5717/task/5755/stat : 5755 (java) R 5715 5715 30406 0 -1 4202560 750 0 0 0 4317 1 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412300119552 140412499693148 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 183.18 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228148 KiB
[startup+46.81 s]
/proc/loadavg: 8.96 8.73 8.28 10/238 5757
/proc/meminfo: memFree=26902324/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15420488 memory=226700 CPUtime=184.81 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 45606 0 0 0 18463 18 0 0 20 0 19 0 445987966 15790579712 56675 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3855122 56675 3536 1 0 3816222 0
[pid=5717/tid=5718] ppid=5715 vsize=15420488 memory=8112282956445269571 CPUtime=0.93 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) S 5715 5715 30406 0 -1 1077944384 8999 0 0 0 89 4 0 0 20 0 19 0 445987966 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412859741312 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15420488 memory=226700 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1663 0 0 0 3 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15420488 memory=-7522837415797432224 CPUtime=0.04 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 871 0 0 0 3 1 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15420488 memory=-7965959130280075168 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 738 0 0 0 3 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15420488 memory=-7966001967374371424 CPUtime=0.06 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 1687 0 0 0 4 2 0 0 20 0 19 0 445987967 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15420488 memory=-7233780906022716832 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 1042 0 0 0 2 0 0 0 20 0 19 0 445987968 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15420488 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445987968 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412322776800 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15420488 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445987969 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412321723648 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15420488 memory=916 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15420488 memory=3848 CPUtime=2.52 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 9019 0 0 0 252 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15420488 memory=2604 CPUtime=2.84 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 7912 0 0 0 283 1 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15420488 memory=2692 CPUtime=0.95 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) S 5715 5715 30406 0 -1 1077944384 6692 0 0 0 95 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412317513712 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15420488 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445987971 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15420488 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 811 0 0 0 0 0 0 0 20 0 19 0 445987972 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5752] ppid=5715 vsize=15420488 memory=226700 CPUtime=43.21 cores=1,3,5,7
/proc/5717/task/5752/stat : 5752 (java) R 5715 5715 30406 0 -1 4202560 564 0 0 0 4321 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412303276904 140412501687507 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5753] ppid=5715 vsize=15420488 memory=620 CPUtime=43.32 cores=1,3,5,7
/proc/5717/task/5753/stat : 5753 (java) R 5715 5715 30406 0 -1 4202560 1538 0 0 0 4332 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412304330520 140412499214322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5754] ppid=5715 vsize=15420488 memory=1496 CPUtime=43.35 cores=1,3,5,7
/proc/5717/task/5754/stat : 5754 (java) R 5715 5715 30406 0 -1 4202560 1403 0 0 0 4335 0 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412301174640 140412499691203 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5755] ppid=5715 vsize=15420488 memory=1016 CPUtime=43.58 cores=1,3,5,7
/proc/5717/task/5755/stat : 5755 (java) R 5715 5715 30406 0 -1 4202560 750 0 0 0 4357 1 0 0 20 0 19 0 445988214 15790579712 56675 33554432000 4194304 4196468 140725450000016 140412300119552 140412499693516 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 184.81 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228148 KiB
[startup+46.9007 s]
/proc/loadavg: 8.96 8.73 8.28 10/238 5757
/proc/meminfo: memFree=26902324/32770624 swapFree=66953076/67108860
[pid=5715] ppid=5712 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5715/stat : 5715 (xcsp3-exec) S 5712 5715 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445987965 115843072 362 33554432000 4194304 5098028 140732398489552 140732398487656 139641362567804 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20107264 140732398494587 140732398494829 140732398494829 140732398497738 0
/proc/5715/statm: 28282 362 304 221 0 87 0
[pid=5717] ppid=5715 vsize=15420488 memory=226432 CPUtime=185.17 cores=1,3,5,7
/proc/5717/stat : 5717 (java) S 5715 5715 30406 0 -1 1077944320 45703 0 0 0 18499 18 0 0 20 0 15 0 445987966 15790579712 56608 33554432000 4194304 4196468 140725450000016 140725449982560 140412855500535 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
/proc/5717/statm: 3855122 56608 3536 1 0 3816222 0
[pid=5717/tid=5718] ppid=5715 vsize=15420488 memory=1448 CPUtime=0.93 cores=1,3,5,7
/proc/5717/task/5718/stat : 5718 (java) R 5715 5715 30406 0 -1 4202560 9072 0 0 0 89 4 0 0 20 0 15 0 445987966 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412859741464 140412496418422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5719] ppid=5715 vsize=15420488 memory=226700 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5719/stat : 5719 (java) S 5715 5715 30406 0 -1 1077944384 1663 0 0 0 3 2 0 0 20 0 15 0 445987967 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412447595024 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5720] ppid=5715 vsize=15420488 memory=281293918601632 CPUtime=0.04 cores=1,3,5,7
/proc/5717/task/5720/stat : 5720 (java) S 5715 5715 30406 0 -1 1077944384 871 0 0 0 3 1 0 0 20 0 15 0 445987967 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412446542480 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5721] ppid=5715 vsize=15420488 memory=6944656592387989600 CPUtime=0.05 cores=1,3,5,7
/proc/5717/task/5721/stat : 5721 (java) S 5715 5715 30406 0 -1 1077944384 738 0 0 0 3 2 0 0 20 0 15 0 445987967 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412445489424 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5722] ppid=5715 vsize=15420488 memory=3624 CPUtime=0.06 cores=1,3,5,7
/proc/5717/task/5722/stat : 5722 (java) S 5715 5715 30406 0 -1 1077944384 1687 0 0 0 4 2 0 0 20 0 15 0 445987967 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412444436880 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5723] ppid=5715 vsize=15420488 memory=48024 CPUtime=0.02 cores=1,3,5,7
/proc/5717/task/5723/stat : 5723 (java) S 5715 5715 30406 0 -1 1077944384 1042 0 0 0 2 0 0 0 20 0 15 0 445987968 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412323830512 140412855511682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5724] ppid=5715 vsize=15420488 memory=164 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5724/stat : 5724 (java) S 5715 5715 30406 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 445987968 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412322776800 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5725] ppid=5715 vsize=15420488 memory=7019467088023664437 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5725/stat : 5725 (java) S 5715 5715 30406 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 445987969 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412321723648 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5726] ppid=5715 vsize=15420488 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5726/stat : 5726 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412320672208 140412855519131 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5727] ppid=5715 vsize=15420488 memory=111632 CPUtime=2.52 cores=1,3,5,7
/proc/5717/task/5727/stat : 5727 (java) S 5715 5715 30406 0 -1 1077944384 9019 0 0 0 252 0 0 0 20 0 15 0 445987971 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412319619312 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5728] ppid=5715 vsize=15420488 memory=226672 CPUtime=2.84 cores=1,3,5,7
/proc/5717/task/5728/stat : 5728 (java) S 5715 5715 30406 0 -1 1077944384 7912 0 0 0 283 1 0 0 20 0 15 0 445987971 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412318566768 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5729] ppid=5715 vsize=15420488 memory=3624 CPUtime=0.95 cores=1,3,5,7
/proc/5717/task/5729/stat : 5729 (java) R 5715 5715 30406 0 -1 4202560 6722 0 0 0 95 0 0 0 20 0 15 0 445987971 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412317513712 140412835829239 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5730] ppid=5715 vsize=15420488 memory=56 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5730/stat : 5730 (java) S 5715 5715 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445987971 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412316461408 140412855510741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
[pid=5717/tid=5731] ppid=5715 vsize=15420488 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/5717/task/5731/stat : 5731 (java) S 5715 5715 30406 0 -1 1077944384 811 0 0 0 0 0 0 0 20 0 15 0 445987972 15790579712 56608 33554432000 4194304 4196468 140725450000016 140412315409456 140412855511682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 31637504 140725450007535 140725450007706 140725450007706 140725450010575 0
Current children cumulated CPU time: 185.17 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 227880 KiB
Child status: 0
Real time (s): 46.9069
CPU time (s): 185.19
CPU user time (s): 184.996
CPU system time (s): 0.193818
CPU usage (%): 394.803
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 242824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 184.996
system time used= 0.193818
maximum resident set size= 244532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46577
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= 4460
involuntary context switches= 3359
# summary of solver processes directly reported to runsolver:
# pid: 5715
# total CPU time (s): 185.19
# total CPU user time (s): 184.996
# total CPU system time (s): 0.193818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.261391 second user time and 0.617396 second system time
The end