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 (3918 MiB free)
memory of node 1: 16384 MiB (2861 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403364-1568989010/watcher-4403364-1568989010 -o /var/tmp/evaluation-result-4403364-1568989010/solver-4403364-1568989010 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2143204469 HOME/instance-4403364-1568989010.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3079, runsolver pid=3076
[startup+0.100083 s]*
/proc/loadavg: 8.11 8.35 7.47 7/232 3095
/proc/meminfo: memFree=6926408/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15144776 memory=28584 CPUtime=0.12 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 5621 0 0 0 11 1 0 0 20 0 15 0 475156618 15508250624 7146 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3786194 7146 3118 1 0 3748377 0
[pid=3081/tid=3082] ppid=3079 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 1883 0 -1 4202560 3574 0 0 0 8 1 0 0 20 0 15 0 475156619 15508250624 7278 33554432000 4194304 4196468 140726907647168 139971133388896 139971129176666 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 7278 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 7278 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970596693152 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970595640048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) R 3079 3079 1883 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970593536752 139971129166466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) R 3079 3079 1883 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970592484208 139971106988176 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0.02 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 7278 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30036 KiB
[startup+0.211062 s]*
/proc/loadavg: 8.11 8.35 7.47 7/232 3095
/proc/meminfo: memFree=6913416/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15144776 memory=41040 CPUtime=0.34 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 9453 0 0 0 32 2 0 0 20 0 15 0 475156618 15508250624 10260 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3786194 10260 3318 1 0 3748377 0
[pid=3081/tid=3082] ppid=3079 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 1883 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 475156619 15508250624 10260 33554432000 4194304 4196468 140726907647168 139971133392080 139971113235806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 10260 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15144776 memory=140106541019992 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 10260 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970596693152 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156621 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970595640048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 1883 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970593536752 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 1883 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970592484208 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15144776 memory=140106541000320 CPUtime=0.08 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156624 15508250624 10260 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42492 KiB
[startup+0.311962 s]*
/proc/loadavg: 8.11 8.35 7.47 7/232 3095
/proc/meminfo: memFree=6905528/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15149032 memory=49696 CPUtime=0.53 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 10814 0 0 0 49 4 0 0 20 0 15 0 475156618 15512608768 12424 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3787258 12424 3366 1 0 3748377 0
[pid=3081/tid=3082] ppid=3079 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 1883 0 -1 4202560 7782 0 0 0 27 3 0 0 20 0 15 0 475156619 15512608768 12494 33554432000 4194304 4196468 140726907647168 139971133386432 139971113235806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15512608768 12494 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15512608768 12494 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156619 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156619 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475156621 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156621 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970596693152 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156621 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970595640048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) R 3079 3079 1883 0 -1 4202560 450 0 0 0 5 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970593536752 139971108842111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 1883 0 -1 1077944384 469 0 0 0 3 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970592484208 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156624 15512608768 12494 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51148 KiB
[startup+0.701702 s]
/proc/loadavg: 8.11 8.35 7.47 9/232 3095
/proc/meminfo: memFree=6872188/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15151156 memory=188856 CPUtime=1.58 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 13382 0 0 0 151 7 0 0 20 0 15 0 475156618 15514783744 47214 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3787789 47214 3460 1 0 3748889 0
[pid=3081/tid=3082] ppid=3079 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) R 3079 3079 1883 0 -1 4202560 8315 0 0 0 62 5 0 0 20 0 15 0 475156619 15514783744 47214 33554432000 4194304 4196468 140726907647168 139971133392296 139970722427381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15151156 memory=164 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 475156619 15514783744 47214 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 475156619 15514783744 47214 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 475156619 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 475156619 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15151156 memory=40200 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475156621 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 475156621 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970596693152 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475156621 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970595640048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15151156 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15151156 memory=1044 CPUtime=0.31 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 1883 0 -1 1077944384 1130 0 0 0 31 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970593536752 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15151156 memory=708 CPUtime=0.28 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 1883 0 -1 1077944384 1225 0 0 0 28 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970592484208 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15151156 memory=9364 CPUtime=0.26 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 1280 0 0 0 26 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156624 15514783744 47214 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 190308 KiB
[startup+1.50078 s]
/proc/loadavg: 8.11 8.35 7.47 7/232 3095
/proc/meminfo: memFree=6739136/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 166575 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3096] ppid=3079 vsize=15417412 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/3081/task/3096/stat : 3096 (java) R 3079 3079 1883 0 -1 4202560 45 0 0 0 74 0 0 0 20 0 19 0 475156820 15787429888 166575 33554432000 4194304 4196468 140726907647168 139970580107504 139970724986443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3097] ppid=3079 vsize=15417412 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/3081/task/3097/stat : 3097 (java) R 3079 3079 1883 0 -1 4202560 66 0 0 0 73 0 0 0 20 0 19 0 475156820 15787429888 166575 33554432000 4194304 4196468 140726907647168 139970579055976 139970724742586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3098] ppid=3079 vsize=15417412 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/3081/task/3098/stat : 3098 (java) R 3079 3079 1883 0 -1 4202560 78 0 0 0 98 0 0 0 20 0 19 0 475156820 15787429888 166575 33554432000 4194304 4196468 140726907647168 139970578002328 139970724742515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3099] ppid=3079 vsize=15417412 memory=0 CPUtime=0.97 cores=0,2,4,6
/proc/3081/task/3099/stat : 3099 (java) R 3079 3079 1883 0 -1 4202560 53 0 0 0 97 0 0 0 20 0 19 0 475156820 15787429888 166575 33554432000 4194304 4196468 140726907647168 139970576951000 139970724815788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 667752 KiB
[startup+4.0047 s]*
/proc/loadavg: 8.26 8.37 7.48 11/236 3099
/proc/meminfo: memFree=6281824/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15417412 memory=673172 CPUtime=11.77 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 20390 0 0 0 1145 32 0 0 20 0 19 0 475156618 15787429888 168293 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3854353 168293 3517 1 0 3815453 0
[pid=3081/tid=3082] ppid=3079 vsize=15417412 memory=7516623670868469098 CPUtime=1.86 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) S 3079 3079 1883 0 -1 1077944384 9229 0 0 0 176 10 0 0 20 0 19 0 475156619 15787429888 168293 33554432000 4194304 4196468 140726907647168 139971133396096 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15417412 memory=2321663019697059896 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 102 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168293 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15417412 memory=2320957571597376695 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 232 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168293 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15417412 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 115 0 0 0 8 3 0 0 20 0 19 0 475156619 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15417412 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 109 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970596693216 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15417412 memory=7165349522873801069 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970595640064 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15417412 memory=8172452704366059858 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15417412 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) R 3079 3079 1883 0 -1 4202560 3645 0 0 0 131 0 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970593529240 139971121872282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15417412 memory=3474019362442196511 CPUtime=1.42 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) D 3079 3079 1883 0 -1 4202560 2744 0 0 0 141 1 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970592465224 139971121392446 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15417412 memory=3472752081147895216 CPUtime=0.59 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 2153 0 0 0 59 0 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15417412 memory=4122537721517584671 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15417412 memory=140106541000320 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3096] ppid=3079 vsize=15417412 memory=140106396598391 CPUtime=1.31 cores=0,2,4,6
/proc/3081/task/3096/stat : 3096 (java) R 3079 3079 1883 0 -1 4202560 47 0 0 0 131 0 0 0 20 0 19 0 475156820 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970580105216 139970725879454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3097] ppid=3079 vsize=15417412 memory=2319529305707415217 CPUtime=1.52 cores=0,2,4,6
/proc/3081/task/3097/stat : 3097 (java) R 3079 3079 1883 0 -1 4202560 74 0 0 0 152 0 0 0 20 0 19 0 475156820 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970579054344 139970725879405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3098] ppid=3079 vsize=15417412 memory=-1 CPUtime=1.64 cores=0,2,4,6
/proc/3081/task/3098/stat : 3098 (java) R 3079 3079 1883 0 -1 4202560 82 0 0 0 162 2 0 0 20 0 19 0 475156820 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970578001752 139970725879422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3099] ppid=3079 vsize=15417412 memory=3580 CPUtime=1.55 cores=0,2,4,6
/proc/3081/task/3099/stat : 3099 (java) R 3079 3079 1883 0 -1 4202560 59 0 0 0 155 0 0 0 20 0 19 0 475156820 15787429888 168293 33554432000 4194304 4196468 140726907647168 139970576949872 139970725764907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 11.77 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 674624 KiB
[startup+4.8017 s]
/proc/loadavg: 8.26 8.37 7.48 11/236 3099
/proc/meminfo: memFree=6281824/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15417412 memory=677012 CPUtime=14.92 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 26657 0 0 0 1459 33 0 0 20 0 19 0 475156618 15787429888 169253 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3854353 169253 3517 1 0 3815453 0
[pid=3081/tid=3082] ppid=3079 vsize=15417412 memory=1399094042734925955 CPUtime=1.86 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) S 3079 3079 1883 0 -1 1077944384 9229 0 0 0 176 10 0 0 20 0 19 0 475156619 15787429888 169253 33554432000 4194304 4196468 140726907647168 139971133396096 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15417412 memory=7881696724453321575 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 102 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 169253 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15417412 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 232 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 169253 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15417412 memory=988 CPUtime=0.11 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 115 0 0 0 8 3 0 0 20 0 19 0 475156619 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15417412 memory=2016 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 109 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15417412 memory=1284 CPUtime=0.01 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 19 0 475156621 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15417412 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970596693216 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15417412 memory=708 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970595640064 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15417412 memory=655656 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15417412 memory=1164 CPUtime=1.5 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 1883 0 -1 1077944384 5603 0 0 0 150 0 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970593536752 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15417412 memory=8317482817917895235 CPUtime=1.56 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 1883 0 -1 1077944384 5641 0 0 0 155 1 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970592484208 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15417412 memory=4126316290023845779 CPUtime=0.6 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 2704 0 0 0 60 0 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15417412 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3096] ppid=3079 vsize=15417412 memory=0 CPUtime=1.94 cores=0,2,4,6
/proc/3081/task/3096/stat : 3096 (java) R 3079 3079 1883 0 -1 4202560 264 0 0 0 194 0 0 0 20 0 19 0 475156820 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970580106872 139970725765256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3097] ppid=3079 vsize=15417412 memory=0 CPUtime=2.25 cores=0,2,4,6
/proc/3081/task/3097/stat : 3097 (java) R 3079 3079 1883 0 -1 4202560 198 0 0 0 225 0 0 0 20 0 19 0 475156820 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970579055032 139970725765429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3098] ppid=3079 vsize=15417412 memory=0 CPUtime=2.39 cores=0,2,4,6
/proc/3081/task/3098/stat : 3098 (java) R 3079 3079 1883 0 -1 4202560 142 0 0 0 237 2 0 0 20 0 19 0 475156820 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970578004040 139970725943281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3099] ppid=3079 vsize=15417412 memory=1452 CPUtime=2.24 cores=0,2,4,6
/proc/3081/task/3099/stat : 3099 (java) R 3079 3079 1883 0 -1 4202560 183 0 0 0 224 0 0 0 20 0 19 0 475156820 15787429888 169253 33554432000 4194304 4196468 140726907647168 139970576950200 139970725765368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 678464 KiB
[startup+5.2097 s]
/proc/loadavg: 8.26 8.37 7.48 10/236 3099
/proc/meminfo: memFree=6278228/32770624 swapFree=66952580/67108860
[pid=3079] ppid=3076 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3079/stat : 3079 (xcsp3-exec) S 3076 3079 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475156618 115843072 363 33554432000 4194304 5098028 140729579475536 140729579473640 140083766100604 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32137216 140729579483990 140729579484249 140729579484249 140729579487174 0
/proc/3079/statm: 28282 363 304 221 0 87 0
[pid=3081] ppid=3079 vsize=15417412 memory=672924 CPUtime=16.54 cores=0,2,4,6
/proc/3081/stat : 3081 (java) S 3079 3079 1883 0 -1 1077944320 27411 0 0 0 1621 33 0 0 20 0 19 0 475156618 15787429888 168231 33554432000 4194304 4196468 140726907647168 140726907629712 139971129155319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
/proc/3081/statm: 3854353 168231 3517 1 0 3815453 0
[pid=3081/tid=3082] ppid=3079 vsize=15417412 memory=280212793911760 CPUtime=1.86 cores=0,2,4,6
/proc/3081/task/3082/stat : 3082 (java) S 3079 3079 1883 0 -1 1077944384 9229 0 0 0 176 10 0 0 20 0 19 0 475156619 15787429888 168231 33554432000 4194304 4196468 140726907647168 139971133396096 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3083] ppid=3079 vsize=15417412 memory=15406316129002 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3083/stat : 3083 (java) S 3079 3079 1883 0 -1 1077944384 102 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168231 33554432000 4194304 4196468 140726907647168 139971040812048 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3084] ppid=3079 vsize=15417412 memory=15406316129002 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3084/stat : 3084 (java) S 3079 3079 1883 0 -1 1077944384 232 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168231 33554432000 4194304 4196468 140726907647168 139971039759504 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3085] ppid=3079 vsize=15417412 memory=280212793927664 CPUtime=0.11 cores=0,2,4,6
/proc/3081/task/3085/stat : 3085 (java) S 3079 3079 1883 0 -1 1077944384 115 0 0 0 8 3 0 0 20 0 19 0 475156619 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970719247120 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3086] ppid=3079 vsize=15417412 memory=280212793920736 CPUtime=0.12 cores=0,2,4,6
/proc/3081/task/3086/stat : 3086 (java) S 3079 3079 1883 0 -1 1077944384 109 0 0 0 8 4 0 0 20 0 19 0 475156619 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970718194576 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3087] ppid=3079 vsize=15417412 memory=280212793932208 CPUtime=0.01 cores=0,2,4,6
/proc/3081/task/3087/stat : 3087 (java) S 3079 3079 1883 0 -1 1077944384 813 0 0 0 1 0 0 0 20 0 19 0 475156621 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970597746928 139971129166466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3088] ppid=3079 vsize=15417412 memory=280212793920600 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3088/stat : 3088 (java) S 3079 3079 1883 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970596693216 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3089] ppid=3079 vsize=15417412 memory=280212793945840 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3089/stat : 3089 (java) S 3079 3079 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475156621 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970595640064 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3090] ppid=3079 vsize=15417412 memory=280212793952656 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3090/stat : 3090 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970594588624 139971129173915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3091] ppid=3079 vsize=15417412 memory=280212793950384 CPUtime=1.5 cores=0,2,4,6
/proc/3081/task/3091/stat : 3091 (java) S 3079 3079 1883 0 -1 1077944384 5605 0 0 0 150 0 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970593536752 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3092] ppid=3079 vsize=15417412 memory=280212793948112 CPUtime=1.6 cores=0,2,4,6
/proc/3081/task/3092/stat : 3092 (java) S 3079 3079 1883 0 -1 1077944384 5891 0 0 0 159 1 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970592484208 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3093] ppid=3079 vsize=15417412 memory=280212793964016 CPUtime=0.61 cores=0,2,4,6
/proc/3081/task/3093/stat : 3093 (java) S 3079 3079 1883 0 -1 1077944384 3014 0 0 0 61 0 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970591431152 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3094] ppid=3079 vsize=15417412 memory=280212793970832 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3094/stat : 3094 (java) S 3079 3079 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970590378848 139971129165525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3095] ppid=3079 vsize=15417412 memory=280212793968560 CPUtime=0 cores=0,2,4,6
/proc/3081/task/3095/stat : 3095 (java) S 3079 3079 1883 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 19 0 475156624 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970589325872 139971129166466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3096] ppid=3079 vsize=15417412 memory=280212793966288 CPUtime=2.33 cores=0,2,4,6
/proc/3081/task/3096/stat : 3096 (java) R 3079 3079 1883 0 -1 4202560 265 0 0 0 233 0 0 0 20 0 19 0 475156820 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970580105976 139970725943252 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3097] ppid=3079 vsize=15417412 memory=280212793982192 CPUtime=2.65 cores=0,2,4,6
/proc/3081/task/3097/stat : 3097 (java) R 3079 3079 1883 0 -1 4202560 237 0 0 0 265 0 0 0 20 0 19 0 475156820 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970579054680 139970725765472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3098] ppid=3079 vsize=15417412 memory=280212793979920 CPUtime=2.76 cores=0,2,4,6
/proc/3081/task/3098/stat : 3098 (java) R 3079 3079 1883 0 -1 4202560 142 0 0 0 274 2 0 0 20 0 19 0 475156820 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970578001816 139970725943024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
[pid=3081/tid=3099] ppid=3079 vsize=15417412 memory=280212793986736 CPUtime=2.65 cores=0,2,4,6
/proc/3081/task/3099/stat : 3099 (java) R 3079 3079 1883 0 -1 4202560 185 0 0 0 265 0 0 0 20 0 19 0 475156820 15787429888 168231 33554432000 4194304 4196468 140726907647168 139970576949216 139970725943307 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20738048 140726907651035 140726907651210 140726907651210 140726907654095 0
Current children cumulated CPU time: 16.54 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 674376 KiB
Child status: 0
Real time (s): 5.29286
CPU time (s): 16.8067
CPU user time (s): 16.4638
CPU system time (s): 0.342902
CPU usage (%): 317.535
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 678480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.4638
system time used= 0.342902
maximum resident set size= 677032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2656
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 3079
# total CPU time (s): 16.8067
# total CPU user time (s): 16.4638
# total CPU system time (s): 0.342902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077427 second user time and 0.079759 second system time
The end