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 (13926 MiB free)
memory of node 1: 16384 MiB (3362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399404-1568699988/watcher-4399404-1568699988 -o /tmp/evaluation-result-4399404-1568699988/solver-4399404-1568699988 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1762301979 HOME/instance-4399404-1568699988.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
solver pid=27344, runsolver pid=27341
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 8.10 7.32 6.24 7/229 27360
/proc/meminfo: memFree=17688624/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15144776 memory=29116 CPUtime=0.13 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 5693 0 0 0 12 1 0 0 20 0 15 0 445912600 15508250624 7279 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3786194 7279 3144 1 0 3748377 0
[pid=27346/tid=27347] ppid=27344 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 25893 0 -1 4202560 3575 0 0 0 8 0 0 0 20 0 15 0 445912601 15508250624 7279 33554432000 4194304 4196468 140721112474688 139811209032368 139811188884830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 7279 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 7279 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 7279 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 7279 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445912603 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445912603 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810672362272 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445912604 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810671309936 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) R 27344 27344 25893 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810669206128 139811185249632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) R 27344 27344 25893 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810668153328 139811204815490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0.02 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) R 27344 27344 25893 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810667098576 139811204825690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 7279 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30564 KiB
[startup+0.210694 s]*
/proc/loadavg: 8.10 7.32 6.24 7/229 27360
/proc/meminfo: memFree=17675212/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15144776 memory=40684 CPUtime=0.34 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 9453 0 0 0 31 3 0 0 20 0 15 0 445912600 15508250624 10171 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3786194 10171 3251 1 0 3748377 0
[pid=27346/tid=27347] ppid=27344 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 25893 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 445912601 15508250624 10171 33554432000 4194304 4196468 140721112474688 139811209041408 139811204816278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15144776 memory=8955 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 10171 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15144776 memory=3616587987666462368 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 10171 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 10171 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445912602 15508250624 10171 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445912603 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445912603 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810672362272 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445912604 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810671309936 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 25893 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810669206128 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 25893 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810668153328 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15144776 memory=140083810920064 CPUtime=0.08 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) R 27344 27344 25893 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810667101040 139811204825690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912606 15508250624 10171 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42132 KiB
[startup+0.31057 s]*
/proc/loadavg: 8.10 7.32 6.24 7/229 27360
/proc/meminfo: memFree=17668420/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15149032 memory=50108 CPUtime=0.53 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 10840 0 0 0 49 4 0 0 20 0 15 0 445912600 15512608768 12527 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3787258 12527 3370 1 0 3748377 0
[pid=27346/tid=27347] ppid=27344 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 25893 0 -1 4202560 7757 0 0 0 27 3 0 0 20 0 15 0 445912601 15512608768 12527 33554432000 4194304 4196468 140721112474688 139811209038128 139811188884830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15512608768 12527 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15512608768 12527 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15512608768 12527 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15149032 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445912602 15512608768 12527 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445912603 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445912603 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810672362272 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445912604 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810671309936 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 25893 0 -1 1077944384 408 0 0 0 3 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810669206128 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) R 27344 27344 25893 0 -1 4202560 511 0 0 0 5 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810668134344 139811186328647 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 25893 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810667101040 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912606 15512608768 12527 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51556 KiB
[startup+0.704627 s]
/proc/loadavg: 8.10 7.32 6.24 8/229 27360
/proc/meminfo: memFree=17647500/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15151156 memory=100256 CPUtime=1.76 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 14661 0 0 0 171 5 0 0 20 0 15 0 445912600 15514783744 25064 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3787789 25064 3445 1 0 3748889 0
[pid=27346/tid=27347] ppid=27344 vsize=15151156 memory=48356 CPUtime=0.68 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) R 27344 27344 25893 0 -1 4202560 8438 0 0 0 64 4 0 0 20 0 15 0 445912601 15514783744 25064 33554432000 4194304 4196468 140721112474688 139811209039760 139810802624720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15514783744 25064 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15514783744 25064 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912602 15514783744 25064 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445912602 15514783744 25064 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445912603 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15151156 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445912603 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810672362272 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15151156 memory=11416 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445912604 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810671309936 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15151156 memory=776 CPUtime=0.33 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) R 27344 27344 25893 0 -1 4202560 1483 0 0 0 33 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810669192032 139811186329886 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15151156 memory=1560 CPUtime=0.36 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) R 27344 27344 25893 0 -1 4202560 1450 0 0 0 36 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810668139872 139811186349707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15151156 memory=4040 CPUtime=0.36 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 25893 0 -1 1077944384 1984 0 0 0 36 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810667101040 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15151156 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445912606 15514783744 25064 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101704 KiB
[startup+1.50167 s]
/proc/loadavg: 8.01 7.32 6.25 9/229 27360
/proc/meminfo: memFree=17571224/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 162207 0 0 0 231366 126 0 0 20 0 19 0 445912600 15789527040 896716 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3854865 896716 3539 1 0 3815965 0
[pid=27346/tid=27347] ppid=27344 vsize=15419460 memory=3680228 CPUtime=3.51 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) S 27344 27344 25893 0 -1 1077944384 11794 0 0 0 344 7 0 0 20 0 19 0 445912601 15789527040 896716 33554432000 4194304 4196468 140721112474688 139811209045120 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15419460 memory=3613536 CPUtime=0.57 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 2319 0 0 0 48 9 0 0 20 0 19 0 445912602 15789527040 896716 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15419460 memory=3613536 CPUtime=0.55 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 3944 0 0 0 46 9 0 0 20 0 19 0 445912602 15789527040 896716 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15419460 memory=1448 CPUtime=0.5 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 3262 0 0 0 41 9 0 0 20 0 19 0 445912602 15789527040 896716 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15419460 memory=3613028 CPUtime=0.48 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 6032 0 0 0 39 9 0 0 20 0 19 0 445912602 15789527040 896716 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15419460 memory=3586864 CPUtime=0.06 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5525 0 0 0 5 1 0 0 20 0 19 0 445912603 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445912603 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810672362336 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15419460 memory=3586864 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445912604 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810671309952 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15419460 memory=1448 CPUtime=5.93 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 25893 0 -1 1077944384 34543 0 0 0 589 4 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810669206128 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15419460 memory=1448 CPUtime=6.09 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 25893 0 -1 1077944384 23886 0 0 0 607 2 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810668153328 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15419460 memory=3586864 CPUtime=1.24 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 25893 0 -1 1077944384 15436 0 0 0 123 1 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810667101040 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15419460 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15419460 memory=3586864 CPUtime=0.2 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1071 0 0 0 10 10 0 0 20 0 19 0 445912606 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27361] ppid=27344 vsize=15419460 memory=3512 CPUtime=575.32 cores=0,2,4,6
/proc/27346/task/27361/stat : 27361 (java) R 27344 27344 25893 0 -1 4202560 3448 0 0 0 57531 1 0 0 20 0 19 0 445912982 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810653681040 139810810225405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27362] ppid=27344 vsize=15419460 memory=3586864 CPUtime=573.4 cores=0,2,4,6
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 25893 0 -1 4202560 41948 0 0 0 57278 62 0 0 20 0 19 0 445912983 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810652626872 139810810062057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27363] ppid=27344 vsize=15419460 memory=1448 CPUtime=572.94 cores=0,2,4,6
/proc/27346/task/27363/stat : 27363 (java) R 27344 27344 25893 0 -1 4202560 3661 0 0 0 57291 3 0 0 20 0 19 0 445912983 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810651574136 139810808981292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27364] ppid=27344 vsize=15419460 memory=1448 CPUtime=574 cores=0,2,4,6
/proc/27346/task/27364/stat : 27364 (java) R 27344 27344 25893 0 -1 4202560 3986 0 0 0 57397 3 0 0 20 0 19 0 445912983 15789527040 896716 33554432000 4194304 4196468 140721112474688 139810650521808 139810810500570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 2314.92 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3588312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.902 s]
/proc/loadavg: 8.11 8.32 7.34 9/237 27661
/proc/meminfo: memFree=26373556/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15419460 memory=3502220 CPUtime=2520.31 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 171579 0 0 0 251904 127 0 0 20 0 19 0 445912600 15789527040 875555 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3854865 875555 3539 1 0 3815965 0
[pid=27346/tid=27347] ppid=27344 vsize=15419460 memory=1448 CPUtime=3.51 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) S 27344 27344 25893 0 -1 1077944384 11794 0 0 0 344 7 0 0 20 0 19 0 445912601 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811209045120 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15419460 memory=3502220 CPUtime=0.6 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 2358 0 0 0 51 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15419460 memory=1448 CPUtime=0.58 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 3992 0 0 0 49 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15419460 memory=3586352 CPUtime=0.53 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 3864 0 0 0 44 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15419460 memory=3543772 CPUtime=0.51 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 6139 0 0 0 42 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15419460 memory=3502220 CPUtime=0.07 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5814 0 0 0 5 2 0 0 20 0 19 0 445912603 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445912603 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810672362336 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15419460 memory=3512484 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445912604 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810671309952 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15419460 memory=776 CPUtime=5.98 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 25893 0 -1 1077944384 38832 0 0 0 594 4 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810669206128 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15419460 memory=1560 CPUtime=6.09 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 25893 0 -1 1077944384 24249 0 0 0 607 2 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810668153328 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15419460 memory=4040 CPUtime=1.24 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 25893 0 -1 1077944384 15722 0 0 0 123 1 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810667101040 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15419460 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15419460 memory=1056 CPUtime=0.2 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1106 0 0 0 10 10 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27361] ppid=27344 vsize=15419460 memory=1716 CPUtime=626.77 cores=0,2,4,6
/proc/27346/task/27361/stat : 27361 (java) R 27344 27344 25893 0 -1 4202560 3747 0 0 0 62676 1 0 0 20 0 19 0 445912982 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810653677696 139810810429997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27362] ppid=27344 vsize=15419460 memory=1448 CPUtime=624.36 cores=0,2,4,6
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 25893 0 -1 4202560 43947 0 0 0 62374 62 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810652629872 139810804861568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27363] ppid=27344 vsize=15419460 memory=3511972 CPUtime=624.36 cores=0,2,4,6
/proc/27346/task/27363/stat : 27363 (java) R 27344 27344 25893 0 -1 4202560 3961 0 0 0 62433 3 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810651574184 139810805944848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27364] ppid=27344 vsize=15419460 memory=0 CPUtime=625.33 cores=0,2,4,6
/proc/27346/task/27364/stat : 27364 (java) R 27344 27344 25893 0 -1 4202560 4702 0 0 0 62530 3 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810650522056 139810810501145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3503668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.935 s]
# the end of solver process 27344 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001176 s, system=0.001176 s
[startup+633.981 s]
# the end of solver process 27346 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.29 s, system=1.29877 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.902 s]
/proc/loadavg: 8.11 8.32 7.34 9/237 27661
/proc/meminfo: memFree=26373556/32770624 swapFree=66917056/67108860
[pid=27344] ppid=27341 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27344/stat : 27344 (xcsp3-exec) S 27341 27344 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445912600 115843072 362 33554432000 4194304 5098028 140733170396720 140733170394824 139753060553340 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35713024 140733170398074 140733170398317 140733170398317 140733170401226 0
/proc/27344/statm: 28282 362 304 221 0 87 0
[pid=27346] ppid=27344 vsize=15419460 memory=3502220 CPUtime=2520.31 cores=0,2,4,6
/proc/27346/stat : 27346 (java) S 27344 27344 25893 0 -1 1077944320 171579 0 0 0 251904 127 0 0 20 0 19 0 445912600 15789527040 875555 33554432000 4194304 4196468 140721112474688 140721112457232 139811204804343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
/proc/27346/statm: 3854865 875555 3539 1 0 3815965 0
[pid=27346/tid=27347] ppid=27344 vsize=15419460 memory=1448 CPUtime=3.51 cores=0,2,4,6
/proc/27346/task/27347/stat : 27347 (java) S 27344 27344 25893 0 -1 1077944384 11794 0 0 0 344 7 0 0 20 0 19 0 445912601 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811209045120 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27348] ppid=27344 vsize=15419460 memory=3502220 CPUtime=0.6 cores=0,2,4,6
/proc/27346/task/27348/stat : 27348 (java) S 27344 27344 25893 0 -1 1077944384 2358 0 0 0 51 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811132844944 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27349] ppid=27344 vsize=15419460 memory=1448 CPUtime=0.58 cores=0,2,4,6
/proc/27346/task/27349/stat : 27349 (java) S 27344 27344 25893 0 -1 1077944384 3992 0 0 0 49 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811131792144 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27350] ppid=27344 vsize=15419460 memory=3586352 CPUtime=0.53 cores=0,2,4,6
/proc/27346/task/27350/stat : 27350 (java) S 27344 27344 25893 0 -1 1077944384 3864 0 0 0 44 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811130739856 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27351] ppid=27344 vsize=15419460 memory=3543772 CPUtime=0.51 cores=0,2,4,6
/proc/27346/task/27351/stat : 27351 (java) S 27344 27344 25893 0 -1 1077944384 6139 0 0 0 42 9 0 0 20 0 19 0 445912602 15789527040 875555 33554432000 4194304 4196468 140721112474688 139811129687056 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27352] ppid=27344 vsize=15419460 memory=3502220 CPUtime=0.07 cores=0,2,4,6
/proc/27346/task/27352/stat : 27352 (java) S 27344 27344 25893 0 -1 1077944384 5814 0 0 0 5 2 0 0 20 0 19 0 445912603 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810673416304 139811204815490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27353] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27353/stat : 27353 (java) S 27344 27344 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445912603 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810672362336 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27354] ppid=27344 vsize=15419460 memory=3512484 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27354/stat : 27354 (java) S 27344 27344 25893 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445912604 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810671309952 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27355] ppid=27344 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27355/stat : 27355 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810670258256 139811204822939 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27356] ppid=27344 vsize=15419460 memory=776 CPUtime=5.98 cores=0,2,4,6
/proc/27346/task/27356/stat : 27356 (java) S 27344 27344 25893 0 -1 1077944384 38832 0 0 0 594 4 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810669206128 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27357] ppid=27344 vsize=15419460 memory=1560 CPUtime=6.09 cores=0,2,4,6
/proc/27346/task/27357/stat : 27357 (java) S 27344 27344 25893 0 -1 1077944384 24249 0 0 0 607 2 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810668153328 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27358] ppid=27344 vsize=15419460 memory=4040 CPUtime=1.24 cores=0,2,4,6
/proc/27346/task/27358/stat : 27358 (java) S 27344 27344 25893 0 -1 1077944384 15722 0 0 0 123 1 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810667101040 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27359] ppid=27344 vsize=15419460 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/27346/task/27359/stat : 27359 (java) S 27344 27344 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810666048480 139811204814549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27360] ppid=27344 vsize=15419460 memory=1056 CPUtime=0.2 cores=0,2,4,6
/proc/27346/task/27360/stat : 27360 (java) S 27344 27344 25893 0 -1 1077944384 1106 0 0 0 10 10 0 0 20 0 19 0 445912606 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810664995248 139811204815490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27361] ppid=27344 vsize=15419460 memory=1716 CPUtime=626.77 cores=0,2,4,6
/proc/27346/task/27361/stat : 27361 (java) R 27344 27344 25893 0 -1 4202560 3747 0 0 0 62676 1 0 0 20 0 19 0 445912982 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810653677696 139810810429997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27362] ppid=27344 vsize=15419460 memory=1448 CPUtime=624.36 cores=0,2,4,6
/proc/27346/task/27362/stat : 27362 (java) R 27344 27344 25893 0 -1 4202560 43947 0 0 0 62374 62 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810652629872 139810804861568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27363] ppid=27344 vsize=15419460 memory=3511972 CPUtime=624.36 cores=0,2,4,6
/proc/27346/task/27363/stat : 27363 (java) R 27344 27344 25893 0 -1 4202560 3961 0 0 0 62433 3 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810651574184 139810805944848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
[pid=27346/tid=27364] ppid=27344 vsize=15419460 memory=0 CPUtime=625.33 cores=0,2,4,6
/proc/27346/task/27364/stat : 27364 (java) R 27344 27344 25893 0 -1 4202560 4702 0 0 0 62530 3 0 0 20 0 19 0 445912983 15789527040 875555 33554432000 4194304 4196468 140721112474688 139810650522056 139810810501145 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13955072 140721112482799 140721112482970 140721112482970 140721112485839 0
Current children cumulated CPU time: 2520.31 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 3503668 KiB
Child status: 143
Real time (s): 633.981
CPU time (s): 2520.58
CPU user time (s): 2519.29
CPU system time (s): 1.29877
CPU usage (%): 397.58
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 4217052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.29
system time used= 1.29878
maximum resident set size= 4217804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18261
involuntary context switches= 33320
# summary of solver processes directly reported to runsolver:
# pid: 27344,27346
# total CPU time (s): 2520.58
# total CPU user time (s): 2519.29
# total CPU system time (s): 1.29877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06227 second user time and 6.96352 second system time
The end