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 (14631 MiB free)
memory of node 1: 16384 MiB (15750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270419-1502624152/watcher-4270419-1502624152 -o /tmp/evaluation-result-4270419-1502624152/solver-4270419-1502624152 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502620090-31366 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1145722596 HOME/instance-4270419-1502624152.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1543, runsolver pid=1540
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 1.99 2.00 1.93 3/218 1559
/proc/meminfo: memFree=31095020/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13978596 memory=27748 CPUtime=0.11 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 5308 0 0 0 10 1 0 0 20 0 15 0 95503034 14314082304 6937 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3494649 6937 2874 1 0 3482966 0
[pid=1545/tid=1546] ppid=1543 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 3323 0 0 0 8 1 0 0 20 0 15 0 95503035 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243707467568 140243703246230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13978596 memory=139793481381504 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13978596 memory=139793481381504 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503037 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95503037 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243243599008 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243242545904 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 95503040 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 95503040 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13978596 memory=139793481381504 CPUtime=0.01 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 95503040 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13978596 memory=139793481381504 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503041 14314082304 7068 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29132 KiB
[startup+0.210994 s]*
/proc/loadavg: 1.99 2.00 1.93 3/218 1559
/proc/meminfo: memFree=31083360/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13982852 memory=40216 CPUtime=0.34 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 8121 0 0 0 31 3 0 0 20 0 15 0 95503034 14318440448 10054 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3495713 10054 3028 1 0 3482966 0
[pid=1545/tid=1546] ppid=1543 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 1077944384 5258 0 0 0 18 2 0 0 20 0 15 0 95503035 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243707435984 140243695913517 0 4 0 16800975 18446744072101707300 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13982852 memory=4294980891 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13982884 memory=139793481719884 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318473216 10074 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318473216 10074 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13982852 memory=139793481381504 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503037 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95503037 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243243599008 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243242545904 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 15 0 95503040 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 590 0 0 0 3 0 0 0 20 0 15 0 95503040 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13982852 memory=139793481381504 CPUtime=0.07 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) R 1543 1543 28385 0 -1 4202560 804 0 0 0 7 0 0 0 20 0 15 0 95503040 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243238337008 140243682188944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318440448 10074 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503041 14318473216 10074 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41600 KiB
[startup+0.310915 s]*
/proc/loadavg: 1.99 2.00 1.93 4/218 1559
/proc/meminfo: memFree=31076536/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13982852 memory=47428 CPUtime=0.5 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 8975 0 0 0 47 3 0 0 20 0 15 0 95503034 14318440448 11857 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3495713 11857 3127 1 0 3482966 0
[pid=1545/tid=1546] ppid=1543 vsize=13982852 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 5898 0 0 0 27 2 0 0 20 0 15 0 95503035 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243707472464 140243687277925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13982852 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13982852 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13982852 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13982852 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503037 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13982852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95503037 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243243599008 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243242545904 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) R 1543 1543 28385 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 95503040 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243240434256 140243703244501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) R 1543 1543 28385 0 -1 4202560 595 0 0 0 4 0 0 0 20 0 15 0 95503040 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243239381520 140243682382984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) R 1543 1543 28385 0 -1 4202560 917 0 0 0 12 0 0 0 20 0 15 0 95503040 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243238333376 140243681773334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13982852 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13982852 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503041 14318440448 11857 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48812 KiB
[startup+0.700854 s]
/proc/loadavg: 1.99 2.00 1.93 6/218 1559
/proc/meminfo: memFree=31047404/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13982928 memory=134408 CPUtime=1.76 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 12303 0 0 0 171 5 0 0 20 0 15 0 95503034 14318518272 33602 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3495732 33602 3200 1 0 3482966 0
[pid=1545/tid=1546] ppid=1543 vsize=13982928 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 6215 0 0 0 64 3 0 0 20 0 15 0 95503035 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243707470608 140243319070392 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503036 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95503036 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95503037 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95503037 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243243599008 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13982928 memory=138 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243242545904 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13982928 memory=2 CPUtime=0.39 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) R 1543 1543 28385 0 -1 4202560 1432 0 0 0 39 0 0 0 20 0 15 0 95503040 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243240428632 140243688162850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13982928 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) R 1543 1543 28385 0 -1 4202560 1778 0 0 0 40 0 0 0 20 0 15 0 95503040 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243239376528 140243686733164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13982928 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 1570 0 0 0 27 0 0 0 20 0 15 0 95503040 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13982928 memory=10 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13982928 memory=17688 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95503041 14318518272 33602 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 135792 KiB
[startup+1.50091 s]
/proc/loadavg: 1.99 2.00 1.93 4/218 1559
/proc/meminfo: memFree=30901568/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243242545920 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13984976 memory=2416 CPUtime=2.1 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 6534 0 0 0 210 0 0 0 20 0 15 0 95503040 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13984976 memory=1728 CPUtime=2.16 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 7200 0 0 0 216 0 0 0 20 0 15 0 95503040 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13984976 memory=1384 CPUtime=0.7 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 5623 0 0 0 69 1 0 0 20 0 15 0 95503040 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13984976 memory=2290360 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13984976 memory=15876 CPUtime=0.06 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 993 0 0 0 3 3 0 0 20 0 15 0 95503041 14320615424 572590 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 108.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2291744 KiB
[startup+162.301 s]
/proc/loadavg: 1.98 1.98 1.94 3/218 1561
/proc/meminfo: memFree=25172332/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13984976 memory=2945892 CPUtime=168.46 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 46334 0 0 0 16763 83 0 0 20 0 15 0 95503034 14320615424 736473 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3496244 736473 3263 1 0 3483478 0
[pid=1545/tid=1546] ppid=1543 vsize=13984976 memory=2884452 CPUtime=161.87 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 16093 0 0 0 16145 42 0 0 20 0 15 0 95503035 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243707471832 140243322916098 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13984976 memory=1384 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1395 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13984976 memory=2935652 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 969 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13984976 memory=1384 CPUtime=0.35 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 725 0 0 0 27 8 0 0 20 0 15 0 95503036 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13984976 memory=2724708 CPUtime=0.35 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 1175 0 0 0 27 8 0 0 20 0 15 0 95503036 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13984976 memory=2909028 CPUtime=0.02 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2491 0 0 0 1 1 0 0 20 0 15 0 95503037 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95503037 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243243599072 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13984976 memory=1794416 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243242545920 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13984976 memory=2687844 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13984976 memory=4140 CPUtime=2.15 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 7433 0 0 0 215 0 0 0 20 0 15 0 95503040 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13984976 memory=1384 CPUtime=2.2 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 8016 0 0 0 219 1 0 0 20 0 15 0 95503040 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13984976 memory=1384 CPUtime=0.71 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 5627 0 0 0 69 2 0 0 20 0 15 0 95503040 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13984976 memory=2915172 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13984976 memory=2657124 CPUtime=0.11 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1113 0 0 0 6 5 0 0 20 0 15 0 95503041 14320615424 736473 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 168.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2947276 KiB
[startup+222.301 s]
/proc/loadavg: 1.89 1.95 1.93 3/217 1563
/proc/meminfo: memFree=24580104/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13984976 memory=3517812 CPUtime=228.52 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 50055 0 0 0 22757 95 0 0 20 0 15 0 95503034 14320615424 879453 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3496244 879453 3263 1 0 3483478 0
[pid=1545/tid=1546] ppid=1543 vsize=13984976 memory=3517812 CPUtime=221.86 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 18439 0 0 0 22134 52 0 0 20 0 15 0 95503035 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243707471672 140243322916061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13984976 memory=3517812 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1504 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13984976 memory=3517812 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 1414 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13984976 memory=1384 CPUtime=0.36 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 937 0 0 0 28 8 0 0 20 0 15 0 95503036 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13984976 memory=4140 CPUtime=0.35 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 1258 0 0 0 27 8 0 0 20 0 15 0 95503036 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13984976 memory=3517812 CPUtime=0.02 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2793 0 0 0 1 1 0 0 20 0 15 0 95503037 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13984976 memory=3517812 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95503037 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243243599072 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243242545920 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13984976 memory=3517812 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13984976 memory=1384 CPUtime=2.15 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 7433 0 0 0 215 0 0 0 20 0 15 0 95503040 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13984976 memory=288230574492221466 CPUtime=2.2 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 8085 0 0 0 219 1 0 0 20 0 15 0 95503040 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13984976 memory=303148791274668342 CPUtime=0.71 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 5778 0 0 0 69 2 0 0 20 0 15 0 95503040 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13984976 memory=27420 CPUtime=0.14 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1117 0 0 0 8 6 0 0 20 0 15 0 95503041 14320615424 879453 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 228.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3519196 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.83 1.94 1.93 3/217 1720
/proc/meminfo: memFree=27984692/32770624 swapFree=67108860/67108860
[pid=1543] ppid=1540 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1543/stat : 1543 (xcsp3-exec) S 1540 1543 28385 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95503034 9740288 346 33554432000 4194304 5098028 140735791421616 140735791419720 139916543640188 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30629888 140735791424628 140735791424832 140735791424832 140735791427563 0
/proc/1543/statm: 2378 346 289 221 0 87 0
[pid=1545] ppid=1543 vsize=13984976 memory=3519908 CPUtime=246.24 cores=1,3,5,7
/proc/1545/stat : 1545 (java) S 1543 1543 28385 0 -1 1077944320 50768 0 0 0 24528 96 0 0 20 0 15 0 95503034 14320615424 879977 33554432000 4194304 4196468 140735151043328 140735151025872 140243703234295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
/proc/1545/statm: 3496244 879977 3263 1 0 3483478 0
[pid=1545/tid=1546] ppid=1543 vsize=13984976 memory=6935054825532540783 CPUtime=239.57 cores=1,3,5,7
/proc/1545/task/1546/stat : 1546 (java) R 1543 1543 28385 0 -1 4202560 18440 0 0 0 23905 52 0 0 20 0 15 0 95503035 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243707474176 140243322916098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1547] ppid=1543 vsize=13984976 memory=4126316290023845779 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1547/stat : 1547 (java) S 1543 1543 28385 0 -1 1077944384 1551 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243640835088 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1548] ppid=1543 vsize=13984976 memory=18488 CPUtime=0.32 cores=1,3,5,7
/proc/1545/task/1548/stat : 1548 (java) S 1543 1543 28385 0 -1 1077944384 1508 0 0 0 25 7 0 0 20 0 15 0 95503036 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243639782544 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1549] ppid=1543 vsize=13984976 memory=1796 CPUtime=0.36 cores=1,3,5,7
/proc/1545/task/1549/stat : 1549 (java) S 1543 1543 28385 0 -1 1077944384 1360 0 0 0 28 8 0 0 20 0 15 0 95503036 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243638729488 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1550] ppid=1543 vsize=13984976 memory=1236 CPUtime=0.35 cores=1,3,5,7
/proc/1545/task/1550/stat : 1550 (java) S 1543 1543 28385 0 -1 1077944384 1404 0 0 0 27 8 0 0 20 0 15 0 95503036 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243637676944 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1551] ppid=1543 vsize=13984976 memory=640 CPUtime=0.02 cores=1,3,5,7
/proc/1545/task/1551/stat : 1551 (java) S 1543 1543 28385 0 -1 1077944384 2795 0 0 0 1 1 0 0 20 0 15 0 95503037 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243244652784 140243703245442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1552] ppid=1543 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1552/stat : 1552 (java) S 1543 1543 28385 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 95503037 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243243599072 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1553] ppid=1543 vsize=13984976 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1553/stat : 1553 (java) S 1543 1543 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95503038 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243242545920 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1554] ppid=1543 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1554/stat : 1554 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243241494480 140243703252891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1555] ppid=1543 vsize=13984976 memory=3060 CPUtime=2.15 cores=1,3,5,7
/proc/1545/task/1555/stat : 1555 (java) S 1543 1543 28385 0 -1 1077944384 7433 0 0 0 215 0 0 0 20 0 15 0 95503040 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243240442608 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1556] ppid=1543 vsize=13984976 memory=1384 CPUtime=2.2 cores=1,3,5,7
/proc/1545/task/1556/stat : 1556 (java) S 1543 1543 28385 0 -1 1077944384 8085 0 0 0 219 1 0 0 20 0 15 0 95503040 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243239390064 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1557] ppid=1543 vsize=13984976 memory=3519908 CPUtime=0.71 cores=1,3,5,7
/proc/1545/task/1557/stat : 1557 (java) S 1543 1543 28385 0 -1 1077944384 5778 0 0 0 69 2 0 0 20 0 15 0 95503040 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243238337008 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1558] ppid=1543 vsize=13984976 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/1545/task/1558/stat : 1558 (java) S 1543 1543 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95503040 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243237284704 140243703244501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
[pid=1545/tid=1559] ppid=1543 vsize=13984976 memory=4048 CPUtime=0.16 cores=1,3,5,7
/proc/1545/task/1559/stat : 1559 (java) S 1543 1543 28385 0 -1 1077944384 1117 0 0 0 9 7 0 0 20 0 15 0 95503041 14320615424 879977 33554432000 4194304 4196468 140735151043328 140243236231728 140243703245442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 20213760 140735151051933 140735151052108 140735151052108 140735151054799 0
Current children cumulated CPU time: 246.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3521292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1543 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000947 s, system=0.000947 s
[startup+240.034 s]
# the end of solver process 1545 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.3 s, system=0.980207 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
Child status: 143
Real time (s): 240.034
CPU time (s): 246.28
CPU user time (s): 245.3
CPU system time (s): 0.980207
CPU usage (%): 102.602
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3521292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.3
system time used= 0.980207
maximum resident set size= 3520468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7592
involuntary context switches= 170
# summary of solver processes directly reported to runsolver:
# pid: 1543,1545
# total CPU time (s): 246.28
# total CPU user time (s): 245.3
# total CPU system time (s): 0.980207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.71525 second user time and 2.36226 second system time
The end