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 (14738 MiB free)
memory of node 1: 16384 MiB (15333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281775-1503140366/watcher-4281775-1503140366 -o /tmp/evaluation-result-4281775-1503140366/solver-4281775-1503140366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1758298864 HOME/instance-4281775-1503140366.xml
running on 4 cores: 1,3,5,7
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=16254, runsolver pid=16251
[startup+0.100134 s]*
/proc/loadavg: 1.87 1.82 1.74 2/198 16257
/proc/meminfo: memFree=30789780/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13358712 memory=15884 CPUtime=0 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 3204 0 0 0 0 0 0 0 20 0 6 0 116231737 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3339678 3971 1866 1 0 3329175 0
[pid=16256/tid=16257] ppid=16254 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 1991 0 0 0 0 0 0 0 20 0 6 0 116231738 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 139863291232848 139863272679253 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116231738 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13358712 memory=140200692942464 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116231738 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 116231738 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 116231738 13679321088 3971 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17264 KiB
[startup+0.210002 s]*
/proc/loadavg: 1.96 1.84 1.74 2/210 16269
/proc/meminfo: memFree=30782472/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13907304 memory=20660 CPUtime=0.05 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 4553 0 0 0 4 1 0 0 20 0 14 0 116231737 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3476826 5165 2572 1 0 3466323 0
[pid=16256/tid=16257] ppid=16254 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) D 16254 16254 8557 0 -1 4202560 2728 0 0 0 3 1 0 0 20 0 14 0 116231738 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139863291234208 139863287018749 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13907304 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 116231738 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13907304 memory=288370576844654208 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 116231738 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 116231738 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 116231738 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13907304 memory=140200692942464 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 116231740 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 116231740 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862763623456 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 116231740 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862762570608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 116231743 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 14 0 116231743 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 116231743 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13907304 memory=140200692942464 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 116231743 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 116231743 14241079296 5165 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+0.313709 s]*
/proc/loadavg: 1.96 1.84 1.74 4/211 16270
/proc/meminfo: memFree=30772452/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13975376 memory=33132 CPUtime=0.22 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 6203 0 0 0 20 2 0 0 20 0 15 0 116231737 14310785024 8283 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3493844 8283 2974 1 0 3483220 0
[pid=16256/tid=16257] ppid=16254 vsize=13975376 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 3521 0 0 0 12 1 0 0 20 0 15 0 116231738 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139863291219104 139863279676445 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116231738 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116231740 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116231740 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862763623456 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116231740 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862762570608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 116231743 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 116231743 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13975376 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 681 0 0 0 5 0 0 0 20 0 15 0 116231743 14310785024 8349 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14311768064 8349 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13976336 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231751 14311768064 8349 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 34512 KiB
[startup+0.708401 s]
/proc/loadavg: 1.96 1.84 1.74 3/211 16270
/proc/meminfo: memFree=30757192/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13978684 memory=79512 CPUtime=1.18 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 12564 0 0 0 113 5 0 0 20 0 15 0 116231737 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3494671 19878 3169 1 0 3482964 0
[pid=16256/tid=16257] ppid=16254 vsize=13978684 memory=280401100940592 CPUtime=0.51 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 7465 0 0 0 47 4 0 0 20 0 15 0 116231738 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139863291215424 139862878145573 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13978684 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13978684 memory=7307205231835177815 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13978684 memory=8099839814071839059 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116231738 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13978684 memory=13795552826 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13978684 memory=531 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 116231740 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13978684 memory=208 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116231740 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139862763623456 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13978684 memory=3972 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116231740 14314172416 19878 18446744073709551615 4194304 4196468 140723223982544 139862762570608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13978684 memory=444 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13978684 memory=6 CPUtime=0.17 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) R 16254 16254 8557 0 -1 4202560 1267 0 0 0 17 0 0 0 20 0 15 0 116231743 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862760448328 139863270892476 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13978684 memory=610 CPUtime=0.21 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) R 16254 16254 8557 0 -1 4202560 1107 0 0 0 21 0 0 0 20 0 15 0 116231743 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862759399080 139863268521664 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13978684 memory=49056 CPUtime=0.26 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) R 16254 16254 8557 0 -1 4202560 1419 0 0 0 26 0 0 0 20 0 15 0 116231743 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862758358920 139863280093563 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13978684 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13978684 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231751 14314172416 19915 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 80892 KiB
[startup+1.50082 s]
/proc/loadavg: 1.96 1.84 1.74 4/211 16270
/proc/meminfo: memFree=30709176/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13980732 memory=106808 CPUtime=2.77 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 17144 0 0 0 270 7 0 0 20 0 15 0 116231737 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3495183 26702 3180 1 0 3483476 0
[pid=16256/tid=16257] ppid=16254 vsize=13980732 memory=280401100940592 CPUtime=1.3 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 8329 0 0 0 125 5 0 0 20 0 15 0 116231738 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139863291233032 139862879317307 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13980732 memory=7307205231835177815 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13980732 memory=8099839814071839059 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 116231738 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13980732 memory=13795552826 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 116231738 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13980732 memory=13361 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139862763623456 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 26702 18446744073709551615 4194304 4196468 140723223982544 139862762570608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=16256/tid=16262] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.18 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 5232 0 0 0 15 3 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862763623520 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862762570624 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13980732 memory=15348 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13980732 memory=1380 CPUtime=1.25 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 10188 0 0 0 124 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13980732 memory=184036 CPUtime=1.52 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 11752 0 0 0 151 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 9426 0 0 0 51 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.48 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1204 0 0 0 22 26 0 0 20 0 15 0 116231751 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 2386.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185416 KiB
[startup+2442.3 s]
/proc/loadavg: 1.70 1.64 1.74 3/211 16511
/proc/meminfo: memFree=30965968/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13980732 memory=184036 CPUtime=2446.26 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 72177 0 0 0 244577 49 0 0 20 0 15 0 116231737 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3495183 46009 3229 1 0 3483476 0
[pid=16256/tid=16257] ppid=16254 vsize=13980732 memory=1380 CPUtime=2441.29 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 21074 0 0 0 244122 7 0 0 20 0 15 0 116231738 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139863291236448 139862879852260 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 3202 0 0 0 19 4 0 0 20 0 15 0 116231738 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 3066 0 0 0 19 4 0 0 20 0 15 0 116231738 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 3136 0 0 0 19 4 0 0 20 0 15 0 116231738 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 2389 0 0 0 18 5 0 0 20 0 15 0 116231738 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.19 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 5236 0 0 0 16 3 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13980732 memory=184036 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862763623520 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862762570624 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13980732 memory=1380 CPUtime=1.26 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 10311 0 0 0 125 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13980732 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 11752 0 0 0 151 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.52 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 9426 0 0 0 51 1 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13980732 memory=184036 CPUtime=0.49 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1209 0 0 0 23 26 0 0 20 0 15 0 116231751 14316269568 46009 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 2446.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185416 KiB
[startup+2502.3 s]
/proc/loadavg: 1.44 1.58 1.71 3/211 16513
/proc/meminfo: memFree=31068884/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13980732 memory=184156 CPUtime=2506.27 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 73122 0 0 0 250577 50 0 0 20 0 15 0 116231737 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3495183 46039 3229 1 0 3483476 0
[pid=16256/tid=16257] ppid=16254 vsize=13980732 memory=1380 CPUtime=2501.26 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 21449 0 0 0 250118 8 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863291236304 139862879852160 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 3463 0 0 0 20 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13980732 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 3087 0 0 0 19 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13980732 memory=184156 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 3197 0 0 0 20 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13980732 memory=184156 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 2408 0 0 0 19 5 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.2 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 5416 0 0 0 17 3 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862763623520 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862762570624 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13980732 memory=184156 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13980732 memory=1380 CPUtime=1.26 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 10313 0 0 0 125 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13980732 memory=184156 CPUtime=1.52 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 11754 0 0 0 151 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 9429 0 0 0 51 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13980732 memory=184156 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13980732 memory=63152 CPUtime=0.5 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1230 0 0 0 23 27 0 0 20 0 15 0 116231751 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 2506.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516 s]*
/proc/loadavg: 1.27 1.54 1.69 3/211 16513
/proc/meminfo: memFree=31068884/32770624 swapFree=67105588/67108860
[pid=16254] ppid=16251 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16254/stat : 16254 (xcsp3-exec) S 16251 16254 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116231728 9740288 345 18446744073709551615 4194304 5098028 140732797617008 140732797615112 139631830721148 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 24158208 140732797620600 140732797620805 140732797620805 140732797624299 0
/proc/16254/statm: 2378 345 289 221 0 87 0
[pid=16256] ppid=16254 vsize=13980732 memory=184156 CPUtime=2520 cores=1,3,5,7
/proc/16256/stat : 16256 (java) S 16254 16254 8557 0 -1 1077944320 73159 0 0 0 251949 51 0 0 20 0 15 0 116231737 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 140723223965088 139863286996727 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
/proc/16256/statm: 3495183 46039 3229 1 0 3483476 0
[pid=16256/tid=16257] ppid=16254 vsize=13980732 memory=1620 CPUtime=2514.96 cores=1,3,5,7
/proc/16256/task/16257/stat : 16257 (java) R 16254 16254 8557 0 -1 4202560 21474 0 0 0 251488 8 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863291235952 139862879953436 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16258] ppid=16254 vsize=13980732 memory=920 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16258/stat : 16258 (java) S 16254 16254 8557 0 -1 1077944384 3463 0 0 0 20 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863206411408 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16259] ppid=16254 vsize=13980732 memory=4872558044660077418 CPUtime=0.23 cores=1,3,5,7
/proc/16256/task/16259/stat : 16259 (java) S 16254 16254 8557 0 -1 1077944384 3091 0 0 0 19 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863205358608 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16260] ppid=16254 vsize=13980732 memory=1232 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16260/stat : 16260 (java) S 16254 16254 8557 0 -1 1077944384 3200 0 0 0 20 4 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863204305808 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16261] ppid=16254 vsize=13980732 memory=2240 CPUtime=0.24 cores=1,3,5,7
/proc/16256/task/16261/stat : 16261 (java) S 16254 16254 8557 0 -1 1077944384 2409 0 0 0 19 5 0 0 20 0 15 0 116231738 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139863203253008 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16262] ppid=16254 vsize=13980732 memory=4088 CPUtime=0.2 cores=1,3,5,7
/proc/16256/task/16262/stat : 16262 (java) S 16254 16254 8557 0 -1 1077944384 5418 0 0 0 17 3 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862764677488 139863287007874 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16263] ppid=16254 vsize=13980732 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16263/stat : 16263 (java) S 16254 16254 8557 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862763623520 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16264] ppid=16254 vsize=13980732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16264/stat : 16264 (java) S 16254 16254 8557 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 116231740 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862762570624 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16265] ppid=16254 vsize=13980732 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16265/stat : 16265 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862761518928 139863287015323 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16266] ppid=16254 vsize=13980732 memory=832 CPUtime=1.26 cores=1,3,5,7
/proc/16256/task/16266/stat : 16266 (java) S 16254 16254 8557 0 -1 1077944384 10313 0 0 0 125 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862760467312 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16267] ppid=16254 vsize=13980732 memory=16436 CPUtime=1.52 cores=1,3,5,7
/proc/16256/task/16267/stat : 16267 (java) S 16254 16254 8557 0 -1 1077944384 11754 0 0 0 151 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862759414512 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16268] ppid=16254 vsize=13980732 memory=3904 CPUtime=0.52 cores=1,3,5,7
/proc/16256/task/16268/stat : 16268 (java) S 16254 16254 8557 0 -1 1077944384 9429 0 0 0 51 1 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862758361712 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16269] ppid=16254 vsize=13980732 memory=2928 CPUtime=0 cores=1,3,5,7
/proc/16256/task/16269/stat : 16269 (java) S 16254 16254 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 116231743 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862757309152 139863287006933 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
[pid=16256/tid=16270] ppid=16254 vsize=13980732 memory=2760 CPUtime=0.5 cores=1,3,5,7
/proc/16256/task/16270/stat : 16270 (java) S 16254 16254 8557 0 -1 1077944384 1232 0 0 0 23 27 0 0 20 0 15 0 116231751 14316269568 46039 18446744073709551615 4194304 4196468 140723223982544 139862756256432 139863287007874 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38625280 140723223986609 140723223986785 140723223986785 140723223990223 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 185536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.02 s]
# the end of solver process 16254 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.514984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2516.02
CPU time (s): 2520.02
CPU user time (s): 2519.5
CPU system time (s): 0.514984
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 233576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.514984
maximum resident set size= 240356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61440
involuntary context switches= 3155
# summary of solver processes directly reported to runsolver:
# pid: 16254
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.514984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9822 second user time and 23.0294 second system time
The end