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 (15240 MiB free)
memory of node 1: 16384 MiB (14265 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272766-1502707023/watcher-4272766-1502707023 -o /tmp/evaluation-result-4272766-1502707023/solver-4272766-1502707023 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1753091098 HOME/instance-4272766-1502707023.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=8867, runsolver pid=8864
[startup+0.100109 s]*
/proc/loadavg: 1.73 1.66 1.62 3/205 8875
/proc/meminfo: memFree=30207828/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13574484 memory=18716 CPUtime=0.02 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 3976 0 0 0 2 0 0 0 20 0 9 0 24584960 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3393621 4679 2086 1 0 3383118 0
[pid=8869/tid=8870] ppid=8867 vsize=13574484 memory=7078076838863583841 CPUtime=0.02 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 2680 0 0 0 2 0 0 0 20 0 9 0 24584960 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539582440592 140539561583472 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24584961 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13574484 memory=140648161453696 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24584961 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 24584961 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24584961 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 24584962 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 24584963 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539122886304 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 24584963 13900271616 4679 18446744073709551615 4194304 4196468 140736179513216 140539121833264 140539578210005 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20096 KiB
[startup+0.210453 s]*
/proc/loadavg: 1.73 1.66 1.62 3/213 8883
/proc/meminfo: memFree=30196656/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13974352 memory=29680 CPUtime=0.12 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 5364 0 0 0 11 1 0 0 20 0 15 0 24584960 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3493588 7420 2839 1 0 3482964 0
[pid=8869/tid=8870] ppid=8867 vsize=13974352 memory=7078076838863583841 CPUtime=0.08 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 3368 0 0 0 8 0 0 0 20 0 15 0 24584960 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539582432128 140539578211734 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13974352 memory=140648161453696 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13974352 memory=140648161453696 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24584962 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24584963 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539122886304 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24584963 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539121833200 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13974352 memory=140648161453696 CPUtime=0.01 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) R 8867 8867 7968 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 24584966 14309736448 7420 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539557915766 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 7485 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13974352 memory=140648161453696 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584970 14309736448 7485 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 31060 KiB
[startup+0.313338 s]*
/proc/loadavg: 1.73 1.66 1.62 5/213 8883
/proc/meminfo: memFree=30183228/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13974352 memory=41936 CPUtime=0.33 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 9174 0 0 0 30 3 0 0 20 0 15 0 24584960 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3493588 10484 3023 1 0 3482964 0
[pid=8869/tid=8870] ppid=8867 vsize=13974352 memory=4278483708103473607 CPUtime=0.19 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 6277 0 0 0 17 2 0 0 20 0 15 0 24584960 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539582435616 140539562280286 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13974352 memory=-8102431393132624720 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13974352 memory=1404226546319204233 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13974352 memory=4209341120607117666 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24584961 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13974352 memory=140648161460689 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24584962 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24584963 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539122886304 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24584963 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539121833200 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 24584966 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 24584966 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8867 8867 7968 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 15 0 24584966 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584970 14309736448 10484 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 43316 KiB
[startup+0.705423 s]
/proc/loadavg: 1.73 1.66 1.62 4/213 8883
/proc/meminfo: memFree=30173600/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13980732 memory=67388 CPUtime=1.18 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 14145 0 0 0 113 5 0 0 20 0 15 0 24584960 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3495183 16847 3174 1 0 3483476 0
[pid=8869/tid=8870] ppid=8867 vsize=13980732 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 9410 0 0 0 54 4 0 0 20 0 15 0 24584960 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539582435888 140539198574660 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13980732 memory=5 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13980732 memory=36 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 24584962 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539122886304 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539121833200 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13980732 memory=7883313791582089521 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13980732 memory=4124 CPUtime=0.16 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) R 8867 8867 7968 0 -1 4202560 1086 0 0 0 16 0 0 0 20 0 15 0 24584966 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539571184841 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 847 0 0 0 13 0 0 0 20 0 15 0 24584966 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13980732 memory=140648032248432 CPUtime=0.3 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) R 8867 8867 7968 0 -1 1077944384 1494 0 0 0 30 0 0 0 20 0 15 0 24584966 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539117618544 140539578210005 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584970 14316269568 16847 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68768 KiB
[startup+1.50082 s]
/proc/loadavg: 1.73 1.66 1.62 5/213 8883
/proc/meminfo: memFree=30122224/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13980732 memory=169664 CPUtime=3.67 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 39618 0 0 0 359 8 0 0 20 0 15 0 24584960 14316269568 42416 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3495183 42416 3199 1 0 3483476 0
[pid=8869/tid=8870] ppid=8867 vsize=13980732 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 9790 0 0 0 132 4 0 0 20 0 15 0 24584960 14316269568 42416 18446744073709551615 4194304 4196468 140736179513216 140539582438424 140539201865040 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 42416 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13980732 memory=55 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 42416 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 24584961 14316269568 42416 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13980732 memory=20825 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539121833216 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13980732 memory=1380 CPUtime=5.24 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 31439 0 0 0 520 4 0 0 20 0 15 0 24584966 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13980732 memory=1152 CPUtime=5.45 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 30864 0 0 0 542 3 0 0 20 0 15 0 24584966 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13980732 memory=3220 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8867 8867 7968 0 -1 1077944384 11373 0 0 0 74 3 0 0 20 0 15 0 24584966 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13980732 memory=16368 CPUtime=1.3 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 729 0 0 0 61 69 0 0 20 0 15 0 24584970 14316269568 79103 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 2390.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 317792 KiB
[startup+2382.3 s]
/proc/loadavg: 1.35 1.47 1.49 3/214 9206
/proc/meminfo: memFree=30483532/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13980732 memory=324756 CPUtime=2451.63 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 297456 0 0 0 244825 338 0 0 20 0 15 0 24584960 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3495183 81189 3267 1 0 3483476 0
[pid=8869/tid=8870] ppid=8867 vsize=13980732 memory=1380 CPUtime=2357.96 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 118942 0 0 0 235759 37 0 0 20 0 15 0 24584960 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539582439456 140539562515036 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13980732 memory=1380 CPUtime=19.45 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 13471 0 0 0 1893 52 0 0 20 0 15 0 24584961 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13980732 memory=324020 CPUtime=19.49 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 14678 0 0 0 1899 50 0 0 20 0 15 0 24584961 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13980732 memory=322832 CPUtime=19.52 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 14256 0 0 0 1901 51 0 0 20 0 15 0 24584961 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13980732 memory=308540 CPUtime=19.52 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 15511 0 0 0 1899 53 0 0 20 0 15 0 24584961 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13980732 memory=1380 CPUtime=2.83 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 44742 0 0 0 241 42 0 0 20 0 15 0 24584962 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13980732 memory=322832 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539122886368 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13980732 memory=324020 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539121833216 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13980732 memory=4124 CPUtime=5.24 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 31439 0 0 0 520 4 0 0 20 0 15 0 24584966 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13980732 memory=322832 CPUtime=5.45 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 30864 0 0 0 542 3 0 0 20 0 15 0 24584966 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8867 8867 7968 0 -1 1077944384 11373 0 0 0 74 3 0 0 20 0 15 0 24584966 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13980732 memory=313136 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13980732 memory=1380 CPUtime=1.34 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 734 0 0 0 64 70 0 0 20 0 15 0 24584970 14316269568 81189 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 2451.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 326136 KiB
[startup+2442.3 s]
/proc/loadavg: 1.77 1.57 1.52 3/214 9210
/proc/meminfo: memFree=30525488/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13980732 memory=312580 CPUtime=2513.26 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 303426 0 0 0 250981 345 0 0 20 0 15 0 24584960 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3495183 78145 3267 1 0 3483476 0
[pid=8869/tid=8870] ppid=8867 vsize=13980732 memory=289368 CPUtime=2417.33 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 122387 0 0 0 241695 38 0 0 20 0 15 0 24584960 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539582439344 140539201865078 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13980732 memory=312580 CPUtime=19.99 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 13744 0 0 0 1946 53 0 0 20 0 15 0 24584961 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13980732 memory=1380 CPUtime=20.03 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 15000 0 0 0 1953 50 0 0 20 0 15 0 24584961 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13980732 memory=297400 CPUtime=20.05 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 14499 0 0 0 1952 53 0 0 20 0 15 0 24584961 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13980732 memory=303348 CPUtime=20.06 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 16010 0 0 0 1952 54 0 0 20 0 15 0 24584961 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13980732 memory=312580 CPUtime=2.89 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 45882 0 0 0 247 42 0 0 20 0 15 0 24584962 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539122886368 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539121833216 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13980732 memory=1380 CPUtime=5.24 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 31441 0 0 0 520 4 0 0 20 0 15 0 24584966 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13980732 memory=1380 CPUtime=5.45 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 30866 0 0 0 542 3 0 0 20 0 15 0 24584966 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13980732 memory=1380 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8867 8867 7968 0 -1 1077944384 11400 0 0 0 74 3 0 0 20 0 15 0 24584966 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13980732 memory=312580 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13980732 memory=16368 CPUtime=1.37 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 751 0 0 0 65 72 0 0 20 0 15 0 24584970 14316269568 78145 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 2513.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 313960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2449 s]*
/proc/loadavg: 1.79 1.57 1.53 3/214 9210
/proc/meminfo: memFree=30546060/32770624 swapFree=67108860/67108860
[pid=8867] ppid=8864 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8867/stat : 8867 (xcsp3-exec) S 8864 8867 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 24584953 9740288 345 18446744073709551615 4194304 5098028 140736280107152 140736280105256 139873711202940 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 35033088 140736280113529 140736280113734 140736280113734 140736280117227 0
/proc/8867/statm: 2378 345 289 221 0 87 0
[pid=8869] ppid=8867 vsize=13980732 memory=304372 CPUtime=2520.1 cores=0,2,4,6
/proc/8869/stat : 8869 (java) S 8867 8867 7968 0 -1 1077944320 303435 0 0 0 251665 345 0 0 20 0 15 0 24584960 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140736179495760 140539578199799 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
/proc/8869/statm: 3495183 76093 3267 1 0 3483476 0
[pid=8869/tid=8870] ppid=8867 vsize=13980732 memory=4278483708103473607 CPUtime=2423.98 cores=0,2,4,6
/proc/8869/task/8870/stat : 8870 (java) R 8867 8867 7968 0 -1 4202560 122396 0 0 0 242360 38 0 0 20 0 15 0 24584960 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539582439456 140539202821134 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8871] ppid=8867 vsize=13980732 memory=-7003737579269690708 CPUtime=20.04 cores=0,2,4,6
/proc/8869/task/8871/stat : 8871 (java) S 8867 8867 7968 0 -1 1077944384 13744 0 0 0 1951 53 0 0 20 0 15 0 24584961 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539520145936 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8872] ppid=8867 vsize=13980732 memory=1732 CPUtime=20.07 cores=0,2,4,6
/proc/8869/task/8872/stat : 8872 (java) S 8867 8867 7968 0 -1 1077944384 15000 0 0 0 1957 50 0 0 20 0 15 0 24584961 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539519093392 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8873] ppid=8867 vsize=13980732 memory=1700 CPUtime=20.1 cores=0,2,4,6
/proc/8869/task/8873/stat : 8873 (java) S 8867 8867 7968 0 -1 1077944384 14499 0 0 0 1957 53 0 0 20 0 15 0 24584961 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539175901456 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8874] ppid=8867 vsize=13980732 memory=1228 CPUtime=20.1 cores=0,2,4,6
/proc/8869/task/8874/stat : 8874 (java) S 8867 8867 7968 0 -1 1077944384 16010 0 0 0 1956 54 0 0 20 0 15 0 24584961 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539174848912 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8875] ppid=8867 vsize=13980732 memory=1000 CPUtime=2.9 cores=0,2,4,6
/proc/8869/task/8875/stat : 8875 (java) S 8867 8867 7968 0 -1 1077944384 45882 0 0 0 248 42 0 0 20 0 15 0 24584962 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539123940080 140539578210946 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8876] ppid=8867 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8876/stat : 8876 (java) S 8867 8867 7968 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539122886368 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8877] ppid=8867 vsize=13980732 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8877/stat : 8877 (java) S 8867 8867 7968 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 24584963 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539121833216 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8878] ppid=8867 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8878/stat : 8878 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539120781776 140539578218395 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8879] ppid=8867 vsize=13980732 memory=792 CPUtime=5.24 cores=0,2,4,6
/proc/8869/task/8879/stat : 8879 (java) S 8867 8867 7968 0 -1 1077944384 31441 0 0 0 520 4 0 0 20 0 15 0 24584966 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539119728880 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8880] ppid=8867 vsize=13980732 memory=8688 CPUtime=5.45 cores=0,2,4,6
/proc/8869/task/8880/stat : 8880 (java) S 8867 8867 7968 0 -1 1077944384 30866 0 0 0 542 3 0 0 20 0 15 0 24584966 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539118676336 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8881] ppid=8867 vsize=13980732 memory=1440 CPUtime=0.77 cores=0,2,4,6
/proc/8869/task/8881/stat : 8881 (java) S 8867 8867 7968 0 -1 1077944384 11400 0 0 0 74 3 0 0 20 0 15 0 24584966 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539117623280 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8882] ppid=8867 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8869/task/8882/stat : 8882 (java) S 8867 8867 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 24584966 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140539116570976 140539578210005 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
[pid=8869/tid=8883] ppid=8867 vsize=13980732 memory=288230617509003574 CPUtime=1.37 cores=0,2,4,6
/proc/8869/task/8883/stat : 8883 (java) S 8867 8867 7968 0 -1 1077944384 751 0 0 0 65 72 0 0 20 0 15 0 24584970 14316269568 76093 18446744073709551615 4194304 4196468 140736179513216 140538485664816 140539578210946 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13815808 140736179515826 140736179516002 140736179516002 140736179519439 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 305752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2449.02 s]
# the end of solver process 8867 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000948 s, system=0.000948 s
[startup+2449.02 s]
# the end of solver process 8869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.67 s, system=3.45776 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): 2449.02
CPU time (s): 2520.12
CPU user time (s): 2516.67
CPU system time (s): 3.45776
CPU usage (%): 102.903
Max. virtual memory (cumulated for all children) (KiB): 13993988
Max. memory (cumulated for all children) (KiB): 543992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.67
system time used= 3.45776
maximum resident set size= 544948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116835
involuntary context switches= 6421
# summary of solver processes directly reported to runsolver:
# pid: 8867,8869
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.67
# total CPU system time (s): 3.45776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4786 second user time and 23.6814 second system time
The end