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 (321 MiB free)
memory of node 1: 16384 MiB (5766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404147-1568992729/watcher-4404147-1568992729 -o /tmp/evaluation-result-4404147-1568992729/solver-4404147-1568992729 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568987794-29633 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1836014124 HOME/instance-4404147-1568992729.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=722, runsolver pid=719
Current StackSize limit: 8192 KiB
[startup+0.101351 s]*
/proc/loadavg: 8.37 7.71 6.18 6/233 738
/proc/meminfo: memFree=6217312/32770624 swapFree=66998164/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15144776 memory=28972 CPUtime=0.13 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 5655 0 0 0 12 1 0 0 20 0 15 0 475527408 15508250624 7243 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3786194 7243 3150 1 0 3748377 0
[pid=724/tid=725] ppid=722 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) R 722 722 29601 0 -1 4202560 3588 0 0 0 9 0 0 0 20 0 15 0 475527408 15508250624 7243 33554432000 4194304 4196468 140733233905872 139754415443424 139754411242074 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15144776 memory=4297637095 CPUtime=0 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 7243 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15144776 memory=3834165864495380128 CPUtime=0 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 7243 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 7243 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 7243 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15144776 memory=139989780854400 CPUtime=0 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475527410 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753947032432 139754411231874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475527411 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753945978400 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475527411 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753944925552 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) R 722 722 29601 0 -1 4202560 454 0 0 0 1 0 0 0 20 0 15 0 475527413 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753942821232 139754394757312 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) R 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753873729776 139754411231874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15144776 memory=139989780854400 CPUtime=0.02 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) R 722 722 29601 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 475527413 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753872676976 139754403510658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) R 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527414 15508250624 7243 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30424 KiB
[startup+0.210775 s]*
/proc/loadavg: 8.37 7.71 6.18 7/233 738
/proc/meminfo: memFree=6205088/32770624 swapFree=66998164/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15144776 memory=40236 CPUtime=0.34 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 9298 0 0 0 31 3 0 0 20 0 15 0 475527408 15508250624 10059 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3786194 10059 3277 1 0 3748377 0
[pid=724/tid=725] ppid=722 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) R 722 722 29601 0 -1 4202560 6581 0 0 0 18 2 0 0 20 0 15 0 475527408 15508250624 10059 33554432000 4194304 4196468 140733233905872 139754415454464 139754395301214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15144776 memory=4297637095 CPUtime=0 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 10059 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15144776 memory=3834165864495380128 CPUtime=0 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 10059 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 10059 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475527409 15508250624 10059 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15144776 memory=139989780854400 CPUtime=0 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475527410 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753947032432 139754411231874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475527411 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753945978400 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475527411 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753944925552 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15144776 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 475527413 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753942821232 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 475527413 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753873729776 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15144776 memory=139989780854400 CPUtime=0.07 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 799 0 0 0 7 0 0 0 20 0 15 0 475527413 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753872676976 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527414 15508250624 10059 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41688 KiB
[startup+0.31557 s]*
/proc/loadavg: 8.37 7.71 6.18 7/233 738
/proc/meminfo: memFree=6151596/32770624 swapFree=66998164/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15149032 memory=50020 CPUtime=0.53 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 10869 0 0 0 49 4 0 0 20 0 15 0 475527408 15512608768 12505 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3787258 12505 3367 1 0 3748377 0
[pid=724/tid=725] ppid=722 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) R 722 722 29601 0 -1 4202560 7829 0 0 0 28 3 0 0 20 0 15 0 475527408 15512608768 12570 33554432000 4194304 4196468 140733233905872 139754415454512 139754411242653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15512608768 12570 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15512608768 12570 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15149032 memory=7681407940103534239 CPUtime=0 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527409 15512608768 12570 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15149032 memory=7593958964545549730 CPUtime=0 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475527409 15512608768 12570 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15149032 memory=-9001733975035308135 CPUtime=0 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475527410 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753947032432 139754411231874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15149032 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475527411 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753945978400 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15149032 memory=7824336315716348491 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475527411 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753944925552 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15149032 memory=8226496019563508123 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 629 0 0 0 6 0 0 0 20 0 15 0 475527413 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753942821232 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 174 0 0 0 3 0 0 0 20 0 15 0 475527413 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753873729776 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 475527413 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753872676976 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15149032 memory=3467824627897807670 CPUtime=0 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527414 15512608768 12570 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51472 KiB
[startup+0.70079 s]
/proc/loadavg: 8.37 7.71 6.18 6/233 738
/proc/meminfo: memFree=6038216/32770624 swapFree=66998164/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15149032 memory=298964 CPUtime=1.52 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 15000 0 0 0 132 20 0 0 20 0 15 0 475527408 15512608768 74741 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3787258 74741 3417 1 0 3748377 0
[pid=724/tid=725] ppid=722 vsize=15149032 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) R 722 722 29601 0 -1 4202560 7993 0 0 0 53 8 0 0 20 0 15 0 475527408 15512608768 74741 33554432000 4194304 4196468 140733233905872 139754415452160 139754411242653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15149032 memory=4639059895069856102 CPUtime=0.05 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 475527409 15512608768 74741 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15149032 memory=7518026621751088999 CPUtime=0.03 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 42 0 0 0 1 2 0 0 20 0 15 0 475527409 15512608768 74741 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15149032 memory=1376 CPUtime=0.04 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 46 0 0 0 2 2 0 0 20 0 15 0 475527409 15512608768 74741 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15149032 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 50 0 0 0 1 2 0 0 20 0 15 0 475527409 15512608768 74741 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15149032 memory=3336 CPUtime=0 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475527410 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753947032432 139754411231874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475527411 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753945978400 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15149032 memory=3551552 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475527411 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753944925552 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15149032 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15149032 memory=772 CPUtime=0.36 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) R 722 722 29601 0 -1 4202560 2803 0 0 0 36 0 0 0 20 0 15 0 475527413 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753942821232 139754404317460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15149032 memory=3648 CPUtime=0.15 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) R 722 722 29601 0 -1 4202560 1083 0 0 0 15 0 0 0 20 0 15 0 475527413 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753873729776 139754394744095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15149032 memory=948 CPUtime=0.18 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) R 722 722 29601 0 -1 1077944384 1534 0 0 0 18 0 0 0 20 0 15 0 475527413 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753872676976 139754411231874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15149032 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15149032 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475527414 15512608768 74741 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 300416 KiB
[startup+1.50083 s]
/proc/loadavg: 8.37 7.71 6.18 6/233 738
/proc/meminfo: memFree=5716956/32770624 swapFree=66998164/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/724/task/727/stat : 727 (java) R 722 722 29601 0 -1 4202560 3382196 0 0 0 39869 1234 0 0 20 0 15 0 475527409 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139754346404568 139754395918502 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15151156 memory=2116 CPUtime=409 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) R 722 722 29601 0 -1 4202560 2909749 0 0 0 39739 1161 0 0 20 0 15 0 475527409 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139754345351464 139754403848935 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15151156 memory=18560 CPUtime=410.42 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) R 722 722 29601 0 -1 4202560 2630583 0 0 0 39868 1174 0 0 20 0 15 0 475527409 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139754000144240 139754403848935 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15151156 memory=8317482817917895235 CPUtime=8.89 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 168388 0 0 0 873 16 0 0 20 0 15 0 475527410 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753947030752 139754411230933 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15151156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753945978464 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15151156 memory=43492 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753944925568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15151156 memory=12815328 CPUtime=3.37 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 19303 0 0 0 335 2 0 0 20 0 15 0 475527413 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753942821232 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15151156 memory=2552 CPUtime=2.91 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 17520 0 0 0 289 2 0 0 20 0 15 0 475527413 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753873729776 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15151156 memory=1760 CPUtime=0.71 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 6853 0 0 0 70 1 0 0 20 0 15 0 475527413 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753872676976 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15151156 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15151156 memory=800 CPUtime=0.39 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 626 0 0 0 16 23 0 0 20 0 15 0 475527414 15514783744 3203851 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 1787.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12816856 KiB
[startup+563.202 s]
/proc/loadavg: 3.99 5.86 6.04 5/207 839
/proc/meminfo: memFree=4376628/32770624 swapFree=66998140/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15151156 memory=12815408 CPUtime=1800.09 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 13240094 0 0 0 175164 4845 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3787789 3203852 3519 1 0 3748889 0
[pid=724/tid=725] ppid=722 vsize=15151156 memory=12815328 CPUtime=131.28 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) S 722 722 29601 0 -1 1077944384 172828 0 0 0 13059 69 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754415460560 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15151156 memory=1452 CPUtime=412.58 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) R 722 722 29601 0 -1 4202560 3861146 0 0 0 40093 1165 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754347456976 139754403848935 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15151156 memory=12815328 CPUtime=414.17 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) R 722 722 29601 0 -1 4202560 3389221 0 0 0 40182 1235 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754346404568 139754396210285 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15151156 memory=984 CPUtime=412.13 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) R 722 722 29601 0 -1 4202560 2942493 0 0 0 40048 1165 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754345351688 139754403848935 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15151156 memory=2024 CPUtime=413.55 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) R 722 722 29601 0 -1 4202560 2660336 0 0 0 40178 1177 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754000144464 139754403848935 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15151156 memory=1376 CPUtime=8.9 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) S 722 722 29601 0 -1 1077944384 168394 0 0 0 874 16 0 0 20 0 15 0 475527410 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753947030976 139754411230933 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753945978464 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15151156 memory=12815404 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753944925568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15151156 memory=12815328 CPUtime=3.37 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 19303 0 0 0 335 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753942821280 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15151156 memory=1128 CPUtime=2.91 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 17520 0 0 0 289 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753873729824 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15151156 memory=772 CPUtime=0.71 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 6854 0 0 0 70 1 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753872676736 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15151156 memory=12815328 CPUtime=0.39 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 626 0 0 0 16 23 0 0 20 0 15 0 475527414 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 1800.09 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12816860 KiB
[startup+564.801 s]
/proc/loadavg: 3.99 5.86 6.04 5/207 839
/proc/meminfo: memFree=4376628/32770624 swapFree=66998140/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15151156 memory=12815408 CPUtime=1805.67 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 13248489 0 0 0 175720 4847 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3787789 3203852 3519 1 0 3748889 0
[pid=724/tid=725] ppid=722 vsize=15151156 memory=12815408 CPUtime=131.28 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) S 722 722 29601 0 -1 1077944384 172828 0 0 0 13059 69 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754415460560 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15151156 memory=916 CPUtime=413.91 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 3863454 0 0 0 40225 1166 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15151156 memory=3848 CPUtime=415.54 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 3390634 0 0 0 40319 1235 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15151156 memory=12815408 CPUtime=413.46 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 2944545 0 0 0 40181 1165 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15151156 memory=1452 CPUtime=414.88 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 2662958 0 0 0 40311 1177 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15151156 memory=12815408 CPUtime=9.12 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) R 722 722 29601 0 -1 4202560 168394 0 0 0 896 16 0 0 20 0 15 0 475527410 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753947030976 139754395921374 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15151156 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753945978464 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753944925568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15151156 memory=12815328 CPUtime=3.37 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 19303 0 0 0 335 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753942821280 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15151156 memory=1548 CPUtime=2.91 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 17520 0 0 0 289 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753873729824 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15151156 memory=6947385649911455296 CPUtime=0.71 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 6854 0 0 0 70 1 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753872676736 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15151156 memory=9492 CPUtime=0.39 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 626 0 0 0 16 23 0 0 20 0 15 0 475527414 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 1805.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12816860 KiB
[startup+565.201 s]
/proc/loadavg: 3.99 5.86 6.04 2/207 839
/proc/meminfo: memFree=4376628/32770624 swapFree=66998140/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
[pid=724] ppid=722 vsize=15151156 memory=12815408 CPUtime=1806.07 cores=1,3,5,7
/proc/724/stat : 724 (java) S 722 722 29601 0 -1 1077944320 13248489 0 0 0 175760 4847 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 140733233888416 139754411220727 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
/proc/724/statm: 3787789 3203852 3519 1 0 3748889 0
[pid=724/tid=725] ppid=722 vsize=15151156 memory=7235710566141946944 CPUtime=131.28 cores=1,3,5,7
/proc/724/task/725/stat : 725 (java) S 722 722 29601 0 -1 1077944384 172828 0 0 0 13059 69 0 0 20 0 15 0 475527408 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754415460560 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=726] ppid=722 vsize=15151156 memory=-8813974798734826869 CPUtime=413.91 cores=1,3,5,7
/proc/724/task/726/stat : 726 (java) S 722 722 29601 0 -1 1077944384 3863454 0 0 0 40225 1166 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754347457168 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=727] ppid=722 vsize=15151156 memory=6224375360049079913 CPUtime=415.54 cores=1,3,5,7
/proc/724/task/727/stat : 727 (java) S 722 722 29601 0 -1 1077944384 3390634 0 0 0 40319 1235 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754346404368 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=728] ppid=722 vsize=15151156 memory=1452 CPUtime=413.46 cores=1,3,5,7
/proc/724/task/728/stat : 728 (java) S 722 722 29601 0 -1 1077944384 2944545 0 0 0 40181 1165 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754345351568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=729] ppid=722 vsize=15151156 memory=12815408 CPUtime=414.88 cores=1,3,5,7
/proc/724/task/729/stat : 729 (java) S 722 722 29601 0 -1 1077944384 2662958 0 0 0 40311 1177 0 0 20 0 15 0 475527409 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139754000144656 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=730] ppid=722 vsize=15151156 memory=12815404 CPUtime=9.52 cores=1,3,5,7
/proc/724/task/730/stat : 730 (java) R 722 722 29601 0 -1 4202560 168394 0 0 0 936 16 0 0 20 0 15 0 475527410 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753947030976 139754389590907 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=731] ppid=722 vsize=15151156 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/724/task/731/stat : 731 (java) S 722 722 29601 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753945978464 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=732] ppid=722 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/724/task/732/stat : 732 (java) S 722 722 29601 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 475527411 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753944925568 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=733] ppid=722 vsize=15151156 memory=18560 CPUtime=0 cores=1,3,5,7
/proc/724/task/733/stat : 733 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753943873872 139754411239323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=734] ppid=722 vsize=15151156 memory=68 CPUtime=3.37 cores=1,3,5,7
/proc/724/task/734/stat : 734 (java) S 722 722 29601 0 -1 1077944384 19303 0 0 0 335 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753942821280 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=735] ppid=722 vsize=15151156 memory=928 CPUtime=2.91 cores=1,3,5,7
/proc/724/task/735/stat : 735 (java) S 722 722 29601 0 -1 1077944384 17520 0 0 0 289 2 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753873729824 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=736] ppid=722 vsize=15151156 memory=6947385649911455296 CPUtime=0.71 cores=1,3,5,7
/proc/724/task/736/stat : 736 (java) S 722 722 29601 0 -1 1077944384 6854 0 0 0 70 1 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753872676736 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=737] ppid=722 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/724/task/737/stat : 737 (java) S 722 722 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475527413 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753871624416 139754411230933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
[pid=724/tid=738] ppid=722 vsize=15151156 memory=860 CPUtime=0.39 cores=1,3,5,7
/proc/724/task/738/stat : 738 (java) S 722 722 29601 0 -1 1077944384 626 0 0 0 16 23 0 0 20 0 15 0 475527414 15514783744 3203852 33554432000 4194304 4196468 140733233905872 139753870572720 139754411231874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34287616 140733233914863 140733233915034 140733233915034 140733233917903 0
Current children cumulated CPU time: 1806.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12816860 KiB
[startup+565.601 s]
/proc/loadavg: 3.99 5.86 6.04 2/207 839
/proc/meminfo: memFree=4376628/32770624 swapFree=66998140/67108860
[pid=722] ppid=719 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/722/stat : 722 (xcsp3-exec) S 719 722 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475527407 115843072 363 33554432000 4194304 5098028 140729155958416 140729155956520 140544121160316 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31973376 140729155961722 140729155961965 140729155961965 140729155964874 0
/proc/722/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 565.7
CPU time (s): 1806.58
CPU user time (s): 1757.64
CPU system time (s): 48.9397
CPU usage (%): 319.353
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12816860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.64
system time used= 48.9397
maximum resident set size= 12815644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13249204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46897
involuntary context switches= 45876
# summary of solver processes directly reported to runsolver:
# pid: 722
# total CPU time (s): 1806.58
# total CPU user time (s): 1757.64
# total CPU system time (s): 48.9397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.3657 second user time and 6.19283 second system time
The end