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 (13356 MiB free)
memory of node 1: 16384 MiB (11309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405887-1569404193/watcher-4405887-1569404193 -o /var/tmp/evaluation-result-4405887-1569404193/solver-4405887-1569404193 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25936 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4405887-1569404193.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27860, runsolver pid=27857
[startup+0.100095 s]*
/proc/loadavg: 1.76 1.65 1.73 3/229 27876
/proc/meminfo: memFree=25243480/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15144776 memory=29008 CPUtime=0.12 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 5630 0 0 0 11 1 0 0 20 0 15 0 516334108 15508250624 7252 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3786194 7252 3161 1 0 3748377 0
[pid=27862/tid=27863] ppid=27860 vsize=15144776 memory=8108032331684915787 CPUtime=0.08 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 15 0 516334108 15508250624 7252 33554432000 4194304 4196468 140733206419120 140618344415808 140618340191638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15144776 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15144776 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334110 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516334111 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617213203744 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516334111 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617212151408 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) R 27860 27860 25905 0 -1 4202560 428 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617210045760 140618323715744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) R 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15144776 memory=140389722740352 CPUtime=0.01 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) R 27860 27860 25905 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 516334113 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617207941488 140618332416830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15144776 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334114 15508250624 7252 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30460 KiB
[startup+0.210951 s]*
/proc/loadavg: 1.76 1.65 1.73 3/229 27876
/proc/meminfo: memFree=25230112/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15144776 memory=40188 CPUtime=0.34 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 9328 0 0 0 31 3 0 0 20 0 15 0 516334108 15508250624 10047 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3786194 10047 3269 1 0 3748377 0
[pid=27862/tid=27863] ppid=27860 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 6550 0 0 0 18 2 0 0 20 0 15 0 516334108 15508250624 10047 33554432000 4194304 4196468 140733206419120 140618344409856 140618340191638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15144776 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15144776 memory=4193758578647236640 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516334110 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516334111 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617213203744 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15144776 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516334111 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617212151408 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) S 27860 27860 25905 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 516334113 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617210046576 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) R 27860 27860 25905 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 516334113 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) R 27860 27860 25905 0 -1 4202560 832 0 0 0 7 0 0 0 20 0 15 0 516334113 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617207941488 140618340201050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334114 15508250624 10047 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41640 KiB
[startup+0.310734 s]*
/proc/loadavg: 1.76 1.65 1.73 5/229 27876
/proc/meminfo: memFree=25225012/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15149032 memory=49556 CPUtime=0.53 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 10678 0 0 0 49 4 0 0 20 0 15 0 516334108 15512608768 12389 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3787258 12389 3372 1 0 3748377 0
[pid=27862/tid=27863] ppid=27860 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 7663 0 0 0 27 3 0 0 20 0 15 0 516334108 15512608768 12389 33554432000 4194304 4196468 140733206419120 140618344410816 140618320369201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15149032 memory=3760568589489537056 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334109 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15149032 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516334110 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516334111 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617213203744 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516334111 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617212151408 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) R 27860 27860 25905 0 -1 4202560 681 0 0 0 5 0 0 0 20 0 15 0 516334113 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617210046576 140618321700105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) S 27860 27860 25905 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 15 0 516334113 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15149032 memory=140389722740352 CPUtime=0.12 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 964 0 0 0 12 0 0 0 20 0 15 0 516334113 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15149032 memory=140389722740352 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334114 15512608768 12389 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51008 KiB
[startup+0.70085 s]
/proc/loadavg: 1.76 1.65 1.73 4/229 27876
/proc/meminfo: memFree=25203336/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15151156 memory=119972 CPUtime=1.74 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 14470 0 0 0 168 6 0 0 20 0 15 0 516334108 15514783744 29993 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3787789 29993 3448 1 0 3748889 0
[pid=27862/tid=27863] ppid=27860 vsize=15151156 memory=2116 CPUtime=0.67 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 8370 0 0 0 63 4 0 0 20 0 15 0 516334108 15514783744 29993 33554432000 4194304 4196468 140733206419120 140618344415456 140618340201629 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15151156 memory=520 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334109 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15151156 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516334109 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516334110 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617213203744 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15151156 memory=808 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617212151408 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15151156 memory=8025788809766065260 CPUtime=0.38 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) R 27860 27860 25905 0 -1 4202560 1822 0 0 0 38 0 0 0 20 0 15 0 516334113 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617210038528 140618321358719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15151156 memory=7007707949394126417 CPUtime=0.33 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) R 27860 27860 25905 0 -1 4202560 1100 0 0 0 33 0 0 0 20 0 15 0 516334113 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617208978288 140618324571684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15151156 memory=8514726395715219869 CPUtime=0.32 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 1868 0 0 0 32 0 0 0 20 0 15 0 516334113 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15151156 memory=7954035780130139755 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516334114 15514783744 29993 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 121424 KiB
[startup+1.50081 s]
/proc/loadavg: 1.76 1.65 1.73 9/229 27876
/proc/meminfo: memFree=25062360/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617212151424 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15151156 memory=1339740 CPUtime=2.12 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) S 27860 27860 25905 0 -1 1077944384 10860 0 0 0 211 1 0 0 20 0 15 0 516334113 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617210046576 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15151156 memory=1372304 CPUtime=2.18 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) S 27860 27860 25905 0 -1 1077944384 8343 0 0 0 216 2 0 0 20 0 15 0 516334113 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15151156 memory=3504 CPUtime=0.76 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 7648 0 0 0 72 4 0 0 20 0 15 0 516334113 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15151156 memory=1372304 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15151156 memory=1452 CPUtime=1.46 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 979 0 0 0 77 69 0 0 20 0 15 0 516334114 15514783744 343076 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 2390.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1373756 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.07 2.22 3/229 28353
/proc/meminfo: memFree=24044504/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2450.67 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 67557 0 0 0 244932 135 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3787789 343091 3529 1 0 3748889 0
[pid=27862/tid=27863] ppid=27860 vsize=15151156 memory=1452 CPUtime=2441.48 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 27948 0 0 0 244124 24 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140618344418464 140617984581849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2330 0 0 0 50 11 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.58 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 1000 0 0 0 48 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15151156 memory=1372304 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 957 0 0 0 51 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.6 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 1089 0 0 0 50 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.15 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5051 0 0 0 10 5 0 0 20 0 15 0 516334110 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15151156 memory=1372304 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617213203808 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617212151424 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2.12 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) S 27860 27860 25905 0 -1 1077944384 10860 0 0 0 211 1 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617210046576 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2.18 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) S 27860 27860 25905 0 -1 1077944384 8343 0 0 0 216 2 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.76 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 7648 0 0 0 72 4 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15151156 memory=1452 CPUtime=1.49 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 983 0 0 0 79 70 0 0 20 0 15 0 516334114 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 2450.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1373816 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.06 2.21 3/230 28359
/proc/meminfo: memFree=24042668/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2510.71 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 67839 0 0 0 250935 136 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3787789 343091 3529 1 0 3748889 0
[pid=27862/tid=27863] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2501.47 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 28195 0 0 0 250123 24 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140618344418464 140617984556350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2330 0 0 0 50 11 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.58 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 1000 0 0 0 48 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 957 0 0 0 51 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15151156 memory=1372364 CPUtime=0.6 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 1089 0 0 0 50 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15151156 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5057 0 0 0 10 5 0 0 20 0 15 0 516334110 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617213203808 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617212151424 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2.12 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) S 27860 27860 25905 0 -1 1077944384 10862 0 0 0 211 1 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617210046576 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2.18 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) S 27860 27860 25905 0 -1 1077944384 8345 0 0 0 216 2 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15151156 memory=1452 CPUtime=0.76 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 7651 0 0 0 72 4 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15151156 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15151156 memory=1372364 CPUtime=1.52 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1005 0 0 0 80 72 0 0 20 0 15 0 516334114 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 2510.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1373816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.6 s]
/proc/loadavg: 2.00 2.05 2.21 3/229 28360
/proc/meminfo: memFree=24042840/32770624 swapFree=66953520/67108860
[pid=27860] ppid=27857 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27860/stat : 27860 (xcsp3-exec) S 27857 27860 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516334107 115843072 363 33554432000 4194304 5098028 140733822107056 140733822105160 140509219496572 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36110336 140733822112600 140733822112857 140733822112857 140733822115782 0
/proc/27860/statm: 28282 363 304 221 0 87 0
[pid=27862] ppid=27860 vsize=15151156 memory=1372364 CPUtime=2520.01 cores=0,2,4,6
/proc/27862/stat : 27862 (java) S 27860 27860 25905 0 -1 1077944320 68012 0 0 0 251865 136 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140733206401664 140618340179703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
/proc/27862/statm: 3787789 343091 3529 1 0 3748889 0
[pid=27862/tid=27863] ppid=27860 vsize=15151156 memory=288230377057954038 CPUtime=2510.77 cores=0,2,4,6
/proc/27862/task/27863/stat : 27863 (java) R 27860 27860 25905 0 -1 4202560 28310 0 0 0 251053 24 0 0 20 0 15 0 516334108 15514783744 343091 33554432000 4194304 4196468 140733206419120 140618344417080 140617984394154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27864] ppid=27860 vsize=15151156 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27864/stat : 27864 (java) S 27860 27860 25905 0 -1 1077944384 2330 0 0 0 50 11 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617932790160 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27865] ppid=27860 vsize=15151156 memory=4 CPUtime=0.58 cores=0,2,4,6
/proc/27862/task/27865/stat : 27865 (java) S 27860 27860 25905 0 -1 1077944384 1000 0 0 0 48 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617931737360 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27866] ppid=27860 vsize=15151156 memory=2008 CPUtime=0.61 cores=0,2,4,6
/proc/27862/task/27866/stat : 27866 (java) S 27860 27860 25905 0 -1 1077944384 957 0 0 0 51 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617930685072 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27867] ppid=27860 vsize=15151156 memory=1424 CPUtime=0.6 cores=0,2,4,6
/proc/27862/task/27867/stat : 27867 (java) S 27860 27860 25905 0 -1 1077944384 1089 0 0 0 50 10 0 0 20 0 15 0 516334109 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617929632272 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27868] ppid=27860 vsize=15151156 memory=3640 CPUtime=0.15 cores=0,2,4,6
/proc/27862/task/27868/stat : 27868 (java) S 27860 27860 25905 0 -1 1077944384 5059 0 0 0 10 5 0 0 20 0 15 0 516334110 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617214257776 140618340190850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27869] ppid=27860 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27869/stat : 27869 (java) S 27860 27860 25905 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617213203808 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27870] ppid=27860 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27870/stat : 27870 (java) S 27860 27860 25905 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 516334111 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617212151424 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27871] ppid=27860 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27871/stat : 27871 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617211099728 140618340198299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27872] ppid=27860 vsize=15151156 memory=2596 CPUtime=2.12 cores=0,2,4,6
/proc/27862/task/27872/stat : 27872 (java) S 27860 27860 25905 0 -1 1077944384 10864 0 0 0 211 1 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617210046576 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27873] ppid=27860 vsize=15151156 memory=2884 CPUtime=2.18 cores=0,2,4,6
/proc/27862/task/27873/stat : 27873 (java) S 27860 27860 25905 0 -1 1077944384 8347 0 0 0 216 2 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617208993776 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27874] ppid=27860 vsize=15151156 memory=1412 CPUtime=0.76 cores=0,2,4,6
/proc/27862/task/27874/stat : 27874 (java) S 27860 27860 25905 0 -1 1077944384 7699 0 0 0 72 4 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617207941488 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27875] ppid=27860 vsize=15151156 memory=3196 CPUtime=0 cores=0,2,4,6
/proc/27862/task/27875/stat : 27875 (java) S 27860 27860 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516334113 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617206888928 140618340189909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
[pid=27862/tid=27876] ppid=27860 vsize=15151156 memory=1452 CPUtime=1.53 cores=0,2,4,6
/proc/27862/task/27876/stat : 27876 (java) S 27860 27860 25905 0 -1 1077944384 1009 0 0 0 81 72 0 0 20 0 15 0 516334114 15514783744 343091 33554432000 4194304 4196468 140733206419120 140617205836720 140618340190850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14958592 140733206422491 140733206422666 140733206422666 140733206425551 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1373816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.61 s]
# the end of solver process 27860 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001544 s, system=0.000772 s
[startup+2511.61 s]
# the end of solver process 27862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.37302 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): 2511.61
CPU time (s): 2520.04
CPU user time (s): 2518.67
CPU system time (s): 1.37302
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1373816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.37302
maximum resident set size= 1373016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57759
involuntary context switches= 3252
# summary of solver processes directly reported to runsolver:
# pid: 27860,27862
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.37302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7055 second user time and 23.3765 second system time
The end