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 (12095 MiB free)
memory of node 1: 16384 MiB (13645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270080-1502621971/watcher-4270080-1502621971 -o /tmp/evaluation-result-4270080-1502621971/solver-4270080-1502621971 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1762 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1652444887 HOME/instance-4270080-1502621971.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=2557, runsolver pid=2554
Current StackSize limit: 8192 KiB
[startup+0.100914 s]*
/proc/loadavg: 1.92 2.03 1.76 3/217 2573
/proc/meminfo: memFree=26341376/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13978596 memory=27744 CPUtime=0.09 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 5259 0 0 0 8 1 0 0 20 0 15 0 95268716 14314082304 6936 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3494649 6936 2781 1 0 3482966 0
[pid=2559/tid=2560] ppid=2557 vsize=13978596 memory=-8412658762350172019 CPUtime=0.08 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 3402 0 0 0 7 1 0 0 20 0 15 0 95268716 14314082304 6936 33554432000 4194304 4196468 140722910253216 139749120389664 139749099555120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14314082304 6936 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13978596 memory=139820029310592 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14314082304 6936 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14314082304 6936 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14314082304 6936 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13978596 memory=139820029310592 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268718 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 95268721 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13978596 memory=139820029310592 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 95268721 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13978596 memory=139820029310592 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268723 14314082304 6936 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29128 KiB
[startup+0.212199 s]*
/proc/loadavg: 1.92 2.03 1.76 3/217 2573
/proc/meminfo: memFree=26330004/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13982852 memory=40392 CPUtime=0.31 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 8115 0 0 0 29 2 0 0 20 0 15 0 95268716 14318440448 10098 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3495713 10098 3056 1 0 3482966 0
[pid=2559/tid=2560] ppid=2557 vsize=13982852 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 5227 0 0 0 17 1 0 0 20 0 15 0 95268716 14318440448 10098 33554432000 4194304 4196468 140722910253216 139749120382776 139748723163869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13982852 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 10098 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13982852 memory=139820029335076 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 10098 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 10098 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 10098 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13982852 memory=139820029310592 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268718 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 95268721 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 95268721 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13982852 memory=139820029310592 CPUtime=0.07 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 15 0 95268721 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268723 14318440448 10098 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41776 KiB
[startup+0.31039 s]*
/proc/loadavg: 1.92 2.03 1.76 3/217 2573
/proc/meminfo: memFree=26323056/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13982852 memory=47036 CPUtime=0.48 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 8909 0 0 0 45 3 0 0 20 0 15 0 95268716 14318440448 11759 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3495713 11759 3088 1 0 3482966 0
[pid=2559/tid=2560] ppid=2557 vsize=13982852 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 5925 0 0 0 26 2 0 0 20 0 15 0 95268716 14318440448 11759 33554432000 4194304 4196468 140722910253216 139749120398288 139749116173718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 11759 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13982852 memory=11210019468133 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 11759 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13982852 memory=4206186544037388384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 11759 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13982852 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14318440448 11759 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13982852 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268718 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13982852 memory=-6935123839545469842 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13982852 memory=-6956776531347661416 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13982852 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13982852 memory=-6374957858630779283 CPUtime=0.04 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 577 0 0 0 4 0 0 0 20 0 15 0 95268721 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13982852 memory=-8813974798734826869 CPUtime=0.02 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 15 0 95268721 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13982852 memory=3054156605369063069 CPUtime=0.11 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) R 2557 2557 31727 0 -1 4202560 765 0 0 0 11 0 0 0 20 0 15 0 95268721 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748584143088 139748723130489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268723 14318440448 11759 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48420 KiB
[startup+0.705699 s]
/proc/loadavg: 1.92 2.03 1.76 6/217 2573
/proc/meminfo: memFree=26296132/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13984976 memory=92092 CPUtime=1.69 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 12574 0 0 0 165 4 0 0 20 0 15 0 95268716 14320615424 23023 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3496244 23023 3205 1 0 3483478 0
[pid=2559/tid=2560] ppid=2557 vsize=13984976 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 6609 0 0 0 64 2 0 0 20 0 15 0 95268716 14320615424 23023 33554432000 4194304 4196468 140722910253216 139749120400912 139748723267033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 23023 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 23023 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 23023 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 23023 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95268718 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13984976 memory=1228 CPUtime=0.29 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) R 2557 2557 31727 0 -1 4202560 1260 0 0 0 29 0 0 0 20 0 15 0 95268721 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748586248176 139749097705887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13984976 memory=5300 CPUtime=0.31 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) R 2557 2557 31727 0 -1 1077944384 1212 0 0 0 31 0 0 0 20 0 15 0 95268721 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748585182416 139749116171989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13984976 memory=4616 CPUtime=0.4 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) R 2557 2557 31727 0 -1 4202560 2188 0 0 0 40 0 0 0 20 0 15 0 95268721 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748584139456 139749109258619 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268723 14320615424 23023 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 93476 KiB
[startup+1.50085 s]
/proc/loadavg: 1.92 2.03 1.76 5/217 2573
/proc/meminfo: memFree=26247444/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13984976 memory=175720 CPUtime=1.19 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 8831 0 0 0 119 0 0 0 20 0 15 0 95268721 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13984976 memory=1384 CPUtime=1.32 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 8646 0 0 0 131 1 0 0 20 0 15 0 95268721 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13984976 memory=1384 CPUtime=0.66 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 6217 0 0 0 65 1 0 0 20 0 15 0 95268721 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13984976 memory=178004 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13984976 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 666 0 0 0 3 2 0 0 20 0 15 0 95268723 14320615424 44503 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 105.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179396 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 1.80 3/217 2653
/proc/meminfo: memFree=24833800/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13984976 memory=198108 CPUtime=165.7 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 40771 0 0 0 16557 13 0 0 20 0 15 0 95268716 14320615424 49527 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3496244 49527 3235 1 0 3483478 0
[pid=2559/tid=2560] ppid=2557 vsize=13984976 memory=198108 CPUtime=162.24 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 12153 0 0 0 16219 5 0 0 20 0 15 0 95268716 14320615424 49527 33554432000 4194304 4196468 140722910253216 139749120397680 139748729287614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13984976 memory=198108 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 49527 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13984976 memory=198108 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 49527 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 49527 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13984976 memory=198000 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 49527 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 15 0 95268718 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13984976 memory=197992 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13984976 memory=197992 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13984976 memory=1384 CPUtime=1.2 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 9206 0 0 0 120 0 0 0 20 0 15 0 95268721 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13984976 memory=1384 CPUtime=1.43 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 9254 0 0 0 142 1 0 0 20 0 15 0 95268721 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13984976 memory=1384 CPUtime=0.68 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 7621 0 0 0 67 1 0 0 20 0 15 0 95268721 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13984976 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13984976 memory=198108 CPUtime=0.08 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 699 0 0 0 4 4 0 0 20 0 15 0 95268723 14320615424 49527 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 165.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 199492 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.81 3/217 2654
/proc/meminfo: memFree=24827468/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13984976 memory=204328 CPUtime=225.81 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 41073 0 0 0 22566 15 0 0 20 0 15 0 95268716 14320615424 51082 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3496244 51082 3235 1 0 3483478 0
[pid=2559/tid=2560] ppid=2557 vsize=13984976 memory=1384 CPUtime=222.24 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 12292 0 0 0 22219 5 0 0 20 0 15 0 95268716 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749120398248 139748729266107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13984976 memory=204328 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13984976 memory=204252 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13984976 memory=204252 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13984976 memory=204316 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13984976 memory=204328 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 15 0 95268718 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13984976 memory=204328 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13984976 memory=204328 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13984976 memory=204328 CPUtime=1.26 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 9270 0 0 0 126 0 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13984976 memory=4012 CPUtime=1.45 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 9272 0 0 0 144 1 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13984976 memory=1384 CPUtime=0.68 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 7668 0 0 0 67 1 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13984976 memory=204328 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13984976 memory=7163935559457465450 CPUtime=0.13 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 729 0 0 0 6 7 0 0 20 0 15 0 95268723 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 225.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 205712 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.00 2.02 1.81 3/217 2654
/proc/meminfo: memFree=24827536/32770624 swapFree=67108860/67108860
[pid=2557] ppid=2554 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2557/stat : 2557 (xcsp3-exec) S 2554 2557 31727 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95268716 9740288 346 33554432000 4194304 5098028 140733190488896 140733190487000 139807864185468 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15503360 140733190493300 140733190493504 140733190493504 140733190496235 0
/proc/2557/statm: 2378 346 289 221 0 87 0
[pid=2559] ppid=2557 vsize=13984976 memory=204328 CPUtime=243.53 cores=1,3,5,7
/proc/2559/stat : 2559 (java) S 2557 2557 31727 0 -1 1077944320 41098 0 0 0 24337 16 0 0 20 0 15 0 95268716 14320615424 51082 33554432000 4194304 4196468 140722910253216 140722910235760 139749116161783 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
/proc/2559/statm: 3496244 51082 3235 1 0 3483478 0
[pid=2559/tid=2560] ppid=2557 vsize=13984976 memory=1692 CPUtime=239.95 cores=1,3,5,7
/proc/2559/task/2560/stat : 2560 (java) R 2557 2557 31727 0 -1 4202560 12299 0 0 0 23990 5 0 0 20 0 15 0 95268716 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749120397680 139748729198561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2561] ppid=2557 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2561/stat : 2561 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749046249744 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2562] ppid=2557 vsize=13984976 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2562/stat : 2562 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749045197200 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2563] ppid=2557 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2563/stat : 2563 (java) S 2557 2557 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749044144656 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2564] ppid=2557 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2564/stat : 2564 (java) S 2557 2557 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95268717 14320615424 51082 33554432000 4194304 4196468 140722910253216 139749043092112 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2565] ppid=2557 vsize=13984976 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2565/stat : 2565 (java) S 2557 2557 31727 0 -1 1077944384 556 0 0 0 0 0 0 0 20 0 15 0 95268718 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748590459376 139749116172930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2566] ppid=2557 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2566/stat : 2566 (java) S 2557 2557 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748589405600 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2567] ppid=2557 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2567/stat : 2567 (java) S 2557 2557 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95268719 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748588353008 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2568] ppid=2557 vsize=13984976 memory=960 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2568/stat : 2568 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748587301584 139749116180379 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2569] ppid=2557 vsize=13984976 memory=1236 CPUtime=1.26 cores=1,3,5,7
/proc/2559/task/2569/stat : 2569 (java) S 2557 2557 31727 0 -1 1077944384 9270 0 0 0 126 0 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748586248176 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 21 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2570] ppid=2557 vsize=13984976 memory=4104 CPUtime=1.45 cores=1,3,5,7
/proc/2559/task/2570/stat : 2570 (java) S 2557 2557 31727 0 -1 1077944384 9272 0 0 0 144 1 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748585195632 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2571] ppid=2557 vsize=13984976 memory=204328 CPUtime=0.69 cores=1,3,5,7
/proc/2559/task/2571/stat : 2571 (java) S 2557 2557 31727 0 -1 1077944384 7672 0 0 0 68 1 0 0 20 0 15 0 95268721 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748584143088 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2572] ppid=2557 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2559/task/2572/stat : 2572 (java) S 2557 2557 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95268722 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748583090784 139749116171989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
[pid=2559/tid=2573] ppid=2557 vsize=13984976 memory=204328 CPUtime=0.14 cores=1,3,5,7
/proc/2559/task/2573/stat : 2573 (java) S 2557 2557 31727 0 -1 1077944384 729 0 0 0 6 8 0 0 20 0 15 0 95268723 14320615424 51082 33554432000 4194304 4196468 140722910253216 139748582038320 139749116172930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 23781376 140722910254237 140722910254412 140722910254412 140722910257103 0
Current children cumulated CPU time: 243.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 205712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.031 s]
# the end of solver process 2557 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000929 s, system=0.000929 s
[startup+240.05 s]
# the end of solver process 2559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.47 s, system=0.193016 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.05
CPU time (s): 243.663
CPU user time (s): 243.47
CPU system time (s): 0.193016
CPU usage (%): 101.505
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 205712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.47
system time used= 0.193016
maximum resident set size= 247784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7762
involuntary context switches= 291
# summary of solver processes directly reported to runsolver:
# pid: 2557,2559
# total CPU time (s): 243.663
# total CPU user time (s): 243.47
# total CPU system time (s): 0.193016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.75083 second user time and 2.16636 second system time
The end