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 (14866 MiB free)
memory of node 1: 16384 MiB (15502 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282647-1503167719/watcher-4282647-1503167719 -o /tmp/evaluation-result-4282647-1503167719/solver-4282647-1503167719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503095780-14042 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 398306884 HOME/instance-4282647-1503167719.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27987, runsolver pid=27984
[startup+0.100139 s]*
/proc/loadavg: 1.77 1.75 1.77 3/205 27994
/proc/meminfo: memFree=31092700/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13441356 memory=15424 CPUtime=0.01 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 3617 0 0 0 1 0 0 0 20 0 7 0 105112493 13763948544 3856 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3360339 3856 1962 1 0 3349836 0
[pid=27989/tid=27990] ppid=27987 vsize=13441356 memory=-6152310082717716832 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 2425 0 0 0 1 0 0 0 20 0 7 0 105112493 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139715116235536 139715097675605 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13441356 memory=5767615017656916361 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 105112494 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13441356 memory=139731248932480 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 105112494 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 105112494 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13441356 memory=-1807685287725067907 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 105112494 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 105112495 13763948544 3922 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16804 KiB
[startup+0.209907 s]*
/proc/loadavg: 1.77 1.75 1.77 4/214 28003
/proc/meminfo: memFree=31084376/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13974352 memory=27064 CPUtime=0.09 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 5168 0 0 0 8 1 0 0 20 0 15 0 105112493 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3493588 6766 2731 1 0 3482964 0
[pid=27989/tid=27990] ppid=27987 vsize=13974352 memory=8330422843379458719 CPUtime=0.07 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 3307 0 0 0 6 1 0 0 20 0 15 0 105112493 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139715116206576 139715112015005 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13974352 memory=5767615017656916361 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13974352 memory=139731248932480 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112495 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105112496 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105112496 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) R 27987 27987 13977 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 105112498 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 105112498 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13974352 memory=139731248932480 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) R 27987 27987 13977 0 -1 4202560 253 0 0 0 0 0 0 0 20 0 15 0 105112498 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112014426 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13974352 memory=139731248932480 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112504 14309736448 6766 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28444 KiB
[startup+0.310437 s]*
/proc/loadavg: 1.77 1.75 1.77 4/214 28003
/proc/meminfo: memFree=31071272/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13974352 memory=36820 CPUtime=0.27 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 8790 0 0 0 25 2 0 0 20 0 15 0 105112493 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3493588 9205 2956 1 0 3482964 0
[pid=27989/tid=27990] ppid=27987 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 6087 0 0 0 15 2 0 0 20 0 15 0 105112493 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139715116223296 139715112005014 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112495 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13974352 memory=139731248932479 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105112496 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105112496 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) S 27987 27987 13977 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 105112498 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 105112498 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13974352 memory=139731248932480 CPUtime=0.06 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) R 27987 27987 13977 0 -1 4202560 732 0 0 0 6 0 0 0 20 0 15 0 105112498 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715090953071 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13974352 memory=139731248932480 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112504 14309736448 9205 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38200 KiB
[startup+0.70716 s]
/proc/loadavg: 1.87 1.78 1.78 4/214 28003
/proc/meminfo: memFree=31059340/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13978684 memory=98892 CPUtime=1.33 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 13331 0 0 0 128 5 0 0 20 0 15 0 105112493 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3494671 24723 3164 1 0 3482964 0
[pid=27989/tid=27990] ppid=27987 vsize=13978684 memory=139 CPUtime=0.56 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 7882 0 0 0 52 4 0 0 20 0 15 0 105112493 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139715116227008 139715091703360 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105112495 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13978684 memory=8243122710528917583 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105112496 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13978684 memory=26497 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105112496 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13978684 memory=1083350 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) R 27987 27987 13977 0 -1 4202560 1205 0 0 0 21 0 0 0 20 0 15 0 105112498 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714586190688 139715092693950 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13978684 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) R 27987 27987 13977 0 -1 4202560 1429 0 0 0 24 0 0 0 20 0 15 0 105112498 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714585126896 139715091649857 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13978684 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) R 27987 27987 13977 0 -1 1077944384 1506 0 0 0 28 0 0 0 20 0 15 0 105112498 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112004226 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112504 14314172416 24723 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 100272 KiB
[startup+1.50088 s]
/proc/loadavg: 1.87 1.78 1.78 4/214 28003
/proc/meminfo: memFree=30989508/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13980732 memory=134156 CPUtime=3.66 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 20131 0 0 0 360 6 0 0 20 0 15 0 105112493 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3495183 33539 3191 1 0 3483476 0
[pid=27989/tid=27990] ppid=27987 vsize=13980732 memory=6943526294502006880 CPUtime=1.34 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 9073 0 0 0 130 4 0 0 20 0 15 0 105112493 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139715116229936 139714703153856 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105112494 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105112494 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13980732 memory=279462248286096 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 105112495 14316269568 33539 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13980732 memory=576460756337521186 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13980732 memory=237956 CPUtime=177.66 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 53756 0 0 0 17750 16 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3495183 59489 3239 1 0 3483476 0
[pid=27989/tid=27990] ppid=27987 vsize=13980732 memory=-8774313645642428999 CPUtime=171.82 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 13727 0 0 0 17176 6 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715116232512 139714705879890 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13980732 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 2357 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13980732 memory=2384 CPUtime=0.02 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 449 0 0 0 1 1 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13980732 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13980732 memory=1728 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 105112495 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13980732 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13980732 memory=10096 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13980732 memory=1716 CPUtime=2.47 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) S 27987 27987 13977 0 -1 1077944384 11497 0 0 0 246 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13980732 memory=1008 CPUtime=2.44 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 14721 0 0 0 243 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13980732 memory=1232 CPUtime=0.72 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) S 27987 27987 13977 0 -1 1077944384 6562 0 0 0 71 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13980732 memory=9020 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13980732 memory=4616 CPUtime=0.04 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1118 0 0 0 2 2 0 0 20 0 15 0 105112504 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 177.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239336 KiB
[startup+172.801 s]
/proc/loadavg: 1.97 1.86 1.81 3/211 28008
/proc/meminfo: memFree=30868680/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13980732 memory=237956 CPUtime=178.45 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 53757 0 0 0 17829 16 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3495183 59489 3239 1 0 3483476 0
[pid=27989/tid=27990] ppid=27987 vsize=13980732 memory=1380 CPUtime=172.61 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 13728 0 0 0 17255 6 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715116232512 139714704129416 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13980732 memory=-3622645143214314312 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 2357 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13980732 memory=237936 CPUtime=0.02 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 449 0 0 0 1 1 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13980732 memory=4120 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13980732 memory=57172 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 105112495 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13980732 memory=237956 CPUtime=2.47 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) S 27987 27987 13977 0 -1 1077944384 11497 0 0 0 246 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13980732 memory=1380 CPUtime=2.44 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 14721 0 0 0 243 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13980732 memory=237956 CPUtime=0.72 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) S 27987 27987 13977 0 -1 1077944384 6562 0 0 0 71 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13980732 memory=237956 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1118 0 0 0 2 2 0 0 20 0 15 0 105112504 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 178.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239336 KiB
[startup+173.001 s]*
/proc/loadavg: 1.97 1.86 1.81 3/211 28008
/proc/meminfo: memFree=30868680/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13980732 memory=237956 CPUtime=178.66 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 53823 0 0 0 17850 16 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3495183 59489 3239 1 0 3483476 0
[pid=27989/tid=27990] ppid=27987 vsize=13980732 memory=-8774313645642428999 CPUtime=172.82 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 13794 0 0 0 17276 6 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715116232512 139714704438049 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13980732 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 2357 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13980732 memory=-8774313645642428999 CPUtime=0.02 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 449 0 0 0 1 1 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13980732 memory=57172 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13980732 memory=2384 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 105112495 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13980732 memory=836 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13980732 memory=3916 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13980732 memory=2760 CPUtime=2.47 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) S 27987 27987 13977 0 -1 1077944384 11497 0 0 0 246 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13980732 memory=4064 CPUtime=2.44 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 14721 0 0 0 243 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13980732 memory=1156 CPUtime=0.72 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) S 27987 27987 13977 0 -1 1077944384 6562 0 0 0 71 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13980732 memory=3104 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13980732 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1118 0 0 0 2 2 0 0 20 0 15 0 105112504 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 178.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239336 KiB
[startup+173.11 s]
/proc/loadavg: 1.97 1.86 1.81 3/211 28008
/proc/meminfo: memFree=30868680/32770624 swapFree=67108860/67108860
[pid=27987] ppid=27984 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27987/stat : 27987 (xcsp3-exec) S 27984 27987 13977 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 105112484 9740288 345 18446744073709551615 4194304 5098028 140722205505328 140722205503432 139741106582140 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 14962688 140722205512057 140722205512261 140722205512261 140722205515755 0
/proc/27987/statm: 2378 345 289 221 0 87 0
[pid=27989] ppid=27987 vsize=13980732 memory=237956 CPUtime=178.76 cores=1,3,5,7
/proc/27989/stat : 27989 (java) S 27987 27987 13977 0 -1 1077944320 53825 0 0 0 17860 16 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 140727454134480 139715111993079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
/proc/27989/statm: 3495183 59489 3239 1 0 3483476 0
[pid=27989/tid=27990] ppid=27987 vsize=13980732 memory=237956 CPUtime=172.92 cores=1,3,5,7
/proc/27989/task/27990/stat : 27990 (java) R 27987 27987 13977 0 -1 4202560 13796 0 0 0 17286 6 0 0 20 0 15 0 105112493 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715116232512 139714704437991 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27991] ppid=27987 vsize=13980732 memory=237956 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27991/stat : 27991 (java) S 27987 27987 13977 0 -1 1077944384 2357 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715031407120 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27992] ppid=27987 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/27989/task/27992/stat : 27992 (java) S 27987 27987 13977 0 -1 1077944384 449 0 0 0 1 1 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715030354576 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27993] ppid=27987 vsize=13980732 memory=237956 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27993/stat : 27993 (java) S 27987 27987 13977 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715029301520 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27994] ppid=27987 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/27989/task/27994/stat : 27994 (java) S 27987 27987 13977 0 -1 1077944384 567 0 0 0 1 0 0 0 20 0 15 0 105112494 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139715028248976 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27995] ppid=27987 vsize=13980732 memory=237956 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27995/stat : 27995 (java) S 27987 27987 13977 0 -1 1077944384 960 0 0 0 0 0 0 0 20 0 15 0 105112495 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714590411504 139715112004226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27996] ppid=27987 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27996/stat : 27996 (java) S 27987 27987 13977 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714589357728 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27997] ppid=27987 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27997/stat : 27997 (java) S 27987 27987 13977 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 105112496 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714588304624 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27998] ppid=27987 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27989/task/27998/stat : 27998 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714587253200 139715112011675 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=27999] ppid=27987 vsize=13980732 memory=237956 CPUtime=2.47 cores=1,3,5,7
/proc/27989/task/27999/stat : 27999 (java) S 27987 27987 13977 0 -1 1077944384 11497 0 0 0 246 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714586200304 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28000] ppid=27987 vsize=13980732 memory=1380 CPUtime=2.44 cores=1,3,5,7
/proc/27989/task/28000/stat : 28000 (java) S 27987 27987 13977 0 -1 1077944384 14721 0 0 0 243 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714585147760 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28001] ppid=27987 vsize=13980732 memory=237956 CPUtime=0.72 cores=1,3,5,7
/proc/27989/task/28001/stat : 28001 (java) S 27987 27987 13977 0 -1 1077944384 6562 0 0 0 71 1 0 0 20 0 15 0 105112498 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714584094704 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28002] ppid=27987 vsize=13980732 memory=254232 CPUtime=0 cores=1,3,5,7
/proc/27989/task/28002/stat : 28002 (java) S 27987 27987 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105112499 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714583042400 139715112003285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
[pid=27989/tid=28003] ppid=27987 vsize=13980732 memory=1156 CPUtime=0.04 cores=1,3,5,7
/proc/27989/task/28003/stat : 28003 (java) S 27987 27987 13977 0 -1 1077944384 1118 0 0 0 2 2 0 0 20 0 15 0 105112504 14316269568 59489 18446744073709551615 4194304 4196468 140727454151936 139714581990448 139715112004226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 13918208 140727454155185 140727454155361 140727454155361 140727454158799 0
Current children cumulated CPU time: 178.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 239336 KiB
Child status: 0
Real time (s): 173.176
CPU time (s): 178.823
CPU user time (s): 178.654
CPU system time (s): 0.169123
CPU usage (%): 103.261
Max. virtual memory (cumulated for all children) (KiB): 13991876
Max. memory (cumulated for all children) (KiB): 239336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.654
system time used= 0.169123
maximum resident set size= 238088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55217
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6573
involuntary context switches= 89
# summary of solver processes directly reported to runsolver:
# pid: 27987
# total CPU time (s): 178.823
# total CPU user time (s): 178.654
# total CPU system time (s): 0.169123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19041 second user time and 1.44146 second system time
The end