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 (10916 MiB free)
memory of node 1: 16384 MiB (13755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302041-1532887836/watcher-4302041-1532887836 -o /tmp/evaluation-result-4302041-1532887836/solver-4302041-1532887836 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6815 --watchdog 312 HOME/xcsp3-exec -seed 1866413119 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302041-1532887836.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10499, runsolver pid=10496
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.61 1.82 1.96 3/217 10515
/proc/meminfo: memFree=25246560/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14082940 memory=29068 CPUtime=0.12 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 15 0 106346494 14420930560 7267 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3520735 7267 2993 1 0 3483012 0
[pid=10501/tid=10502] ppid=10499 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 3708 0 0 0 8 1 0 0 20 0 15 0 106346494 14420930560 7332 33554432000 4194304 4196468 140726305138080 139923171137328 139922803622240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14420930560 7332 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14082940 memory=140494526572160 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106346495 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14082940 memory=140494526572160 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106346496 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106346497 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106346497 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922345657584 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14082940 memory=140494526572160 CPUtime=0.01 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) R 10499 10499 6529 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922341447664 139923148141616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14082940 memory=140494526572160 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346500 14420930560 7332 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30524 KiB
[startup+0.210622 s]*
/proc/loadavg: 1.61 1.82 1.96 5/217 10515
/proc/meminfo: memFree=25234244/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14082940 memory=40712 CPUtime=0.33 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 8187 0 0 0 31 2 0 0 20 0 15 0 106346494 14420930560 10178 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3520735 10178 3188 1 0 3483012 0
[pid=10501/tid=10502] ppid=10499 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 5408 0 0 0 18 2 0 0 20 0 15 0 106346494 14420930560 10181 33554432000 4194304 4196468 140726305138080 139923171126200 139923169179335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14085056 memory=12627 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14423097344 10181 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14085056 memory=3544531882364200608 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106346495 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14085056 memory=140494526572160 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106346496 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106346497 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106346497 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922345657584 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14085056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14085056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 324 0 0 0 2 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14085056 memory=140494526572160 CPUtime=0.07 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 674 0 0 0 7 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14085056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14085056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346500 14423097344 10181 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42168 KiB
[startup+0.310406 s]*
/proc/loadavg: 1.61 1.82 1.96 4/217 10515
/proc/meminfo: memFree=25227792/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14087196 memory=47544 CPUtime=0.52 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 9059 0 0 0 49 3 0 0 20 0 15 0 106346494 14425288704 11886 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3521799 11886 3259 1 0 3483012 0
[pid=10501/tid=10502] ppid=10499 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 6111 0 0 0 27 2 0 0 20 0 15 0 106346494 14425288704 11951 33554432000 4194304 4196468 140726305138080 139923171137840 139923166925981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14425288704 11951 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106346495 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106346496 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106346497 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106346497 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922345657584 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14087196 memory=4628975386420216973 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 496 0 0 0 4 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 410 0 0 0 5 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 747 0 0 0 12 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346500 14425288704 11951 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49000 KiB
[startup+0.700797 s]
/proc/loadavg: 1.61 1.82 1.96 6/217 10515
/proc/meminfo: memFree=25213340/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14089320 memory=82240 CPUtime=1.62 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 15781 0 0 0 157 5 0 0 20 0 15 0 106346494 14427463680 20560 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3522330 20560 3362 1 0 3483524 0
[pid=10501/tid=10502] ppid=10499 vsize=14089320 memory=30408 CPUtime=0.67 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 6774 0 0 0 64 3 0 0 20 0 15 0 106346494 14427463680 20560 33554432000 4194304 4196468 140726305138080 139923171135312 139923146629181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14427463680 20560 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14089320 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14089320 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346495 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14089320 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106346495 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106346496 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14089320 memory=792 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922345657584 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14089320 memory=8556 CPUtime=0.33 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) R 10499 10499 6529 0 -1 4202560 2906 0 0 0 33 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922343534280 139923145193730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14089320 memory=1444 CPUtime=0.34 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) R 10499 10499 6529 0 -1 4202560 3271 0 0 0 34 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922342486824 139923150290832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14089320 memory=5668 CPUtime=0.24 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 1521 0 0 0 24 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14089320 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14089320 memory=14076 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 20560 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 83696 KiB
[startup+1.50078 s]
/proc/loadavg: 1.61 1.82 1.96 6/217 10515
/proc/meminfo: memFree=25168704/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14089320 memory=195104 CPUtime=37.93 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 51734 0 0 0 3779 14 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3522330 48776 3399 1 0 3483524 0
[pid=10501/tid=10502] ppid=10499 vsize=14089320 memory=4140 CPUtime=33.43 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 9487 0 0 0 3338 5 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923171143280 139922807045548 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14089320 memory=1456 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 843 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14089320 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 187 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 728 0 0 0 4 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14089320 memory=2684 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 779 0 0 0 4 1 0 0 20 0 15 0 106346496 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14089320 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14089320 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922345657600 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14089320 memory=6791534058613427641 CPUtime=2.01 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 19864 0 0 0 200 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14089320 memory=2200 CPUtime=1.83 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 13155 0 0 0 182 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14089320 memory=7284 CPUtime=0.34 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 3843 0 0 0 33 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14089320 memory=840 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14089320 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 921 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 37.93 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 196560 KiB
[startup+34.0008 s]*
/proc/loadavg: 1.55 1.77 1.95 3/217 10515
/proc/meminfo: memFree=25075672/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14089320 memory=195104 CPUtime=38.34 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 51738 0 0 0 3820 14 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3522330 48776 3399 1 0 3483524 0
[pid=10501/tid=10502] ppid=10499 vsize=14089320 memory=6791534058613427641 CPUtime=33.83 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 9488 0 0 0 3378 5 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923171143392 139922807045535 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14089320 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14089320 memory=16104758104558012 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 843 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14089320 memory=1004 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 187 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14089320 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14089320 memory=15620 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 779 0 0 0 4 1 0 0 20 0 15 0 106346496 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14089320 memory=280988841443488 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922345657600 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14089320 memory=3472323898181169200 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14089320 memory=0 CPUtime=2.01 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 19864 0 0 0 200 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14089320 memory=4124 CPUtime=1.83 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 13155 0 0 0 182 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14089320 memory=2200 CPUtime=0.34 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 3843 0 0 0 33 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14089320 memory=7284 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14089320 memory=7595721433243740266 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 923 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 38.34 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 196560 KiB
[startup+34.4007 s]
/proc/loadavg: 1.55 1.77 1.95 3/217 10515
/proc/meminfo: memFree=25075672/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14089320 memory=195104 CPUtime=38.73 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 51776 0 0 0 3859 14 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3522330 48776 3399 1 0 3483524 0
[pid=10501/tid=10502] ppid=10499 vsize=14089320 memory=6791534058613427641 CPUtime=34.22 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 9523 0 0 0 3417 5 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923171143312 139922806794293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14089320 memory=1456 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 843 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14089320 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 188 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14089320 memory=1456 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 781 0 0 0 4 1 0 0 20 0 15 0 106346496 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14089320 memory=195104 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14089320 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922345657600 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14089320 memory=2748 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14089320 memory=1456 CPUtime=2.01 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 19864 0 0 0 200 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14089320 memory=196360 CPUtime=1.83 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 13155 0 0 0 182 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14089320 memory=6791534058613427641 CPUtime=0.34 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 3843 0 0 0 33 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14089320 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 923 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 38.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 196560 KiB
[startup+34.5008 s]
/proc/loadavg: 1.55 1.77 1.95 3/217 10515
/proc/meminfo: memFree=25075672/32770624 swapFree=67108688/67108860
[pid=10499] ppid=10496 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10499/stat : 10499 (xcsp3-exec) S 10496 10499 6529 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 106346494 115843072 364 33554432000 4194304 5098028 140737112262816 140737112260920 140324036461180 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19496960 140737112265792 140737112265993 140737112265993 140737112268746 0
/proc/10499/statm: 28282 364 306 221 0 87 0
[pid=10501] ppid=10499 vsize=14089320 memory=195104 CPUtime=38.83 cores=0,2,4,6
/proc/10501/stat : 10501 (java) S 10499 10499 6529 0 -1 1077944320 51776 0 0 0 3869 14 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 140726305120624 139923166904055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
/proc/10501/statm: 3522330 48776 3399 1 0 3483524 0
[pid=10501/tid=10502] ppid=10499 vsize=14089320 memory=6791534058613427641 CPUtime=34.32 cores=0,2,4,6
/proc/10501/task/10502/stat : 10502 (java) R 10499 10499 6529 0 -1 4202560 9523 0 0 0 3427 5 0 0 20 0 15 0 106346494 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923171143312 139922807045253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10503] ppid=10499 vsize=14089320 memory=30408 CPUtime=0.04 cores=0,2,4,6
/proc/10501/task/10503/stat : 10503 (java) S 10499 10499 6529 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139923123456528 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10504] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10504/stat : 10504 (java) S 10499 10499 6529 0 -1 1077944384 843 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922762033808 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10505] ppid=10499 vsize=14089320 memory=195104 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10505/stat : 10505 (java) S 10499 10499 6529 0 -1 1077944384 188 0 0 0 4 1 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922760980752 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10506] ppid=10499 vsize=14089320 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10506/stat : 10506 (java) S 10499 10499 6529 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 106346495 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922759928208 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10507] ppid=10499 vsize=14089320 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10501/task/10507/stat : 10507 (java) S 10499 10499 6529 0 -1 1077944384 781 0 0 0 4 1 0 0 20 0 15 0 106346496 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922347764464 139923166915202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10508] ppid=10499 vsize=14089320 memory=205588 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10508/stat : 10508 (java) S 10499 10499 6529 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922346710688 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10509] ppid=10499 vsize=14089320 memory=205588 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10509/stat : 10509 (java) S 10499 10499 6529 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106346497 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922345657600 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10510] ppid=10499 vsize=14089320 memory=56 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10510/stat : 10510 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922344606160 139923166922651 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10511] ppid=10499 vsize=14089320 memory=280988841073472 CPUtime=2.01 cores=0,2,4,6
/proc/10501/task/10511/stat : 10511 (java) S 10499 10499 6529 0 -1 1077944384 19864 0 0 0 200 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922343553264 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10512] ppid=10499 vsize=14089320 memory=6878101832197056944 CPUtime=1.83 cores=0,2,4,6
/proc/10501/task/10512/stat : 10512 (java) S 10499 10499 6529 0 -1 1077944384 13155 0 0 0 182 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922342500720 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10513] ppid=10499 vsize=14089320 memory=30408 CPUtime=0.34 cores=0,2,4,6
/proc/10501/task/10513/stat : 10513 (java) S 10499 10499 6529 0 -1 1077944384 3843 0 0 0 33 1 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922341447664 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10514] ppid=10499 vsize=14089320 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10514/stat : 10514 (java) S 10499 10499 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922340395360 139923166914261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
[pid=10501/tid=10515] ppid=10499 vsize=14089320 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/10501/task/10515/stat : 10515 (java) S 10499 10499 6529 0 -1 1077944384 923 0 0 0 0 0 0 0 20 0 15 0 106346500 14427463680 48776 33554432000 4194304 4196468 140726305138080 139922339343408 139923166915202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 15892480 140726305141900 140726305142070 140726305142070 140726305144783 0
Current children cumulated CPU time: 38.83 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 196560 KiB
Child status: 0
Real time (s): 34.52
CPU time (s): 38.8655
CPU user time (s): 38.7123
CPU system time (s): 0.153151
CPU usage (%): 112.588
Max. virtual memory (cumulated for all children) (KiB): 14204704
Max. memory (cumulated for all children) (KiB): 229852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7123
system time used= 0.153151
maximum resident set size= 228400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3681
involuntary context switches= 107
# summary of solver processes directly reported to runsolver:
# pid: 10499
# total CPU time (s): 38.8655
# total CPU user time (s): 38.7123
# total CPU system time (s): 0.153151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.250353 second user time and 0.356451 second system time
The end